VNU-UET Repository

On Analyzing Rule-Dependencies to Generate Test Cases for Model Transformations

Nguyen, Thi Hanh and Dang, Duc Hanh and Nguyen, Quang Trung (2019) On Analyzing Rule-Dependencies to Generate Test Cases for Model Transformations. In: KSE: the 2019 International Conference on Knowledge and Systems Engineering, 2019, Vietnam.

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (Paper)
Subjects: Information Technology (IT)
Divisions: Faculty of Information Technology (FIT)
Depositing User: Duc-Hanh Dang
Date Deposited: 22 Oct 2019 07:20
Last Modified: 22 Oct 2019 07:20

Actions (login required)

View Item View Item