Metamorphic Testing: A New Approach for Generating Next Test Cases¶
Chen, T. Y., Cheung, Chi, S., Yiu, & Ming, S. (1998). Metamorphic Testing: A New Approach for Generating Next Test Cases: A New Approach for Generating Next Test Cases. HKUST Technical Report.
Cited by¶
5 citations across 5 artifacts.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Invariance Property Test
- This is exactly the shape of metamorphic testing
This sourceIntroduces metamorphic testing as checking output relations across transformed inputs when a conventional test oracle is unavailable.
- This is exactly the shape of metamorphic testing
- Metamorphic Composition Test
- … helpless: when the composition has no known-correct output — ML pipelines, simulations, rankers, optimizers — a metamorphic relation supplies a usable oracle from the composition's own structure, and it directly targets order-, grouping-, and substitution-sensitivity, the interaction bugs composition most often hides.
This sourceIntroduces metamorphic relations as a usable partial oracle when a program’s correct output is unavailable for arbitrary test cases.
- … helpless: when the composition has no known-correct output — ML pipelines, simulations, rankers, optimizers — a metamorphic relation supplies a usable oracle from the composition's own structure, and it directly targets order-, grouping-, and substitution-sensitivity, the interaction bugs composition most often hides.
- Randomized Partition Replay
- This is metamorphic testing
This sourceIntroduces metamorphic testing for situations without a usable test oracle, deriving follow-up tests and checking required relations among outputs rather than requiring a known single correct output.
- This is metamorphic testing
- Randomized Replay and Shuffle Testing
- Its strength is that it converts an untestable "we think this is order-independent" into a falsifiable, repeatable check
This sourceShows how a metamorphic relation such as row-order invariance can turn an otherwise oracle-limited expectation into a repeatable test that reveals a hidden implementation error.
- Its strength is that it converts an untestable "we think this is order-independent" into a falsifiable, repeatable check
- Transformation-Pair Test Suite
- It is the natural home for metamorphic testing — the practice of checking a program through relations between related inputs and outputs when no single correct output can be specified, which is precisely the situation equivariance creates.
This sourceDefines metamorphic testing as checking relations across related inputs and outputs when a conventional correct-output oracle is unavailable.
- It is the natural home for metamorphic testing — the practice of checking a program through relations between related inputs and outputs when no single correct output can be specified, which is precisely the situation equivariance creates.
Verification¶
Does it exist? Not checked yet. This entry carries no identifier to resolve. It was extracted from the citation as written in the article, normalized, and deduplicated against the rest of the registry.
Does it back the claim? Not recorded. Neither this nor any other of the 5 citations of this work carries a recorded support check.
Was it audited? Yes. A second, independent pass read the citation against the article text and recorded a verdict.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Links previously used in the corpus¶
Before the registry existed this work was also linked 1 other way.
Registry ID ref:884ebc7912e5 · see in the full table