Metamorphic property extractor
Skill ArabelaTso/Skills-4-SE/skills/metamorphic-property-extractor
A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows.
npx -y skills add ArabelaTso/Skills-4-SE --skill metamorphic-property-extractorAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
What its author says it does
Copied from the file, not written here
Automatically identify metamorphic properties (symmetry, linearity, additivity, input invariances) from programs or functions. Use when generating metamorphic tests, discovering program properties, validating transformations, or creating test oracles without explicit specifications. Analyzes control flow, data flow, and sample executions to output structured properties for metamorphic test generation and verification.
SKILL.md
1.3 KB, 219 tokens by cl100k_base, as published. Nobody here has run it
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