A Tool-Supported Approach to Testing UML Design Models
- 27 July 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 519-528
- https://doi.org/10.1109/iceccs.2005.16
Abstract
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diagrams, interaction diagrams, and activity diagrams. A UML design model under test is transformed into an executable form. Test infrastructure is added to the executable form to carry out tests. During testing, object configurations are created, modified and observed. In this paper, we identify the structural and behavioral characteristics that need to be observed during testing. We describe a prototype tool that (1) transforms UML design models into executable forms with test infrastructure, (2) executes tests, and (3) reports failures.Keywords
This publication has 6 references indexed in Scilit:
- Test adequacy assessment for UML design model testingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Test adequacy criteria for UML design modelsSoftware Testing, Verification and Reliability, 2003
- Generating test cases from an OO model with an AI planning systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Validation of UML and OCL Models by Automatic Snapshot GenerationPublished by Springer Nature ,2003
- The architecture of a UML virtual machinePublished by Association for Computing Machinery (ACM) ,2001
- Executable object modeling with statechartsComputer, 1997