Resources for Ada

References

Ada Compiler Validation Capability (ACVC)

Compilers are said to be "validated" once they have passed the extensive test suite known as the Ada Compiler Validation Capability (ACVC).

During a transition period from January 1995, when the Ada 95 standard was approved, until March 1997 when the Ada 95 Ada Compiler Validation Capability (ACVC) version 2.1 is required for use, there will be two "current" test suites used for validation testing:

• ACVC 1.11 for Ada 83

• ACVC 2.0 for Ada 95 (available since February 6, 1995).

Compiler vendors may choose to get a certificate for either one. The ACVC 1.11 test suite will expire March 1997 and certificates will expire March 1998. The ACVC 2.0 test suite will expire March 1997 and certificates will expire March 1998.

The ACVC 2.0 test suite consists of three parts:

• First, there are 3034 tests called "9X Basic" which test the Ada 83 subset of Ada 95.

• Second, there are 394 "core" tests that test the new features of the core language including annexes A and B. During the transition period, passing these tests is not required for Ada 95 validations.

• Third, there are 40 tests that test features in the six annexes. These tests may be attempted by implementations that claim support for the respective annexes.

An additional 376 tests will be added to the core and annex categories in ACVC 2.1.

Page last modified: 1996-10-20