loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Nasser Alzahrani ; Maria Spichkova and James Harland

Affiliation: School of Computing Technologies, RMIT University, Melbourne, Australia

Keyword(s): Software Testing, Metamorphic Testing, Property-based Testing, Formal Specification.

Abstract: Metamorphic testing (MT) is a general approach for the testing of a specific kind of software systems – so-called “non-testable”, where the “classical” testing approaches are difficult to apply. MT is an effective approach for addressing the test oracle problem and test case generation problem. The test oracle problem is when it is difficult to determine the correct expected output of a particular test case or to determine whether the actual outputs agree with the expected outcomes. The core concept in MT is metamorphic relations (MRs) which provide formal specification of the system under test. One of the challenges in MT is effective test generation. Property-based testing (PBT) is a testing methodology in which test cases are generated according to desired properties of the software. In some sense, MT can be seen as a very specific kind of PBT. In this paper, we show how to use PBT tools to automate test generation and verification of MT. In addition to automation benefit, the pro posed method shows how to combine general PBT with MT under the same testing framework. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.147.68.201

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Alzahrani, N.; Spichkova, M. and Harland, J. (2022). Application of Property-based Testing Tools for Metamorphic Testing. In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-568-5; ISSN 2184-4895, SciTePress, pages 553-560. DOI: 10.5220/0011101700003176

@conference{enase22,
author={Nasser Alzahrani. and Maria Spichkova. and James Harland.},
title={Application of Property-based Testing Tools for Metamorphic Testing},
booktitle={Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2022},
pages={553-560},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011101700003176},
isbn={978-989-758-568-5},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Application of Property-based Testing Tools for Metamorphic Testing
SN - 978-989-758-568-5
IS - 2184-4895
AU - Alzahrani, N.
AU - Spichkova, M.
AU - Harland, J.
PY - 2022
SP - 553
EP - 560
DO - 10.5220/0011101700003176
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic