Automated
Package Testing
presented by
Jayakrishnan Nair
| |
Automated
Package Testing
presented by
Jayakrishnan Nair
|
| formalWARE
project
formalWARE
formalWARE
|
Presented by JK Nair at formalWARE's
Open House
on October 8, 1997 at Cecil
Green House, UBC.
Implementing test drivers manually is time consuming, repetitive and error-prone. Also drivers written by different testers will have considerable variation. Maintenance of such drivers will be difficult and costly over the life cycle of the system. In the APE approach, the test script is prepared manually in the APE test script language. APE converts the script to an Ada program. This Ada program which is the driver for the package under test, is then compiled and linked with the package under test and executed. Each test case is executed and the driver has code which checks the actual result of each subprogram call with the expected result. APE was used on an experimental basis to generate test drivers for one of the Ada packages of the Canadian Automated Air Traffic System (CAATS). On comparison with a manually written driver by an experienced tester it was found that APE script was shorter and covered more test cases.
Presentation Slides (HTML) Presentation Slides (Thumbnails) Presentation Slides (PDF)
. |
