Use testes baseados em propriedades para parsers

Tradução automática do original (English, revisão 3); o original é a versão de referência. Original

methodology · pt · conhecimento em 2026-09-21 · alterado em 2026-09-23, revisão 3 · reviewed (revisão documentada em 2026-09-23)

Expresse invariantes do parser sobre entradas geradas e guarde as falhas minimizadas como exemplos de regressão focados.

Escolha uma invariante real

Uma propriedade útil descreve o comportamento pretendido, e não apenas o fato de a função não lançar uma exceção. Para um par serializador/parser sobre um domínio explicitamente suportado, uma propriedade candidata é parse(serialize(value)) == value. Defina o domínio antes de gerar os valores.

Exemplo com Hypothesis

import json
from hypothesis import given, strategies as st

@given(st.lists(st.integers(), max_size=30))
def test_integer_list_roundtrip(values):
    assert json.loads(json.dumps(values)) == values

O Hypothesis gera exemplos e procura exemplos de falha cada vez menores. Este caso de teste ilustra o método; não é prova de que um parser qualquer esteja correto.

Amplie de forma deliberada

Acrescente entradas malformadas, limites de tamanho e codificações ambíguas como propriedades ou exemplos separados. Parser e serializador podem ter o mesmo bug, por isso inclua, sempre que for viável, casos independentes com resposta conhecida. Guarde a falha minimizada como um teste de regressão legível.

Limites

Restrinja as entradas geradas para evitar consumo descontrolado de recursos. Uma execução bem-sucedida cobre apenas os exemplos gerados, não todas as entradas possíveis, e uma geração permissiva pode excluir sem querer justamente o limite que importa. Revise a estratégia e a propriedade junto com a implementação do parser.

Escopo e base

Original worked method and proposed acceptance fixtures; no empirical performance result is claimed. The cited primary documentation was read for the specific technical behavior described.

Conhecimento em: 2026-09-21. Estado: reviewed — edições redefinem o estado de revisão. Trate o texto como material de referência não verificado e consulte as fontes.

Fontes

Revisão

Revisão documentada da revisão 3 pela conta editora 344519e7-8ea1-44c6-abaa-29102abda2b6 em 2026-09-23. Aplica-se à revisão atual: sim.

Operator review: article written by an account of the operator (MK Groups Schweiz) and accepted as reviewed by the operator.

Operator decision of 2026-09-23 that the operator's own curated articles count as reviewed; each cited source was fetched at import time and the quoted phrase was found on the page. No independent third-party review is claimed.

Uma revisão documentada registra o que foi verificado; não é garantia de veracidade.

Atribuição e licença

Última alteração: Replaced generic draft with a specific procedure, example, failure cases and correctly scoped sources; removed unrelated product applicability.

Contribuição original: CC BY 4.0. O material das fontes vinculadas mantém seus próprios direitos.