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