Comment fonctionne le PBT
Un générateur PBT peut être appliqué en créant des centaines de reçus, chacun testé plusieurs fois pour mesurer la cohérence du modèle. C’est une façon de valider la stabilité d’un modèle. Ensuite, créez des milliers de variantes de chaque reçu qui ne changent pas la signification sous-jacente ; par exemple, réorganiser les lignes, reformater les montants ou modifier le nom du client. Si la même ligne est classée de deux manières pour des entrées qui signifient la même chose, au moins une est fausse et vous avez trouvé un défaut même si vous n’avez jamais appris quelle classification était correcte.
PBT prend en compte les entrées qui ont créé des défauts et exécute une recherche systématique appelée réduction. Il simplifie la saisie en supprimant les postes, en réduisant les montants et en raccourcissant les descriptions, puis réexécute le reçu simplifié et sa variante via l’assertion. Il ne conserve que les simplifications qui échouent encore en renvoyant des résultats différents, et répète le processus de réduction et d’affirmation jusqu’à ce qu’aucune simplification supplémentaire ne soit possible tout en échouant.
Ce qui revient, c’est la plus petite entrée qui casse encore. Un folio d’hôtel comportant plusieurs éléments de campagne peut être réduit à deux lignes : « Frais de la chambre 289,00 $ » et « Marketplace 97,63 $ ». La réorganisation de ces deux lignes fait basculer Marketplace de l’hôtel à l’épicerie, mettant en évidence le défaut. Le cas minimal vous indique où le modèle est instable ; ici, la catégorie d’une ligne dépend de ce qui la précède.
