Abstract: Differences between both the code and documentation of a revised generation of software and a previous generation are compared by a digital computer with the intended revisions stored in a release file. When all discrepancies have been eliminated, and for the original generation of the software, actual impacts in the form of the locations in the program where one routine is called by another and where common statements and public variables are used, are compared with expected impacts stored in the release file. When all actual impacts have been identified, the revised software, or the original version in the case of newly created software, is stored in a library with the code and documentation paired, and with each revision of each unit identified for later retrieval and reconstruction of any software generation.

Abstract: A computer program is verified, unit by unit, by automatically instrumentating the code and generating a test driver program which executes all branches of an instrumented code unit. The code is instrumented by operating processors to standardize the code format and to insert executable tracer statements into each block of reformatted code between control statements. A pseudocode having only control statements and tables identifying valid linkages between blocks of code are generated by another processor for use by a verifier in selecting values of input variables and expected outputs for test cases which execute each block of code in the selected unit. Another processor generates the test driver program from the test cases and a software test specification identifying the test cases and expected results. The test driver program and instrumented code unit are compiled and linked to repeatively execute the instrumented code unit to implement all the test cases.