La certification

Pour être commercialisés, les compilateurs Ada doivent être certifiés conformes à la norme très précise du langage. Il s'agit de s'assurer qu'en étant porté d'un système à un autre, un programme continuera de fonctionner de la même façon. Pour cela, un jeu de nombreux programmes d'essai sont traités par le compilateur vérifié et les résultats produits sont comparés à des éléments de référence. Au fil des années, le nombre des tests a augmenté pour envisager de plus en plus de cas particuliers et des situations plus complexes (déjà environ 3500 programmes au début 1988). Pour être complet, il est nécessaire de vérifier le comportement du compilateur aussi bien positivement que négativement : il faut confirmer que des programmes que l'on sait erronés provoqueront des messages signalant les problèmes. Le but n'est pas de mesurer les performances du compilateur mais seulement de s'assurer de sa conformité.

Comme en fait ce jeu de tests peut aussi servir pour la mise au point pendant le développement du compilateur lui-même, il serait intéressant d'étendre la méthode aux autres langages. Bien que ceux ci soient généralement définis moins rigoureusement qu'Ada, les différentes versions se référant à un standard ont tout de même une grande partie de leurs fonctionnalités en commun. Il pourrait donc y avoir des ensembles et sur-ensembles de programmes vérifiant de plus en plus finement la validité des compilateurs en fonction de leur proximité à une référence donnée. En fait, cela pourrait se faire entre langages différents, pour peu que l'on en choisisse qui aient des applications similaires et il est prévisible que plus leurs fonctionnalités seraient proches et plus le nombre de programmes (ou plutôt d'algorithmes) mis en commun serait important.