Accession Number : ADA018618
Title : Summary of Technical Progress Software Modeling Studies.
Descriptive Note : Interim rept. 1 Oct 74-30 Jun 75,
Corporate Author : POLYTECHNIC INST OF NEW YORK BROOKLYN DEPT OF ELECTRICAL ENGINEERING AND ELECTROPHYSICS
Personal Author(s) : Shooman,Martin L. ; Ruston,Henry
Report Date : SEP 1975
Pagination or Media Count : 57
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.
Descriptors : *Computer programming, *Reliability, Mathematical models, Markov processes, Network Flows, Linear programming, Matrices(Mathematics), Algorithms
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE