The AGEDIS tools for model based testing

Lecture Notes in Computer Science

Volumn 3297, Issue , 2005, Pages 277-280

  Hartman, Alan ^a   Nagin, Kenneth ^a  

^a UNIVERSITY OF HAIFA   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; FEEDBACK; INTERFACES (COMPUTER); PROJECT MANAGEMENT;

AGEDIS TOOLS; DEFECT ANALYSIS TOOLS; FEEDBACK LOOP; INTEGRATED ENVIRONMENT;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 23944524830     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31797-5_33     Document Type: Conference Paper

References (14)

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. Hartmann, J., Imoberdorf, C., and Meisinger, M., UML-based integration testing. Proceedings of ACM Symposium on Software Testing and Analysis (2000), 60- 70.
9. Jeron, T., and Morel, P., Test Generation Derived from Model-checking, Proceedings of CAV99, Trento Italy (Springer-Verlag LNCS 1633 1999), 108-122.
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.