Summary of Technical Progress, Software Modeling Studies.
Interim rept. 1 Jul-31 Dec 76,
POLYTECHNIC INST OF NEW YORK BROOKLYN DEPT OF ELECTRICAL ENGINEERING AND ELECTROPHYSICS
Pagination or Media Count:
This report presents the progress of Polytechnic Institute of New York research in the area of software reliability. Subjects of continuing investigation are as follows Work in progress includes development of a micro reliability model, incorporating representative features of the internal program structure, involving path module traversed frequencies and times and path failure probabilities parameters extension of software physics formulas to define a measure of complexity planning and execution of small scale tests for gathering of parameters to verify modeling techniques continuation of work on automatic and modular techniques for constructing low-cost, low-error content application programs measurement of program length and complexity based on the application statistical natural language theory - Zipfs Laws on work probabilities algorithms for the enumeration of feasible program test paths and development of driver programs for testing every program path at least once.
- Computer Programming and Software