Metamorphic Property Extractor

Overview

Automatically identify metamorphic properties from programs to enable metamorphic testing without explicit test oracles.

Core Workflow

1. Extract Properties

python scripts/property_extractor.py --program function.py --output properties.json

2. Verify Properties

python scripts/verify_properties.py --program function.py --properties properties.json

Metamorphic Properties

Symmetry

f(x, y) == f(y, x)

Linearity

f(a*x) == a*f(x)

Additivity

f(x + y) == f(x) + f(y)

Idempotence

f(f(x)) == f(x)

Permutation Invariance

f(permute(x)) == f(x)

Resources

• references/metamorphic_testing.md: Metamorphic testing guide
• scripts/property_extractor.py: Property extraction tool