Model-driven Testing - Transformations from Test Models to Test Code

In MDE, software products are built with successive transformations of models at different abstraction levels, which in the end are translated into executable code for the specific platform where the system will be deployed and executed. As testing is one of the essential activities in software development, researchers have proposed several techniques to deal with testing in model-based contexts. In previous works, we described a framework to automatically derive UML Testing-Profile test cases from UML 2.0 design models. These transformations are made with the QVT language which, like UML 2.0 and UML-TP, is an OMG standard. Now, we have extended the framework for deriving the source code of the test cases from those in the UML Testing Profile. This transformation, which can be applied to obtain test cases in a variety of programming languages, is implemented with MOFScript, which is also an OMG standard. Thus, this paper almost closes our cycle of testing automation in MDE environments, always within the limits of OMG standards. Moreover, thanks to this standardization, the development of new tools is not required.

[1]  S. N. Sivanandam,et al.  A SURVEY ON AUTOMATIC TEST CASE GENERATION , 2011 .

[2]  Siddhartha R. Dalal,et al.  Model-based testing in practice , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[3]  Ina Schieferdecker,et al.  Model-Driven Testing: Using the UML Testing Profile , 2007 .

[4]  Paul A. Strooper,et al.  Automated Generation of Test Cases Using Model-Driven Architecture , 2007, Second International Workshop on Automation of Software Test (AST '07).

[5]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[6]  Z. Dai.  Model-Driven Testing with UML 2 . 0 , 2004 .

[7]  Antonia Bertolino,et al.  Software Testing Research: Achievements, Challenges, Dreams , 2007, Future of Software Engineering (FOSE '07).

[8]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[9]  Beatriz Pérez Lamancha,et al.  Automated model-based testing using the UML testing profile and QVT , 2009, MoDeVVa '09.

[10]  Rajesh Subramanyan,et al.  A survey on model-based testing approaches: a systematic review , 2007, WEASELTech '07.