TestGen-Testing Tool for Ada Designs and Ada Code 881513
This paper describes a software program, TestGen, that assists in the testing both of executable Ada code as well as assisting in the testing of high level descriptions of Ada designs using Ada/PDL pseudo-code.
The TestGen program provides three distinct capabilities:
1.
The Design Review Expert Assistant-
Allows Ada designs to be thoroughly reviewed, insuring that all paths have been evaluated, and that alt possibilities have been covered.
2.
The Unit Test Strategy Generator-
Assists in the definition of unit test procedures using a “white box” testing technique.
3.
The Test Coverage Analyzer-
Determines the extent of coverage (the percentage of the total numbers of paths, branches and statements that were actually executed during a given test sequence).
The TestGen tool is one of the AISLE (Ada/ADADL Integrated Software Lifecycle Environment) toolset, an integrated set of tools that assist the developers of Ada software through the development lifecycle.