Summary of Technical Progress Software Modeling Studies.
Interim rept. 1 Oct 74-30 Jun 75,
POLYTECHNIC INST OF NEW YORK BROOKLYN DEPT OF ELECTRICAL ENGINEERING AND ELECTROPHYSICS
Pagination or Media Count:
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.
- Computer Programming and Software