Como funciona o PBT
Um gerador PBT pode ser aplicado criando centenas de recibos, cada um testado diversas vezes para medir quando o modelo é consistente. Esta é uma forma de validar a estabilidade de um modelo. Em seguida, crie milhares de variantes de cada recibo que não alterem o significado subjacente; por exemplo, reordenar as linhas, reformatar os valores ou alterar o nome do convidado. Se a mesma linha for classificada de duas maneiras para entradas que significam a mesma coisa, pelo menos uma está errada e você encontrou um defeito, embora nunca tenha aprendido qual classificação estava correta.
O PBT pega as entradas que criaram defeitos e executa uma pesquisa sistemática chamada redução. Ele simplifica a entrada eliminando itens de linha, reduzindo valores e encurtando descrições e, em seguida, executa novamente o recebimento simplificado e sua variante por meio da asserção. Ele mantém apenas simplificações que ainda falham, retornando resultados diferentes, e repete o processo de redução e afirmação até que nenhuma simplificação adicional seja possível enquanto ainda falha.
O que volta é a menor entrada que ainda quebra. Um fólio de hotel com vários itens de linha pode ser reduzido para duas linhas: “Taxa de quarto $ 289,00” e “Marketplace $ 97,63”. Reordenar essas duas linhas faz com que o Marketplace passe do hotel para o supermercado, destacando o defeito. O caso mínimo informa onde o modelo é instável; aqui, a categoria de uma linha depende do que a precede.
