Metamorphic Test Generator Agent Skill
Generate test cases using metamorphic testing by applying transformations based on metamorphic properties. Use when you need to expand test suites, test programs without oracles, validate mathematical or algorithmic properties, or detect subtle bugs through input-output relationships. The skill takes a program, original test cases, and metamorphic properties as input, generates new test cases by applying transformations, executes tests, verifies outputs satisfy properties, reports violations and anomalies, and outputs an expanded test suite with property coverage summary. Supports multiple programming languages and property types.
Install
one command, takes just this skill from the repositorynpx skills add https://github.com/ArabelaTso/Skills-4-SE --skill metamorphic-test-generatorThe instruction itself
8 sections, as written by the authorMetamorphic Test Generator
Overview
This skill generates test cases using metamorphic testing, applying transformations based on metamorphic properties to expand test suites and detect bugs through input-output relationships.
Quick Start
# Generate metamorphic tests
python scripts/generate.py program.py --tests tests/ --properties properties.json
# Use specific metamorphic properties
python scripts/generate.py program.py --tests tests/ --properties "permutation,addition"
# Generate report
python scripts/generate.py program.py --tests tests/ --properties props.json --output report.json
What Gets Generated
- Follow-up Test Cases - New inputs derived from original tests
- Property Verification - Checks that outputs satisfy metamorphic relations
- Violation Reports - Identifies property violations and anomalies
- Expanded Test Suite - Original plus generated tests
- Coverage Summary - Property coverage and effectiveness
Common Metamorphic Properties
- Permutation - Reordering inputs should not affect output
- Addition - Adding elements should increase/maintain result
- Multiplication - Scaling inputs should scale outputs proportionally
- Inverse - Applying inverse operation should return original
- Equivalence - Different representations should yield same result
- Monotonicity - Increasing input should increase/maintain output
Test Generation Report
Generates detailed report with:
- Original Tests - Initial test cases count
- Generated Tests - New test cases created
- Properties Applied - Metamorphic relations used
- Violations Found - Property violations detected
- Property Coverage - Percentage of properties satisfied
- Anomalies - Unexpected behaviors identified
Example report:
{
"original_tests": 20,
"generated_tests": 60,
"properties_applied": ["permutation", "addition", "inverse"],
"violations": 3,
"property_coverage": 95.0,
"anomalies": ["inverse property failed for negative inputs"]
}
Usage
python scripts/generate.py <program> --tests <test_dir> --properties <properties> [--output <report.json>]
Tips
- Define properties based on program semantics
- Start with simple properties (permutation, addition)
- Use metamorphic testing when oracles are unavailable
- Violations often indicate real bugs
- Combine with traditional testing for best results
- Document properties for future test maintenance
Other skills for the same job
different authors, same section of the catalogue
Toolkit for interacting with and testing local web applications using Playwright. Supports verifying frontend functionality, debugging UI behavior, capturing browser screenshots, and viewing browser logs.
Use when implementation is complete, all tests pass, and you need to decide how to integrate the work - guides completion of development work by presenting structured options for merge, PR, or cleanup
Use when implementing any feature or bugfix, before writing implementation code
Use when encountering any bug, test failure, or unexpected behavior, before proposing fixes
Use when about to claim work is complete, fixed, or passing, before committing or creating PRs - requires running verification commands and confirming output before making any success claims; evidence before assertions always
Expert guidance for systematic backtesting of trading strategies. Use when developing, testing, stress-testing, or validating quantitative trading strategies. Covers "beating ideas to death" methodology, parameter robustness testing, slippage modeling, bias prevention, and interpreting backtest results. Applicable when user asks about backtesting, strategy validation, robustness testing, avoiding overfitting, or systematic trading development.
Cloud laboratory platform for automated protein testing and validation. Use when designing proteins and needing experimental validation including binding assays, expression testing, thermostability measurements, enzyme activity assays, or protein sequence optimization. Also use for submitting experiments via API, tracking experiment status, downloading results, optimizing protein sequences for better expression using computational tools (NetSolP, SoluProt, SolubleMPNN, ESM), or managing protein design workflows with wet-lab validation.
This skill should be used for time series machine learning tasks including classification, regression, clustering, forecasting, anomaly detection, segmentation, and similarity search. Use when working with temporal data, sequential patterns, or time-indexed observations requiring specialized algorithms beyond standard ML approaches. Particularly suited for univariate and multivariate time series analysis with scikit-learn compatible APIs.
How to use it
Take arabelatso/metamorphic-test-generator from the repository into ~/.claude/skills for personal
use, or into .claude/skills inside a project.
The agent identifies a skill by the name field in its header. Two skills with the
same name cannot sit side by side — one of them will be ignored.