Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Automated Generation of Test Cases Using Model-Driven Architecture
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
UML-based design test generation
Proceedings of the 2008 ACM symposium on Applied computing
Regression testing with UML software designs: A survey
Journal of Software Maintenance and Evolution: Research and Practice
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
MDA-Based re-engineering with object-z
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Testing and debugging UML models based on fUML
Proceedings of the 34th International Conference on Software Engineering
| Hi-index | 0.00 |
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.