Software Modeling Studies. Volume I. Summary of Technical Progress.

摘要

This report documents research performed under RADC contract by Polytechnic Institute of New York in the area of software modeling. Research in the areas of software error, reliability, and availability models (such as Markov availability models, bug tagging estimates of initial error counts and error models incorporating error generation), test models and techniques (such as determination of the number of the tests necessary to execute all program paths and statistical test models), and complexity models (such as component measures like testedness and natural language theory measures) that was described in previous progress and technical reports is summarized and unfinished research (in areas such as acceptance test models and automatic programming techniques) not previously reported is described. The significant results are highlighted along with their interrelations and potential.