Testing
Generic Ada Packages with APE
by Dr. Daniel Hoffman,
Dr. Paul Strooper and Jayakrishnan Nair
| |
Testing
Generic Ada Packages with APE
by Dr. Daniel Hoffman,
Dr. Paul Strooper and Jayakrishnan Nair
|
| formalWARE
project
formalWARE
formalWARE
|
Abstract Despite substantial research on methods and tools for testing reusable modules little help is available for the tester in the field. Commercial tools for system testing are widely available, but tools for module testing are hard to find. This paper presents a practiacl approach to testing Ada packages using the Ada Package Exerciser (APE). The APE tool generates test drivers for Ada packages from test scripts written by the tester. The generated test drivers provide test inputs and check output correctness automatically, so that it is practical to rerun the tests after every change to the package implementation or its environment. The testing approach and the APE tool are described in detail, and illustrated with a simple example and a commercially developed package. Specialized techniques for testing generic packages and for performing random testing are presented.
Download postscript
. |
