Synaptic SkillsSynapticSkills
MarketplaceSkill GraphCriar SkillMCP ServerPlataformaEnterprise
v0.1.0-beta
Voltar ao Marketplace
DevelopmentMédio

Property-Based Testing Guide

portrailofbits·trailofbits· v1.0.0 · atualizado em 2026-04-10
80
Score

Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.

property-based-testingtestingcode-qualitytest-generationroundtrip-testinginvariant-testing
0Stars
0Forks
0Usos
Fork

Documento do Skill

SKILL.mdproperty-based-testing/workflow
1. Detect potential areas for property-based testing (serialization, parsing, validation).
2. Identify the appropriate property to test (roundtrip, idempotence, invariant).
3. Select a property-based testing library (Hypothesis, fast-check, proptest).
4. Define input strategies for the properties.
5. Write the property-based test using the selected library and strategies.
6. Run the tests and analyze any failures.
7. Refactor code or tests based on the test results.

Telemetria de Agentes

Execuções
0
total
Taxa de Sucesso
0%
últimos 30d
Latência Média
0.0s
p50
Alucinação
0.0%
detecção
Tokens Entrada
0
avg 0/exec
Tokens Saída
0
avg 0/exec

Uso por Plataforma

Skills Relacionados

Similar aTesting Flutter Applications
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
83
Similar aQA Test Planner
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
81
Similar aGo Testing Patterns
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
83

Árvore do Skill

Property-Based Testing Guide
property-based-testing
Fases Cognitivas5
1.SENSE
2.CONTEXTUALIZE
3.HYPOTHESIZE
4.RECOMMEND
5.ACT
Triggers8
write property-based testsuse property-based testinggenerate tests with roundtrip propertytest serialization with property-based testingapply property-based testing to smart contractsuse hypothesis for property-based testinguse fast-check for property-based testinguse proptest for property-based testing

Avaliar este Skill

Score Breakdown

⭐Avaliação Humana0%
🤖Sucesso de Agentes0%
🕐Atualidade100%
🔗Saúde de Dependências100%
🕸️Centralidade no Grafo0%
🛡️Segurança50%
CompositeScore = α·Humano + β·Agente + γ·Recência + δ·Deps + ε·Centralidade + ζ·Segurança

Instalação

$ synaptic mcp download property-based-testing
$ synaptic skills detail property-based-testing
$ synaptic skills live property-based-testing

Dependências

Hypothesisfast-checkproptestEchidna

Links

GitHub Repository