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. 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. 2.
    The Unit Test Strategy Generator-
    Assists in the definition of unit test procedures using a “white box” testing technique.
  3. 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.


Subscribers can view annotate, and download all of SAE's content. Learn More »


Members save up to 40% off list price.
Login to see discount.
Special Offer: With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.