Ada Conformity Assessment Test Suite
Ada Conformity Assessment Test Suite ( ACATS ) är testsviten som används för Ada- processoröverensstämmelsetestning. En tidigare testsvit var känd som Ada Compiler Validation Capability ( ACVC ).
ACVC-eran
Testsviten Ada Compiler Validation Capability, vanligen kallad ACVC-testerna, var den ursprungliga testsviten som utvecklades för Ada-språket. ACVC-systemet organiserades under ledning av Ada Joint Program Office.
Testerna utvecklades av det amerikanska företaget SofTech med början omkring 1980. Testsviterna var modellerade efter ett VAX/VMS- system, som var den dominerande värdplattformen för sådana försvarsrelaterade applikationer vid den tiden. Några av testerna komponerades med hjälp av ortogonala latinska rutor som ett tillvägagångssätt för att få den mest effektiva täckningen av språkfunktionskombinationer utan att använda en uttömmande uppräkning av dem.
De individuella testfilerna baserades på det avsnitt i Ada-referensmanualen de pekade på, till exempel C45210A.ADA. Sviten inkluderade både positiva och negativa tester. Det fanns en organisation inrättad för att granska frågor som leverantörer ställde till om en viss aspekt av ett eller flera test var en korrekt återspegling av språkstandarden.
År 1985 utfärdades de första Ada-valideringscertifikaten. På höjden av språkets användning, vilket motsvarade åren 1985 till 1993, fanns det fem Ada-valideringsanläggningar runt om i världen som kunde behandla leverantörers ACVC-inlämningar: Språkkontrollanläggningen vid Wright Patterson Air Force Base (USA), National Bureau of Standards (USA, snart omdöpt till National Institute of Standards), National Computing Center (Storbritannien), AFNOR (Frankrike) och IABG (Tyskland). Men när Ada-användningen för försvar eller liknande applikationer började minska, minskade antalet valideringskontrakt också, och flera av dessa anläggningar blev inoperativa eller överförde sina ansvarsområden.
Ada Compiler Validation Capability upphörde med stängningen av Ada Joint Program Office 1998. Ada kompilatorleverantörer ville fortfarande ha en valideringsmekanism, så ett nytt valideringssystem utarbetades för att ersätta den, Ada Conformity Assessment Test Suite.
ACATs era
Förordet till testrapporten innehåller följande:
- Överensstämmelsebedömning säkerställer inte att en processor inte har några avvikelser från Ada-standarden förutom de, om några, dokumenterade i denna rapport. Kompilatorleverantören förklarar att den testade processorn inte innehåller några avsiktliga avvikelser från Ada-standarden; en kopia av denna försäkran om överensstämmelse visas omedelbart efter certifikatet.
Det andra stycket i bakgrunden till de nuvarande ACAA-förfarandena säger:
- Det är viktigt att notera omfattningen och syftet med bedömningen av överensstämmelse. Syftet med överensstämmelsebedömning är att säkerställa att Ada-processorer uppnår en hög grad av överensstämmelse med Ada-standarden (Ada95 som korrigerats av [TC1]). Egenskaper som prestanda och lämplighet för en viss applikation specificeras inte av standarden och ligger därför utanför omfattningen av Ada-överensstämmelsebedömning. Dessutom är ACATS en uppsättning testprogram avsedda att kontrollera brett för korrekt implementering; det är inte möjligt att uttömmande testa för överensstämmelse. Följaktligen kontrolleras överensstämmelse endast i den utsträckning som dessa tester; processorer som är certifierade som överensstämmande kan under särskilda omständigheter misslyckas med att uppfylla standarden på ett sätt som är speciellt för var och en.
ACATS består av 1821 tester med 255 838 rader kod som upptar 30 MB lagringsutrymme. Testsviten är allmänt tillgänglig, till exempel som en del av källdistributionen av GNU Compiler Collection , som också innehåller Ada-kompilatorn GNAT .
Se även
externa länkar