RT book part
T1 Using Constraint Solvers to Support Metamorphic Testing
A1 Castro Cabrera, María Carmen
A1 García-Domínguez, Antonio
A1 Medina Bulo, María Inmaculada
A2 Ingeniería Informática
K1 Metamorphic relations
K1 constraint solvers
K1 con- straint programming systems
K1 validation
AB One of the current challenges in the context ofMetamorphic Testing (MT) is the formalization and validationof metamorphic relations (MRs), as there is no single methodor homogeneous way of doing it. It is a part of this softwaretesting technique that, unlike others, is not yet developed. Onone hand, the fact of having an artifact that formally validatesthese main elements in MT, facilitates the task for developersand testers and ensures that the technique applied fulfills itsfunction with guarantees. On the other hand, nowadays, thereare numerous accessible tools based on highly consolidatedand mature constraint solvers that can help in this processof validation. Interpreting MRs as a set of constraints, theirvalidation with these tools is directly applicable. This paperpresents a proposal based on a use case, in which MRs areimplemented as a set of restrictions. The experiments and theresults are described and future lines of research are outlined.
PB IEEE
SN 9781728122359
YR 2019
FD 2019
LK http://hdl.handle.net/10498/38440
UL http://hdl.handle.net/10498/38440
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 06-nov-2026