Conjunto de pruebas de evaluación de conformidad ADA

El conjunto de pruebas de evaluación de conformidad de Ada ( ACATS ) es el conjunto de pruebas utilizado para la verificación de la conformidad del procesador Ada . Un conjunto de pruebas anterior se conocía como la capacidad de validación del compilador Ada ( ACVC ).

El conjunto de pruebas de capacidad de validación del compilador Ada, conocido comúnmente como pruebas ACVC, ^{[ 1 ]} fue el conjunto de pruebas original desarrollado para el lenguaje Ada. El sistema ACVC se organizó bajo los auspicios de la Oficina del Programa Conjunto de Ada. ^{[ 2 ]}

Las pruebas fueron desarrolladas por la empresa estadounidense SofTech , a partir de 1980 aproximadamente. ^{[ 1 ]} Los conjuntos de pruebas se basaron en un sistema VAX/VMS , ^{[ 3 ]} que era la plataforma dominante para este tipo de aplicaciones relacionadas con la defensa en aquel entonces. Algunas de las pruebas se compusieron utilizando cuadrados latinos ortogonales como método para obtener la cobertura más eficaz de combinaciones de características lingüísticas sin emplear una enumeración exhaustiva de las mismas. ^{[ 1 ]}

Los archivos de prueba individuales se basaban en la sección del manual de referencia de Ada a la que apuntaban, por ejemplo, C45210A.ADA. ^{[ 1 ]} El conjunto incluía pruebas positivas y negativas. ^{[ 4 ]} Se creó una organización para revisar las consultas que los proveedores planteaban sobre si un determinado aspecto de una o más pruebas reflejaba con precisión el estándar del lenguaje. ^{[ 2 ]}

En 1985 se emitieron los primeros certificados de validación de Ada. ^{[ 2 ]} En el apogeo del uso del lenguaje, que correspondió a los años 1985 a 1993, existían cinco centros de validación de Ada en todo el mundo que podían procesar las presentaciones ACVC de los proveedores: el Centro de Control de Lenguaje en la Base de la Fuerza Aérea Wright-Patterson (Estados Unidos), la Oficina Nacional de Estándares (Estados Unidos, que pronto pasó a llamarse Instituto Nacional de Estándares), el Centro Nacional de Computación (Reino Unido), AFNOR (Francia) e IABG (Alemania). ^{[ 2 ]} Sin embargo, una vez que el uso de Ada para defensa o aplicaciones similares comenzó a disminuir, el número de contratos de validación también se redujo, y varios de estos centros quedaron inoperativos o transfirieron sus responsabilidades. ^{[ 4 ]}

La capacidad de validación del compilador Ada llegó a su fin con el cierre de la Oficina del Programa Conjunto Ada en 1998. ^{[ 2 ]} Sin embargo, los proveedores de compiladores Ada aún deseaban un mecanismo de validación, por lo que se ideó un nuevo sistema de validación para reemplazarlo: el conjunto de pruebas de evaluación de conformidad Ada. ^{[ 2 ]}

El prefacio del informe de prueba incluye lo siguiente:

La evaluación de conformidad no garantiza que un procesador no presente incumplimientos del estándar Ada, salvo aquellos, si los hubiere, documentados en este informe. El proveedor del compilador declara que el procesador probado no contiene ninguna desviación deliberada del estándar Ada; se entrega una copia de esta Declaración de Conformidad inmediatamente después del certificado.

El segundo párrafo de los antecedentes de los procedimientos actuales de la ACAA dice:

Es importante tener en cuenta el alcance y la finalidad de la evaluación de conformidad. El objetivo de dicha evaluación es garantizar que los procesadores Ada alcancen un alto grado de conformidad con el estándar Ada (Ada95, corregido por [TC1]). Características como el rendimiento y la idoneidad para una aplicación específica no están especificadas en el estándar y, por lo tanto, quedan fuera del alcance de la evaluación de conformidad de Ada. Además, el ACATS es un conjunto de programas de prueba diseñados para verificar de forma general la correcta implementación; no es posible realizar pruebas exhaustivas de conformidad. Por consiguiente, la conformidad se verifica únicamente en la medida en que lo permitan estas pruebas; los procesadores certificados como conformes pueden no cumplir con el estándar de maneras particulares, según las circunstancias.

El conjunto de pruebas ACATS consta de 1821 pruebas con 255 838 líneas de código que ocupan 30 MB de almacenamiento. Este conjunto de pruebas está disponible públicamente, por ejemplo, como parte de la distribución del código fuente de la Colección de Compiladores GNU , que también incluye el compilador Ada GNAT .

• Ada (lenguaje de programación)
• Evaluación de la conformidad
• Norma técnica

• ISO/IEC 18009:1999 Tecnología de la información — Lenguajes de programación — Ada: Evaluación de la conformidad de un procesador de lenguaje (ACATS)

• Sitio web oficial