Using Constraint Solvers to Support Metamorphic Testing

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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)
CountryCanada
CityMontreal
Period26/05/1926/05/19

Fingerprint

Software testing
Testing
formalization
guarantee
artifact
Experiments
experiment
software

Keywords

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

Cite this

de Castro-Cabrera, M. C., Garcia-Dominguez, A., & Medina-Bulo, I. (2019). Using Constraint Solvers to Support Metamorphic Testing. In 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) (pp. 32-39). [8785652] IEEE. https://doi.org/10.1109/MET.2019.00013
de Castro-Cabrera, M. Carmen ; Garcia-Dominguez, Antonio ; Medina-Bulo, Inmaculada. / Using Constraint Solvers to Support Metamorphic Testing. 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET). IEEE, 2019. pp. 32-39
@inproceedings{6fea58eb70b741c9a32c80e4d147dfaf,
title = "Using Constraint Solvers to Support Metamorphic Testing",
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.",
keywords = "Constraint programming systems, Constraint solvers, Metamorphic relations, Validation",
author = "{de Castro-Cabrera}, {M. Carmen} and Antonio Garcia-Dominguez and Inmaculada Medina-Bulo",
year = "2019",
month = "8",
day = "5",
doi = "10.1109/MET.2019.00013",
language = "English",
isbn = "978-1-7281-2236-6",
pages = "32--39",
booktitle = "2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET)",
publisher = "IEEE",
address = "United States",

}

de Castro-Cabrera, MC, Garcia-Dominguez, A & Medina-Bulo, I 2019, Using Constraint Solvers to Support Metamorphic Testing. in 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET)., 8785652, IEEE, pp. 32-39, 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET), Montreal, Canada, 26/05/19. https://doi.org/10.1109/MET.2019.00013

Using Constraint Solvers to Support Metamorphic Testing. / de Castro-Cabrera, M. Carmen; Garcia-Dominguez, Antonio; Medina-Bulo, Inmaculada.

2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET). IEEE, 2019. p. 32-39 8785652.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Using Constraint Solvers to Support Metamorphic Testing

AU - de Castro-Cabrera, M. Carmen

AU - Garcia-Dominguez, Antonio

AU - Medina-Bulo, Inmaculada

PY - 2019/8/5

Y1 - 2019/8/5

N2 - 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.

AB - 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.

KW - Constraint programming systems

KW - Constraint solvers

KW - Metamorphic relations

KW - Validation

UR - https://ieeexplore.ieee.org/document/8785652?dld=YXN0b24uYWMudWs%3D&source=SEARCHALERT

UR - http://www.scopus.com/inward/record.url?scp=85071448658&partnerID=8YFLogxK

U2 - 10.1109/MET.2019.00013

DO - 10.1109/MET.2019.00013

M3 - Conference contribution

SN - 978-1-7281-2236-6

SP - 32

EP - 39

BT - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET)

PB - IEEE

ER -

de Castro-Cabrera MC, Garcia-Dominguez A, Medina-Bulo I. Using Constraint Solvers to Support Metamorphic Testing. In 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET). IEEE. 2019. p. 32-39. 8785652 https://doi.org/10.1109/MET.2019.00013