Summary of Technical Progress Software Modeling Studies.

摘要

During the period of time of 1 Jul 75 to 31 Dec 75, Polytechnic Institute of New York conducted research in the area of software reliability. This report presents the progress of this research. Subjects of investigation were prediction models for the number of errors in computer software, theoretical models for software testing, automatic programming, measures for the evaluation of software, probabilistic models of program testing, and estimation of the initial number of program errors.