Summary of Technical Progress Software Modeling Studies.
Abstract
During the period of time of 1 October 1974 to 30 June 1975, Polytechnic Institute of New York conducted research under RADC contract in the area of software reliability. This report presents the progress of this research. Subjects of investigation were Markov models for the prediction of software availability, theoretical models for software testing, automatic programming, automatic testing of programs and collection of error data, estimation of the initial number of program errors, program complexity and hierarchies of computable functions.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1975
- Accession Number
- ADA018618
Entities
People
- Henry Ruston
- Martin L. Shooman