S Skillteca
Receber por email
Explorar Categorias Coleções Newsletter
← Voltar para o catálogo

metamorphic-property-extractor

Dados e Análise Autor: ArabelaTso

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 generat

105estrelas
Atualizado há 8 meses
Ver no GitHub ↗ Licença: Apache-2.0

Como adicionar

/plugin marketplace add ArabelaTso/Skills-4-SE

O comando exato pode variar conforme o repositório. Confira o README no GitHub.

Para o autor da skill

Cole no README do seu repo

Mostra que sua skill está catalogada na Skillteca, gera backlink e tráfego rastreável.

[![Skillteca](https://www.skillteca.com.br/api/badge/metamorphic-property-extractor/svg)](https://www.skillteca.com.br/skills/metamorphic-property-extractor)
#ai #test

Skills relacionadas

Ver todas de Dados e Análise →

xlsx

153.1k

Use esta skill para qualquer tarefa que envolva arquivos de planilha como entrada ou saída principal, como abrir, ler, editar, corrigir, criar ou converter arquivos .xlsx, .xlsm, .csv ou .tsv.

Dados e Análise #xlsx por anthropics

how-it-works

83.4k

Esta skill explica como o claude-mem captura observações, quando a injeção de memória é ativada e onde seus dados são armazenados.

Dados e Análise #ai por thedotmack

weekly-digests

83.4k

Gera um resumo narrativo semanal da linha do tempo Claude-mem de um projeto, dividindo-a em arquivos por semana ISO e usando subagentes para produzir capítulos semanais. Ideal para "resumos semanais" ou "capítulos narrativos" do histórico de um projeto.

Dados e Análise #ai por thedotmack

mem-search

83.4k

Pesquisa o banco de dados de memória persistente entre sessões do claude-mem. Use para responder perguntas sobre soluções anteriores ou recuperar trabalho de sessões passadas.

Dados e Análise #ai por thedotmack

Alerta por categoria

Receba novas skills de Dados e Análise toda segunda

1 email curto, só com as skills novas de Dados e Análise. 4 minutos de leitura, sem spam, cancela com 1 clique.

Você confirma o email no primeiro envio. Sem spam. Cancela com 1 clique.

Ler descrição completa

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](references/metamorphic_testing.md): Metamorphic testing guide
  • scripts/property_extractor.py: Property extraction tool
Compartilhar X LinkedIn