Comment être sûr que c’est vraiment #

et sont écrits dans un langage de programmation lettrée appelé « Web » qui est conçu pour être portable sur une large gamme de systèmes informatiques. Comment, alors, une nouvelle version de est-elle validée ?

Bien sûr, tout programmeur de logiciel sensé aura sa propre batterie de tests pour vérifier que son logiciel fonctionne. Les personnes qui portent et assimilés sur d’autres plateformes suivent cette logique et effectuent de tels tests.

Donald Knuth, cependant, a fourni des « tests de conformité » (conformance tests) : trip (documenté ici) pour et trap (documenté ici) pour Il les désigne comme des tests de torture. De fait, ils ne sont pas conçus pour vérifier les choses évidentes qu’utilisent les documents typographiques ordinaires, ou les polices de caractères. Ces tests explorent plutôt les sentiers moins balisés du code de et ils sont, pour le lecteur occasionnel, assez incompréhensibles.

Une fois qu’une implémentation de a passé son test trip, ou qu’une implémentation de a passé son test trap, alors il peut en principe être distribué comme version de travail. Dans la pratique, des tests avec des documents classiques ou des polices sont aussi effectués.