Towards automated support for deriving test data from UML statecharts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2863, Issue , 2003, Pages 249-264

  Briand, Lionel C ^a   Cui, Jim ^a   Labiche, Yvan ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTATIONAL LINGUISTICS; MODELING LANGUAGES;

AUTOMATED SUPPORT; COVERAGE CRITERIA; FURTHER WORKS; INPUT PARAMETER; OBJECT CONSTRAINT LANGUAGE; SYSTEM STATE; TESTING STRATEGIES; UML STATECHARTS;

UNIFIED MODELING LANGUAGE;

EID: 0242276154     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_22     Document Type: Article

References (8)

1. R. V. Binder, Testing Object-Oriented Systems - Models, Patterns, and Tools, Object Technology, Addison-Wesley, 1999.
2. L. C. Briand, J. Cui and Y. Labiche, "Towards Automated Support for Deriving Test Data from UML Statecharts," Carleton University, Technical Report SCE-03-13, http://www.sce.carleton.ca/Squall/Articles/TR_SCE-03-13.pdf, 2003.
3. M. R. A. Huth and M. D. Ryan, Logic in Computer Science, Modelling and Reasoning about Systems, Cambridge University Press, 2000.
4. B. Meyer, Object-Oriented Software Construction - Second Edition, Prentice Hall, 1997.
5. A. J. Offutt and A. Abdurazik, "Generating Tests from UML specifications," Proc. UML'99, Fort Collins, CO, pp. 416-429, October, 1999.
6. OMG, "Unified Modeling Language (UML)," Object Management Group V1.4, www.omg.org/technology/uml/, 2001.
7. J. Rumbaugh, I. Jacobson and G. Booch, The Unified Modeling Language Reference Manual, Addison Wesley, 1999.
8. J. Warmer and A. Kleppe, The Object Constraint Language, Addison-Wesley, 1999.