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 UML 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AGEDIS Consortium, AGEDIS modeling language specification, http://www.agedis.de
AGEDIS Consortium, Intermediate Language 2.0 with Test Directives Specification, http://www.agedis.de
AGEDIS Consortium, Test Suite Specification, http://www.agedis.de
Becker, P.: Model based testing helps Sun Microsystems remove software defects. Builder.com, http://builder.com.com/5100-6315-1064538.html
Craggs, I., Sardis, M., Heuillard, T.: AGEDIS Case Studies: Model-based testing in industry. In: Proc. 1st European Conference on Model Driven Software Engineering, imbus AG, December 2003, pp. 106–117 (2003)
Farchi, E., Hartman, A., Pinter, S.S.: Using a model-based test generator to test for standards conformance. IBM Systems Journal 41, 89–110 (2002)
Hartman, A., Kirshin, A., Nagin, K.: A test execution environment running abstract tests for distributed software. In: Proceedings of SEA 2002, pp. 448–453 (2002)
Hartmann, J., Imoberdorf, C., Meisinger, M.: UML-based integration testing. In: Proceedings of ACM Symposium on Software Testing and Analysis, pp. 60–70 (2000)
Jeron, T., Morel, P.: Test Generation Derived from Model-checking. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 108–121. Springer, Heidelberg (1999)
Microsoft Research – ASML Test tool, http://research.microsoft.com/foundations/AsmL/
Offutt, J., Abdurazik, A.: Generating Tests from UML Specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 416–429. Springer, Heidelberg (1999)
Robinson, H.: Finite state model based testing on a shoestring. In: Proceedings of STAR West 1999 (1999)
Robinson, H.: Obstacles and opportunities for model-based testing in an industrial software environment. In: Proc. 1st European Conference on Model Driven Software Engineering, imbus AG, December 2003, pp. 118–127 (2003)
Ur S. FoCus Functional Coverage Tool, http://www.alphaworks.ibm.com/tech/focus
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hartman, A., Nagin, K. (2005). The AGEDIS Tools for Model Based Testing. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds) UML Modeling Languages and Applications. UML 2004. Lecture Notes in Computer Science, vol 3297. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31797-5_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-31797-5_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25081-4
Online ISBN: 978-3-540-31797-5
eBook Packages: Computer ScienceComputer Science (R0)