KEY FOR TEST PROFILES:
P= PASSED
N/A= NOT APPLICABLE
N/S= NOT SUPPORTED
W= WITHDRAWN
Compiler Vendor: Intermetrics, Inc.
Address: 733 Concord Avenue
City: Cambridge
State: MA
Zip Code: 02138-1002
Contact Name: Mike Ryer
Phone: (617) 661-1840
E-mail: ryer@inmet.com
Compiler Vendor: Intermetrics, Inc.
Compiler Type: Base
Validation Certificate #: 951017W2.0-001
Compiler Name: AdaMagic, Version 2.0
Host: SPARCstation 5 (under SunOS 4.1.4)
Target: Raytheon Extended Weapons Control
Computer (EWCC) (bare machine)
Test Profile for Ada 95 Test Categories:
Ada 9X Basic- P: 2472 N/A: 286 N/S: 0 W: 197
Real-Time- P: 48 N/A: 0 N/S: 0 W: 3
OOP- P: 40 N/A: 0 N/S: 0 W: 15
Type Extensions in Child Units- P: 27 N/A: 0 N/S: 0 W: 8
Child Library Units- P: 29 N/A: 0 N/S: 0 W: 8
Pre-defined Language Environments- P: 10 N/A: 0 N/S: 0 W: 17
Mixed Features- P: 123 N/A: 24 N/S: 0 W: 42
Test Profile for Specialized Needs Annexes:
C: System Programming- P: 4 N/A: 0 N/S: 0 W: 3
D: Real-Time Systems- P: 19 N/A: 1 N/S: 0 W: 11
E: Distributed Systems- P: 0 N/A: 0 N/S: 7 W: 1
F: Information Systems- P: 0 N/A: 0 N/S: 2 W: 4
G: Numerics- P: 0 N/A: 0 N/S: 1 W: 4
H: Safety and Security- P: 0 N/A: 0 N/S: 0 W: 0
Exhibit A: Core Ada 95 Test Categories and Definitions
-Ada 9X Basic: This is the subset of tests from ACVC 1.11 after removal of tests not applicable to Ada 95. These tests focus on support expected from Ada for features of Ada 83 that have been updated to be compatible with revised rules. (Note: The following subsets of tests validate features that are new to Ada 95. Each test has been allocated into exactly one of several test subsets, based upon a general categorization of Ada features used in the test. These tests are designed to reflect the features that programmers are likely to use to solve a programming problem.) -Real-Time: This subset is composed of tests for the new Ada 95 features from Section 9: Tasks and Synchronization. These features include protected objects, modifications to task types, select statements, and delay alternatives. -OOP: This subset of tests focuses on some necessary facilities for achieving object-oriented programming in Ada 95. Features validated include tagged types, class attributes, and abstract types and subprograms. Other Ada 95 facilities commonly used in object-oriented programs are included in subsequent subsets. -Type Extensions in Child Units: Tests that focus on the interaction of the two new Ada features of type extensions of tagged types and child library units. This includes the related semantics of visibility, accessibility, and calls on primitive operations of tagged types. -Child Library Units: Tests that focus on the support for the new Ada capability to provide a hierarchical organization of the compilation units of an Ada program with the associated capabilities of granting access to the contents of private declarations and of hiding selected units within subsystems. -Pre-defined Language Environment: This subset of tests include some Ada 83 facilities and some new features defined in Annex A. Annex A provides specifications for root library units for Ada, Interface, and System, character and string handling and input/output. -Mixed Features: This relatively large subset of tests focuses on the interaction of Ada features that are a mixture of familiar Ada 83 and new Ada 95 features.Validation by AVF Testing
In order to obtain a validation certificate, the following six steps must be completed by the customer and the Ada certification body: 1. A formal validation agreement between the customer and an AVF is required in order to obtain validation services. 2. Pre-validation, consisting of customer testing, submission of results to the AVF, and resolution of any test issues (e.g., a missing or incomplete result to a test) must precede the actual validation. 3. Validation testing will be performed by an AVF at a site mutually agreed upon by the customer and the AVF (usually the customer's site). 4. A Declaration of Conformance must then be completed and signed by the customer no later than at the time of validation testing. 5. A Validation Summary Report (VSR) will be prepared by the AVF to document the validation. 6. A Validation Certificate (VC) will then be issued to the customer by the authority of the AJPO for a successfully tested Ada implementation. -Key to Validation Certificate (VC) Number: YYMMDDFX.XX-NNN For the certificate number above, YYMMDD marks the date (Year-Month-Day) of completion of on-site testing. F refers to the Ada Validation Facility. X.X or X.XX is the ACVC version. NNN is a unique sequence of numbers assigned by the Ada Validation Organization. For complete information on the validation process and on validation by registration for Ada 95 compilers, refer to the latest version of the Ada Compiler Validation Procedures, Version 4.0. Electronic copies of the Validation Procedures are available in ASCII format on the AdaIC's Internet host computer by following the path ../AdaIC/compilers/83val or 95val/val-proc.txt. [For instructions on accessing the AdaIC's Internet host, refer to the section of this document labeled Accessing Validation Information.]