This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
TestGen-Testing Tool for Ada Designs and Ada Code
Annotation ability available
Sector:
Language:
English
Abstract
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.