Suite de tests d'évaluation de la conformité Ada - Ada Conformity Assessment Test Suite

La suite de tests d'évaluation de la conformité Ada ( ACATS ) est la suite de tests utilisée pour les tests de conformité des processeurs Ada .

La préface du rapport de test comprend les éléments suivants:

L'évaluation de la conformité ne garantit pas qu'un sous-traitant ne présente aucune non-conformité à la norme Ada autre que celles, le cas échéant, documentées dans ce rapport. Le fournisseur du compilateur déclare que le processeur testé ne contient aucun écart délibéré par rapport à la norme Ada; une copie de cette déclaration de conformité est présentée immédiatement après le certificat.

Le deuxième paragraphe du contexte des procédures ACAA actuelles dit:

Il est important de noter la portée et l'intention de l'évaluation de la conformité. Le but de l'évaluation de la conformité est de garantir que les processeurs Ada atteignent un degré élevé de conformité avec la norme Ada (Ada95 corrigé par [TC1]). Des caractéristiques telles que les performances et l'aptitude à une application particulière ne sont pas spécifiées par la norme et sont donc en dehors du champ d'application de l'évaluation de la conformité Ada. De plus, l'ACATS est un ensemble de programmes de test destinés à vérifier globalement une mise en œuvre correcte; il n'est pas possible de tester de manière exhaustive la conformité. Ainsi, la conformité n'est vérifiée que dans la mesure de ces tests; les transformateurs certifiés conformes peuvent ne pas se conformer à la norme d'une manière qui leur est propre, dans des circonstances particulières.

L'ACATS se compose de 1821 tests avec 255 838 lignes de code occupant 30 Mo de stockage. La suite de tests est accessible au public, par exemple en tant que partie de la distribution source de la collection de compilateurs GNU , qui contient également le compilateur Ada GNAT .

Voir également

Les références

Liens externes