Using model transformation to support model-based test coverage measurement

• Main Authors: Naslavsky, Leila, Ziv, Hadar, Richardson, Debra J.
• Format: Conference Proceeding
• Language: English
• Subjects: Software and its engineering > Software creation and management > Software verification and validation > Process validation > Traceability; Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging
• ISSN: 0270-5257
• DOI: 10.1145/1370042.1370044

Adoption of model-driven development is leading to increased use of models jointly with source code for software testing, by means of Model-Based Testing (MBT). MBT uses models to derive concrete test cases to test code. With MBT, test adequacy criteria are described in relation to the models. They are used to evaluate reliability of derived test cases and as predictor for determining when to stop testing. Hence, when concrete test cases are executed, it is important to measure coverage achieved with regards to the model, rather than only to the code. This places new challenges for testing activities, which include creation and maintenance of relationships between model and code elements. To deal with such challenge, we propose an approach that leverages model-to-text transformation traceability techniques to create relationships required to measure model coverage achieved with test cases executions. We illustrate the approach by applying it to a small ATM example.