Exploring a Test Data-Driven Method for Selecting and Constraining Metamorphic Relations
CoRR(2023)
Abstract
Identifying and selecting high-quality Metamorphic Relations (MRs) is a
challenge in Metamorphic Testing (MT). While some techniques for automatically
selecting MRs have been proposed, they are either domain-specific or rely on
strict assumptions about the applicability of a pre-defined MRs. This paper
presents a preliminary evaluation of MetaTrimmer, a method for selecting and
constraining MRs based on test data. MetaTrimmer comprises three steps:
generating random test data inputs for the SUT (Step 1), performing test data
transformations and logging MR violations (Step 2), and conducting manual
inspections to derive constraints (Step 3). The novelty of MetaTrimmer is its
avoidance of complex prediction models that require labeled datasets regarding
the applicability of MRs. Moreover, MetaTrimmer facilitates the seamless
integration of MT with advanced fuzzing for test data generation. In a
preliminary evaluation, MetaTrimmer shows the potential to overcome existing
limitations and enhance MR effectiveness.
MoreTranslated text
Key words
relations,data-driven
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined