White-Box Coverage Criteria for Model Transformations
نویسندگان
چکیده
Model transformations are core to MDE, and one of the key aspects for all model transformations is that they are validated. In this paper we develop an approach to testing model transformations based on white-box coverage measures of the transformations. To demonstrate the use of this approach we apply it to some examples from the ATL metamodel zoo.
منابع مشابه
Testing M2T Transformations - A Systematic Literature Review
Context: Model-Driven Development (MDD) is about to become a reality in the development of enterprise information systems due to its benefits, such as reduction of development and maintenance costs, and support for controlled evolution. Consequently, testing model transformations, considering their high complexity particularly regarding Model-to-Text (M2T) transformations, plays a key role to i...
متن کاملRule Chains Coverage for Testing QVT-Relations Transformations
Traditional software testing techniques have been adapted to deal with the verification of model transformations. Black-box techniques have the benefit of simplicity as well as the advantage of being independent of the implementation language, and thus compatible with any model transformation language. Although this is important, the inherent complexity of metamodels may result in a significant...
متن کاملTesting Model Transformations: A case for Test Generation from Input Domain Models
Model transformations can automate critical tasks in model-driven development. Thorough validation techniques are required to ensure their correctness. In this lecture we focus on testing model transformations. In particular, we present an approach for systematic selection of input test data. This approach is based on a key characteristic of model transformations: their input domain is formally...
متن کاملProving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the declarative specification language FQL (FShell Query Language), an efficient back end for computing test data, and a mathematical framework to reason about coverage criteria. To solve the reachability problem posed in SV-C...
متن کاملAn All-in-One Toolkit for Automated White-Box Testing
Automated white-box testing is a major issue in software engineering. Over the years, several tools have been proposed for supporting distinct parts of the testing process. Yet, these tools are mostly separated and most of them support only a fixed and restricted subset of testing criteria. We describe in this paper FRAMA-C/LTEST, a generic and integrated toolkit for automated white-box testing...
متن کامل