Model-driven testing with UML 2.0

The UML 2.0 Testing Profile provides support for UML 2.0 based model-driven testing. This paper introduces a methodology of how to use the profile in order to transform an existing UML system design model for tests. For the formalization of the proposed methodology, the QVTt ransformation rules defined by CBOP/IBM/DSTC are considered.