Index

A
ACAA
   See Ada Conformity Assessment Authority

ACAL
   See Ada Conformity Assessment Laboratory

ACATR
   See Ada Conformity Assessment Test Report

ACATS
   See Ada Conformity Assessment Test Suite

ACATS Modification List   5.1.1, F

acceptable result   F

ACVC
   See Ada Compiler Validation Capability (ACVC)

ACVC Implementer's Guide   4.3.1, F

Ada   1, F

Ada Compiler Validation Capability   1

Ada Conformity Assessment Authority   1, F

Ada Conformity Assessment Laboratory   1, F

Ada Conformity Assessment Test Report   5.4.1, F

Ada Conformity Assessment Test Suite   1

Ada implementation   1, F

Ada Joint Program Office   1, F

Ada programming language   1, F

Ada Resource Association   1, F

Ada Standard documents   1.1, F

Ada Validation Facility   1, F

Ada Validation Organization   1, F

AIG
   See ACVC Implementer's Guide

AJPO
   See Ada Joint Program Office

AML   5.1.1
   See also ACATS Modification List

ARA
   See Ada Resource Association

AVF
   See Ada Validation Facility

AVO
   See Ada Validation Organization

B

batch file   5.4.1

C

certification body   F

certified processors list   F

challenge   F

command script   5.4.1

complete coverage   1.2

conforming implementation   F

core language   5.5.1, F

coverage documents   F

CPL
   See certified processors list

D

deviation   F

F

foundation code   4.1.4, F

I

implementation-dependent values   B

inapplicable test   5.6.4

L

legacy tests   4.1.3, F

M

macro substitition   B

macro substitution   5.2.2

modern tests   4.1.3, F

P

processing
   foreign language tests   5.5.4
   inapplicable tests   5.5.1
   SNA tests   5.5.4
   special handling tests   5.5.5
   withdrawn tests   5.5.1

R

rule
   Ada language   3.1

S

SNA
   See specialized needs annex, specialized needs annex

special handling test   5.5.5

specialized needs annex   F

support files   5.3.1

T

test
   allowed modification AML classification   5.2.5
   inapplicable   5.6.4
   modified AML classification   5.2.5
   new AML classification   5.5.4
   pending new AML classification   5.5.4
   special handling   5.5.5
   withdrawn   5.6.5

test objective   3, F

test objectives document   3, F

V

validated compilers list   F

validated implementation   F

validation   F

VCL
   See validated compilers list

W

withdrawn test   5.6.5, F

witness testing   F