|
The Model-driven Testing package is composed of the following tools:
- GOTCHA (Generation of Test Cases for Hardware Architectures) is a tool that generates an abstract test suite from a behavioral model of the software and a set of testing directives. GOTCHA generates tests to cover user-specified input combinations and/or resulting model state combinations. The tests are very thorough and tend to cover corner conditions that might be missed by manual test creation. GOTCHA, the property of the IBM Corporation, is derived from the Murphi model checker-a public domain program available on the Murphi Home Page, and the ESPRIT Genevieve Project. GOTCHA is tailored to work with the Cygnus g++ compiler available from Redhat., although GOTCHA itself is not Open Source code.
- Spider (previously known as TCBeans) interprets the abstract test suite. It either translates the abstract test suite into runnable test scripts, or runs the test suite against the unit under test and automatically compares the results with the model predictions. Spider is the property of the AGEDIS consortium (www.agedis.de), whose members include France Telecom, IBM, imbus SA, Intrasoft International, Oxford University, and Verimag.
- Test Suite Browser (C.ATS) is used to browse test suites, generated by GOTCHA and referred to as Abstract Test Suites (ATS), and the trace created by Spider, referred to as the Suite Execution Trace (SET). The Browser is the property of the AGEDIS consortium (www.agedis.de).
- The entire AGEDIS tools package together with documentation, samples, and instructional material is available for academic non-commercial use only. Students or academic institutions who would like to receive the AGEDIS tools are requested to fill in the licence form, and fax a signed copy to +972-4-8296114 for the attention of Alan Hartman. The AGEDIS CD-ROM will be forwarded by return post.
- The Combinatorial Test Services (CTS) is a software library for generation and manipulation of testing input data or configurations. CTS enables the user to generate small test suites with strong coverage properties, choose regression suites, and perform other useful operations for the creation of systematic software test plans. CTS is available from Alphaworks at http://www.alphaworks.ibm.com/tech/cts.
| |
|
