Metamorphic property extractor

Skill ArabelaTso/Skills-4-SE/skills/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.From its SKILL.md

Install

npx -y skills add ArabelaTso/Skills-4-SE --skill metamorphic-property-extractor

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

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

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.