TY  - CONF
ID  - SisLab3578
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3578/
A1  - Nguyen, Thi Hanh
A1  - Dang, Duc Hanh
A1  - Nguyen, Quang Trung
Y1  - 2019///
N2  - 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.
TI  - On Analyzing Rule-Dependencies to Generate Test Cases for Model Transformations
M2  - Vietnam
AV  - none
T2  - KSE: the 2019 International Conference on Knowledge and Systems Engineering
ER  -