Abstract
Model transformations are crucial for the success of Model Driven Engineering. Testing is a prevailing technique of verifying the correctness of model transformation programs. A major challenge in model transformation testing is the oracle problem, which refers to the difficulty or high cost in determining the correctness of the output models. Metamorphic Testing alleviates the oracle problem by making use of the relationships among the inputs and outputs of multiple executions of the target function. This paper investigates the effectiveness and feasibility of metamorphic testing in testing model transformation programs. Empirical results show that metamorphic testing is an effective testing method for model transformation programs.
| Original language | English |
|---|---|
| Pages (from-to) | 94-99 |
| Number of pages | 6 |
| Journal | Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE |
| Volume | 2014-January |
| Issue number | January |
| Publication status | Published - 2014 |
| Externally published | Yes |
| Event | 26th International Conference on Software Engineering and Knowledge Engineering, SEKE 2014 - Vancouver, Canada Duration: 1 Jul 2014 → 3 Jul 2014 |
Free Keywords
- Metamorphic testing
- Model transformation
- Software quality
- Software testing
- Test oracle
ASJC Scopus subject areas
- Software
Fingerprint
Dive into the research topics of 'Testing model transformation programs using metamorphic testing'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver