Abstract
One of the current challenges in the context of Metamorphic Testing (MT) is the formalization and validation of metamorphic relations (MRs), as there is no single method or homogeneous way of doing it. It is a part of this software testing technique that, unlike others, is not yet developed. On one hand, the fact of having an artifact that formally validates these main elements in MT, facilitates the task for developers and testers and ensures that the technique applied fulfills its function with guarantees. On the other hand, nowadays, there are numerous accessible tools based on highly consolidated and mature constraint solvers that can help in this process of validation. Interpreting MRs as a set of constraints, their validation with these tools is directly applicable. This paper presents a proposal based on a use case, in which MRs are implemented as a set of restrictions. The experiments and the results are described and future lines of research are outlined.
Original language | English |
---|---|
Title of host publication | 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) |
Publisher | IEEE |
Pages | 32-39 |
Number of pages | 8 |
ISBN (Electronic) | 978-1-7281-2235-9 |
ISBN (Print) | 978-1-7281-2236-6 |
DOIs | |
Publication status | Published - 5 Aug 2019 |
Event | 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) - Montreal, Canada Duration: 26 May 2019 → 26 May 2019 |
Conference
Conference | 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) |
---|---|
Country/Territory | Canada |
City | Montreal |
Period | 26/05/19 → 26/05/19 |
Keywords
- Constraint programming systems
- Constraint solvers
- Metamorphic relations
- Validation