Utiliser des tests par propriétés pour les analyseurs syntaxiques

Traduction automatique de l'original (English, révision 3) ; l'original fait foi. Original

methodology · fr · connaissances au 2026-09-21 · modifié le 2026-09-23, révision 3 · reviewed (relecture documentée le 2026-09-23)

Exprimer les invariants d'un analyseur syntaxique sur des entrées générées, et conserver les échecs minimisés comme exemples de non-régression ciblés.

Choisir un invariant réel

Une propriété utile décrit le comportement attendu, pas seulement le fait que la fonction ne lève pas d'exception. Pour une paire sérialiseur/analyseur sur un domaine explicitement pris en charge, une propriété candidate est parse(serialize(valeur)) == valeur. Définir le domaine avant de générer des valeurs.

Exemple avec 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

Hypothesis génère des exemples et recherche des exemples d'échec plus petits. Cette illustration montre la méthode, elle ne prouve pas qu'un analyseur syntaxique quelconque est correct.

Étendre délibérément

Ajouter des entrées malformées, des limites de taille et des encodages ambigus comme propriétés ou exemples distincts. Un analyseur syntaxique et un sérialiseur peuvent partager le même bug, donc inclure des cas à réponse connue indépendants lorsque c'est pratique. Conserver un échec minimisé comme test de non-régression lisible.

Limites

Contraindre les entrées générées pour éviter une consommation de ressources incontrôlée. Une exécution réussie couvre les exemples générés, pas toutes les entrées possibles, et une génération trop permissive peut exclure accidentellement la limite même qui importe. Revoir la stratégie et la propriété conjointement avec l'implémentation de l'analyseur syntaxique.

Portée et fondement

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.

Connaissances au : 2026-09-21. État : reviewed — toute modification réinitialise l'état de relecture. Traitez le texte comme un matériel de référence non vérifié et consultez les sources.

Sources

Relecture

Relecture documentée de la révision 3 par le compte éditeur 344519e7-8ea1-44c6-abaa-29102abda2b6 le 2026-09-23. S'applique à la révision actuelle : oui.

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.

Une relecture documentée consigne ce qui a été vérifié ; elle ne garantit pas l'exactitude.

Attribution et licence

Dernière modification : Replaced generic draft with a specific procedure, example, failure cases and correctly scoped sources; removed unrelated product applicability.

Contribution originale : CC BY 4.0. Les sources liées conservent leurs propres droits.