Application of property-based testing tools for metamorphic testing

11/22/2022
by   Nasser Alzahrani, et al.
0

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 proposed method shows how to combine general PBT with MT under the same testing framework.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/20/2018

Quality Assurance of Bioinformatics Software: A Case Study of Testing a Biomedical Text Processing Tool Using Metamorphic Testing

Bioinformatics software plays a very important role in making critical d...
research
08/05/2021

Using Metamorphic Relations to Verify and Enhance Artcode Classification

Software testing is often hindered where it is impossible or impractical...
research
06/11/2022

Testing Ocean Software with Metamorphic Testing

Advancing ocean science has a significant impact to the development of t...
research
04/16/2019

Metamorphic Testing for Quality Assurance of Protein Function Prediction Tools

Proteins are the workhorses of life and gaining insight on their functio...
research
04/30/2018

Towards the Automation of Metamorphic Testing in Model Transformations

Model transformations are the cornerstone of Model-Driven Engineering, a...
research
05/16/2023

Bug or not Bug? Analysing the Reasons Behind Metamorphic Relation Violations

Metamorphic Testing (MT) is a testing technique that can effectively all...
research
10/10/2022

Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing

Contemporary DNN testing works are frequently conducted using metamorphi...

Please sign up or login with your details

Forgot password? Click here to reset