The AGEDIS tools for model based testing

ABSTRACT

We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven test generation and execution for distributed systems. The project includes an integrated environment for modeling, test generation, test execution, and other test related activities. The tools support a model based testing methodology that features a large degree of automation and also includes a feedback loop integrating coverage and defect analysis tools with the test generator and execution framework. Prototypes of the tools have been tried in industrial settings providing important feedback for the creation of the next generation of tools in this area.

REFERENCES

• 1: AGEDIS Consortium, AGEDIS modeling language specification, http://www.agedis.de.
• 2: AGEDIS Consortium, Intermediate Language 2.0 with Test Directives Specification, http://www.agedis.de.
• 3: AGEDIS Consortium, Test Suite Specification, http://www.agedis.de.
• 4: Becker P., Model based testing helps Sun Microsystems remove software defects. Builder.com http://builder.com.com/5100-6315-1064538.html
• 5: Craggs I., Sardis M., and Heuillard T., AGEDIS Case Studies: Model-based testing in industry. Proc. 1st European Conference on Model Driven Software Engineering, 106--117. imbus AG December 2003.
• 6: Farchi E., Hartman A., and Pinter S. S., Using a model-based test generator to test for standards conformance. IBM Systems Journal 41 (2002) 89--110.
• 7: Hartman A., Kirshin A., and Nagin K. A test execution environment running abstract tests for distributed software Proceedings of SEA 2002 448--453.
• 8: Jean Hartmann , Claudio Imoberdorf , Michael Meisinger, UML-Based integration testing, Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, p.60-70, August 21-24, 2000, Portland, Oregon, United States
• 9: Thierry Jéron , Pierre Morel, Test Generation Derived from Model-Checking, Proceedings of the 11th International Conference on Computer Aided Verification, p.108-121, July 06-10, 1999
• 10: Microsoft Research - ASML Test tool, http://research.microsoft.com/foundations/AsmL/
• 11: Offutt J. and Abdurazik A., Generating Tests from UML Specifications, Second International Conference on the Unified Modeling Language (UML99), 1999.
• 12: Robinson H., Finite state model based testing on a shoestring. Proceedings of STAR West 1999.
• 13: Robinson H., Obstacles and opportunities for model-based testing in an industrial software environment. Proc. 1st European Conference on Model Driven Software Engineering, 118--127. imbus AG December 2003.
• 14: Ur S. FoCus Functional Coverage Tool http://www.alphaworks.ibm.com/tech/focus.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

General Terms:
Verification

Keywords:
UML modeling, automated test generation, coverage analysis, defect analysis, test execution framework, validation