metamorphic-property-extractor
CommunityExtract program properties automatically.
Software Engineering#software engineering#test generation#code verification#program analysis#metamorphic testing#property extraction
AuthorArabelaTso
Version1.0.0
Installs0
System Documentation
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.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: metamorphic-property-extractor Download link: https://github.com/ArabelaTso/Skills-4-SE/archive/main.zip#metamorphic-property-extractor Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.