Abstract | ||
---|---|---|
Why is it important to verify/validate model transformations? The motivation is to improve the quality of the transformations, and therefore the quality of the generated software artifacts. Verified/validated model transformations make it possible to ensure certain properties of the generated software artifacts. In this way, verification/validation methods can guarantee different requirements stated by the actual domain against the generated/modified/optimized software products. For example, a verified/validated model transformation can ensure the preservation of certain properties during the model-to-model transformation. This paper emphasizes the necessity of methods that make model transformation verified/validated, discusses the different scenarios of model transformation verification and validation, and introduces the principles of a novel test-driven method for verifying/validating model transformations. We provide a solution that makes it possible to automatically generate test input models for model transformations. Furthermore, we collect and discuss the actual open issues in the field of verification/validation of model transformations. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1631/FITEE.1400111 | Frontiers of IT & EE |
Keywords | Field | DocType |
Graph rewriting based model transformations, Verification/validation, Test-driven verification, TP311 | Data mining,Verification and validation of computer simulation models,Model transformation,Mathematical optimization,Functional verification,Verification and validation,Validation rule,Computer science,Algorithm,Verification,High-level verification,Software verification | Journal |
Volume | Issue | ISSN |
16 | 2 | 2095-9230 |
Citations | PageRank | References |
0 | 0.34 | 21 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Laszlo Lengyel | 1 | 8 | 2.21 |
Hassan Charaf | 2 | 0 | 0.68 |