%0 Conference Paper
%A Nguyen, Thi Hanh
%A Dang, Duc Hanh
%A Nguyen, Quang Trung
%B KSE: the 2019 International Conference on Knowledge and Systems Engineering
%C Vietnam
%D 2019
%F SisLab:3578
%T On Analyzing Rule-Dependencies to Generate Test Cases for Model Transformations
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3578/
%X Quality model transformations play a key role in the successful realization of Model Driven Engineering in practice. In the relational model transformations, rule dependency relations directly impact quality properties such as correctness, completeness, and information preservation. The analysis of rule dependencies from the declarative specification is expected to bring advantages for testing transformation properties. In this paper, we proposed a black-box approach for testing relational model transformations based on the analysis of the declarative specification using Triple Graph Grammar (TGG) rules. We exploit declarative TGG rules to capture the rule dependencies. Then, rule dependencies are combined together using the t-way testing technique to create test case descriptions. We transform patterns representing the input test condition and the oracle function of a test case description into OCL (Object Constraint Language) constraints to facilitate automatically generating input test models by solving constraints and querying interesting properties on the output models.