A. Hartman
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.
- AGEDIS Consortium, AGEDIS modeling language specification, http://www.agedis.de.]]Google Scholar
- AGEDIS Consortium, Intermediate Language 2.0 with Test Directives Specification, http://www.agedis.de.]]Google Scholar
- AGEDIS Consortium, Test Suite Specification, http://www.agedis.de.]]Google Scholar
- Becker P., Model based testing helps Sun Microsystems remove software defects. Builder.com http://builder.com.com/5100-6315-1064538.html]]Google Scholar
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- Hartman A., Kirshin A., and Nagin K. A test execution environment running abstract tests for distributed software Proceedings of SEA 2002 448--453.]]Google Scholar
- Hartmann, J., Imoberdorf, C., and Meisinger, M., UML-based integration testing. Proceedings of ACM Symposium on Software Testing and Analysis (2000), 60--70.]] Google ScholarDigital Library
- Jeron, T., and Morel, P., Test Generation Derived from Model-checking, Proceedings of CAV99, Trento Italy (Springer-Verlag LNCS 1633 1999), 108--122.]] Google ScholarDigital Library
- Microsoft Research - ASML Test tool, http://research.microsoft.com/foundations/AsmL/]]Google Scholar
- Offutt J. and Abdurazik A., Generating Tests from UML Specifications, Second International Conference on the Unified Modeling Language (UML99), 1999.]] Google ScholarDigital Library
- Robinson H., Finite state model based testing on a shoestring. Proceedings of STAR West 1999.]]Google Scholar
- 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.]]Google Scholar
- Ur S. FoCus Functional Coverage Tool http://www.alphaworks.ibm.com/tech/focus.]]Google Scholar
Index Terms
- The AGEDIS tools for model based testing
Recommendations
The AGEDIS tools for model based testing
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 ...
The AGEDIS tools for model based testing
UML Modeling Languages and ApplicationsWe 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 ...
Differential testing: a new approach to change detection
ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papersRegression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that alleviates the test repair problem and detects more changes than regression ...
Comments