Using Constraint Solvers to Support Metamorphic Testing

M. Carmen de Castro-Cabrera, Antonio Garcia-Dominguez, Inmaculada Medina-Bulo

Research output: Chapter in Book/Published conference outputConference publication

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 languageEnglish
Title of host publication2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET)
PublisherIEEE
Pages32-39
Number of pages8
ISBN (Electronic)978-1-7281-2235-9
ISBN (Print)978-1-7281-2236-6
DOIs
Publication statusPublished - 5 Aug 2019
Event2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) - Montreal, Canada
Duration: 26 May 201926 May 2019

Conference

Conference2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET)
Country/TerritoryCanada
CityMontreal
Period26/05/1926/05/19

Keywords

  • Constraint programming systems
  • Constraint solvers
  • Metamorphic relations
  • Validation

Fingerprint

Dive into the research topics of 'Using Constraint Solvers to Support Metamorphic Testing'. Together they form a unique fingerprint.

Cite this