Abstract | ||
---|---|---|
Model Driven Development (MDD) is a software engineering approach in which models constitute the basic units of software development. A key part of MDD is the notion of automated model transformation, in which models are stepwise refined into more detailed models, and eventually into code. The correctness of transformations is essential to the success of MDD, and while much research has concentrated on formal verification, testing remains the most efficient method of validation. Transformation testing is however different from testing code, and presents new challenges. In this paper, we survey the model transformation testing phases and the approaches proposed in the literature for each phase. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2432497.2432502 | AMT@MoDELS |
Keywords | Field | DocType |
model driven development,model transformation testing phase,detailed model,automated model transformation,software development,efficient method,software engineering approach,basic unit,transformation testing,formal verification,mutation analysis,software engineering | Model transformation,Systems engineering,Model driven development,Correctness,Model-based testing,Engineering,Software construction,Development testing,Software development,Formal verification | Conference |
Citations | PageRank | References |
17 | 0.65 | 17 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gehan M. K. Selim | 1 | 172 | 8.94 |
James R. Cordy | 2 | 2418 | 149.56 |
Juergen Dingel | 3 | 608 | 49.06 |