Automatic test case generation from UML communication diagrams
Information and Software Technology
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test
Demystifying model transformations: an approach based on automated rule inference
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Model transformation testing: the state of the art
Proceedings of the First Workshop on the Analysis of Model Transformations
| Hi-index | 0.00 |
Systematic design testing, in which executable modelsof behaviors are tested using inputs that exercise scenarios,can help reveal flaws in designs before they are implementedin code. We present a testing method in whichexecutable forms of the Unified Modeling Language (UML)models are tested. The method incorporates the use of testadequacy criteria based on UML model elements in classdiagrams and interaction diagrams. Class diagram criteriaare used to determine the object configurations on whichtests are run, while interaction diagram criteria are used todetermine the sequences of messages that should be tested.The criteria can be used to define test objectives for UMLdesigns. In this paper, we describe and illustrate the use ofthe proposed test method and adequacy criteria.