Metamorphic Testing

Technique

Metamorphic testing is a software testing technique that addresses the oracle problem by leveraging metamorphic relations—properties that describe how outputs of a System Under Test (SUT) should transform when its inputs are transformed in a known way. It has been applied across domains including image processing, autonomous systems, and processor verification.

First seen 9/28/2026

Last seen 9/28/2026

Evidence 1 chunks

Wiki v1

WIKI

Metamorphic Testing

Definition and Motivation

Metamorphic testing is a software testing strategy introduced to alleviate the oracle problem—the difficulty or impossibility of producing an expected output (a test oracle) for every test input of a System Under Test (SUT). Rather than requiring an oracle for each individual test case, metamorphic testing relies on metamorphic relations: properties that hold between the inputs and outputs of two or more related executions of the SUT. A new (follow-up) test case is generated by systematically transforming an existing (source) test case, and the metamorphic relation predicts how the output should change in response [arxiv:2002.07046].

READ FULL ARTICLE →

NEIGHBORHOOD

2 nodes · 1 edges

graph · Metamorphic testing · depth=1

RELATIONSHIPS

1 connections

Metamorphic testing for processor verification: A RISC-V case study at the instruction level ← uses 95% 1e

The title explicitly states the use of metamorphic testing.

LINKED ENTITIES

2 links

Metamorphic testing for processor verification: A RISC-V case study at the instruction level USES Extracted graph relationship

Concolic Testing RELATED_TO Concolic testing is mentioned in the surrounding RISC-V verification literature as a complementary test-generation technique addressing the oracle problem.

CITATIONS

5 sources

5 citations — click to expand

[1] Metamorphic testing alleviates the oracle problem by using metamorphic relations between inputs and outputs of the SUT. Object-based Metamorphic Testing through Image Structuring

[2] Object-based and composite metamorphic testing are proposed to extend image-based metamorphic testing and increase test coverage. Object-based Metamorphic Testing through Image Structuring

[3] Metamorphic testing has been applied in autonomous systems with drone obstacle avoidance using GNC API and Gazebo, demonstrating MRs for single- and multi-drone scenarios. Metamorphic Testing in Autonomous System Simulations

[4] Metamorphic testing has been applied at the instruction level for RISC-V processor verification in a 2021 VLSI-SoC case study. Metamorphic testing for processor verification: A RISC-V case study at the instruction level (VLSI-SoC 2021)

[5] Concolic testing, symbolic execution, and related techniques are complementary test-generation methods developed in the RISC-V verification ecosystem. Reference list including Tempel et al. works on concolic/symbolic execution for RISC-V and SystemC