metamorphic-property-extractor
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.
85
78%
Does it follow best practices?
Impact
93%
1.78xAverage score across 3 eval scenarios
Passed
No known issues
Optimize this skill with Tessl
npx tessl skill review --optimize ./skills/metamorphic-property-extractor/SKILL.mdMetamorphic 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.json2. Verify Properties
python scripts/verify_properties.py --program function.py --properties properties.jsonMetamorphic 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
- Repository
- ArabelaTso/Skills-4-SE
- Commit
0f00a4f
- Last updated
- Created
Is this your skill?
If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.