Excavating
Patent
1987-04-08
1989-04-04
Atkinson, Charles E.
Excavating
364200, G06F 1100
Patent
active
048192333
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. Results of the test cases are printed out indicating the sequence of block linkages generated by each test case, the expected output values and the actual output values.
REFERENCES:
patent: 3427443 (1969-02-01), Apple et al.
patent: 3522597 (1970-08-01), Murphy
patent: 3551659 (1970-12-01), Forsythe
patent: 4423508 (1983-12-01), Shiozaki et al.
patent: 4571677 (1986-02-01), Hirayama et al.
Casteel Eric P.
Delucia R. Ralph
Wolf Daniel J.
Atkinson Charles E.
Westinghouse Electric Corp.
LandOfFree
Verification of computer software does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Verification of computer software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verification of computer software will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-185801