Carmen De Castro-Cabrera, M., Garcia-Dominguez, Antonio orcid.org/0000-0002-4744-9150 and Medina-Bulo, Inmaculada (2019) Using constraint solvers to support metamorphic testing. In: Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019. 4th IEEE/ACM International Workshop on Metamorphic Testing, MET 2019, 26 May 2019 Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019 . Institute of Electrical and Electronics Engineers Inc. , CAN , pp. 32-39.
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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | Funding Information: Paper partially funded by the European Commission (FEDER) and the Spanish Government under the National Program for Research, Development and Innovation, Societal Challenges Oriented, Project DArDOS (TIN2015-65845-C3-3-R). Publisher Copyright: © 2019 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details. |
Keywords: | Constraint programming systems,Constraint solvers,Metamorphic relations,Validation |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 01 May 2024 10:00 |
Last Modified: | 08 Feb 2025 00:13 |
Published Version: | https://doi.org/10.1109/MET.2019.00013 |
Status: | Published |
Publisher: | Institute of Electrical and Electronics Engineers Inc. |
Series Name: | Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019 |
Identification Number: | 10.1109/MET.2019.00013 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:212149 |
Download
Filename: Using_constraint_solvers_to_support_metamorphic_testing.pdf
Description: Using constraint solvers to support metamorphic testing