skills.rest
ArabelaTso
ArabelaTsoCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

metamorphic-property-extractor

Identify metamorphic properties like symmetry and linearity from program code.

142|14|Updated Feb 14, 2026
Search Tags:#software engineering#test generation#code verification#program analysis#metamorphic testing#property extraction
One-click install
npx skills add https://github.com/ArabelaTso/Skills-4-SE --skill metamorphic-property-extractor
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: metamorphic-property-extractor
Source: https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/metamorphic-property-extractor
Command: npx skills add https://github.com/ArabelaTso/Skills-4-SE --skill metamorphic-property-extractor

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill automates the identification of metamorphic properties within programs, eliminating the need for manual specification of test oracles.

Core Features & Use Cases

  • Metamorphic Property Identification: Automatically detects properties like symmetry, linearity, additivity, and idempotence.
  • Metamorphic Test Generation: Provides structured properties to facilitate the creation of metamorphic tests.
  • Program Understanding: Aids in discovering inherent properties of code without explicit documentation.
  • Use Case: When developing a complex mathematical function, use this Skill to automatically identify its symmetric or linear properties, which can then be used to generate a robust test suite.

Quick Start

Use the metamorphic-property-extractor skill to extract properties from the file function.py.

Frequently Asked Questions about metamorphic-property-extractor

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I automatically identify metamorphic properties in code without writing test oracles?▼

To identify metamorphic properties automatically, use a tool that analyzes control flow, data flow, and sample executions to extract symmetry, linearity, and additivity without manual specifications.

What types of metamorphic relations can be discovered through program analysis?▼

Metamorphic testing discovers properties such as symmetry, linearity, additivity, and input invariances by analyzing program executions and control flow to output structured properties for verification.

How do I generate metamorphic tests for a complex mathematical function?▼

Generate metamorphic tests by first extracting structured properties like idempotence or linearity from the function, then use those properties to build a robust test suite for code verification.

Can I extract program properties from a Python file without explicit documentation?▼

Yes, you can extract program properties from a Python file without documentation by analyzing sample executions and data flow to discover inherent invariances for test generation.

What is the best way to validate code transformations when there are no explicit specifications?▼

The best way to validate transformations without specifications is to extract metamorphic properties automatically and use them as test oracles to verify transformation correctness.

Do I need dependencies or external libraries to perform metamorphic property extraction?▼

No external dependencies are required to perform metamorphic property extraction; the analysis relies on internal scripts to process control flow and sample executions directly.

Related Skills

Explore More Software Engineering Skills→
erhankaraarslanerhankaraarslan

codebase-research

Analyze a codebase to reveal architecture, data flow, and entry points.

Community
Intermediate
ArabelaTsoArabelaTso
142

metamorphic-test-generator

Generate test cases by applying metamorphic properties and verifying output relationships.

Community
Intermediate
rainoftimerainoftime
17

control-flow-analysis

Build control flow graphs and identify basic blocks, dominators, and loops.

Community
Intermediate
ArabelaTsoArabelaTso
142

test-oracle-generator

Generate assertion, property, differential, and metamorphic test oracles for Python and Java.

Community
Intermediate