Model-based testing from UML models

INFORMATIK 2006 - Informatik fur Menschen, Beitrage der 36. Jahrestagung der Gesellschaft fur Informatik e.V. (GI)

Volumn 2, Issue , 2006, Pages 223-230

  Bernard, Eddy ^a   Bouquet, Fabrice ^b   Charbonnier, Amandine ^c   Legeard, Bruno ^c   Peureux, Fabien ^c   Utting, Mark ^d   Torreborre, Eric ^c  

^a LEIRIOS GmbH   (Germany)

^b UNIVERSITÉ DE FRANCHE COMTÉ   (France)

^c LEIRIOS Technologies   (France)

^d UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC TRANSACTION; EMBEDDED CONTROL SOFTWARE; MODEL BASED TESTING; MODEL COVERAGE; MODEL-BASED TESTING APPROACHES; MODEL-BASED TESTING TOOL; SYSTEM UNDER TEST; TEST CASE; TEST SCRIPTS; UML MODEL;

UNIFIED MODELING LANGUAGE;

EID: 84874268129     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)

1. Kosmatov, N.; Legeard, B.; Peureux, F.; and Utting, M.: Boundary Coverage Criteria for Test Generation from Formal Models. In Proc. of the 15th Int. Symp. on Software Reliability Engineering (ISSRE'04), Saint-Malo, France, pages 139-150, November 2004. IEEE Computer Society Press.
2. Rumbaugh, J.; Jacobson, I.; Booch, G.: The Unified Modeling Language Reference Manual, Second Edition. Addison-Wesley, 2005.
3. Utting, M.; Pretschner, A.; Legeard, B.: A Taxonomy of Model-Based Testing, Technical report 04/2006, Dept. of Computer Science, The University of Waikato, April 2006. www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-04.pdf
4. Warmer J.; Kleppe A.: The Object Constraint Language, Second Edition. Addison-Wesley, 2003.
5. Zhu, H.; Hall, P.A.V.; May, J.H.R.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29(4):366-427, 1997.