Suíte Ada Conformidade Assessment Test - Ada Conformity Assessment Test Suite

O Ada Avaliação da Conformidade Test Suite ( ACATS ) é o conjunto de testes usado para Ada ensaios de conformidade processador.

O prefácio do relatório de teste inclui o seguinte:

Avaliação da conformidade não garante que um processador não tem não conformidades com a norma Ada que não os, se houver, documentados neste relatório. O compilador fornecedor declara que o processador testado contém nenhum desvio deliberada do padrão Ada; uma cópia deste Declaração de Conformidade é apresentado imediatamente após o certificado.

O segundo parágrafo do fundo dos atuais procedimentos ACAA diz:

É importante notar o escopo e intenção de avaliação da conformidade. O propósito da avaliação da conformidade é o de assegurar que os processadores de Ada atingir um elevado grau de conformidade com o padrão Ada (Ada95 como corrigida por [CT1]). Características, tais como o desempenho e adequação para uma aplicação particular, não são especificados pela norma, e, assim, estão fora do âmbito da avaliação da conformidade Ada. Além disso, a ACATS é um conjunto de programas de teste destinadas a verificar amplamente para a implementação correta; não é possível testar exaustivamente para conformidade. Assim, conforme é verificada apenas na medida destes testes; processadores que são certificadas como estando em conformidade podem deixar de estar de acordo com o padrão de formas peculiares a cada um, em circunstâncias especiais.

O ACATS consiste de 1821 testes com 255,838 linhas de código ocupando 30 MB de armazenamento. O conjunto de testes está disponível ao público, por exemplo, como parte da distribuição fonte do GNU Compiler Collection , que também contém o compilador Ada GNAT .

Veja também

Referências

links externos