Software Modeling Studies. Volume 1. Summary of Technical Progress

Abstract

This report documents research performed under RADC contract by Polytechnic Institute of New York in the area of software modeling. Research in the areas of software error, reliability, and availability models (such as Markov availability models, bug tagging estimates of initial error counts and error models incorporating error generation), test models and techniques (such as determination of the number of the tests necessary to execute all program paths and statistical test models), and complexity models (such as component measures like testedness and natural language theory measures) that was described in previous progress and technical reports is summarized and unfinished research (in areas such as acceptance test models and automatic programming techniques) not previously reported is described. The significant results are highlighted along with their interrelations and potential.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1978
Accession Number
ADA052615

Entities

People

  • Henry Ruston
  • Martin L. Shooman

Tags

Communities of Interest

  • C4I
  • Human Systems

DTIC Thesaurus Topics

  • Application Software
  • Automatic Programming
  • Computational Science
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Debugging
  • Engineers
  • Information Science
  • Markov Models
  • Organizational Structure
  • Probability
  • Reliability
  • Software Development
  • Software Testing
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Computational Modeling and Simulation
  • Computer Science.