Table of Contents

1. Introduction
1.1 ACATS Purpose
1.2 ACATS Coverage of Ada

2. Changes for ACATS 3.0

3. Test Objectives and Coverage
3.1 Test Objectives and Rules
3.2 Coverage of the Ada Standard
3.2.1 Coverage Documents
3.2.2 General Coverage Guidelines
3.2.3 Coverage Guidelines for Specific Rule Categories

4. Configuration Information
4.1 Structure
4.1.1 Physical Organization
4.1.2 Logical Organization
4.1.3 Legacy Tests
4.1.4 Test Foundation Code
4.1.5 Special Core Tests
4.1.6 Foreign Language Code
4.2 Test Classes
4.2.1 Class A
4.2.2 Class B
4.2.3 Class C
4.2.4 Class D
4.2.5 Class E
4.2.6 Class L
4.2.7 Foundation Code
4.2.8 Specialized Needs Annex Tests
4.3 Naming Convention
4.3.1 Legacy Naming
4.3.2 Modern Naming
4.3.3 Multiple File Tests
4.4 Test Program Format
4.5 General Standards
4.6 Test Structure
4.7 Delivery Directory Structure
4.8 File Format

5. Using the ACATS
5.1 Installation of the ACATS Test Suite
5.1.1 Contents of the ACATS Delivery
5.1.2 Guide to Decompressing Files
5.1.2.1 Decompressing Zipped Files
5.1.2.2 Decompressing Unix Compress Files
5.1.3 Files With Non-Graphic Characters
5.1.3.1 A22006C
5.1.3.2 B25002A
5.1.3.3 B25002B
5.1.3.4 B26005A
5.2 Tailoring the ACATS Test Suite
5.2.1 ImpDef Customization
5.2.2 Macro Defs Customization
5.2.3 Packages SPPRT13 and FCNDECL
5.2.4 Modification of Package REPORT
5.2.5 Allowed Test Modifications
5.3 Processing the Support Files
5.3.1 Support Files
5.3.2 "CZ" Acceptance Tests
5.4 Establishing Command Scripts
5.4.1 Command Scripts
5.4.2 Dependencies
5.5 Processing ACATS Tests
5.5.1 Required Tests
5.5.2 Test Partitions
5.5.3 Bundling Test Programs
5.5.4 Processing that may be Omitted
5.5.5 Tests with Special Processing Requirements
5.5.5.1 Tests Involving Limited Views
5.5.5.2 Foreign Language Interface Tests
5.5.5.3 Tests for the Distributed Systems Annex
5.5.5.4 Tests for the Numerics Annex
5.5.5.5 Tests that use Configuration Pragmas
5.5.6 Focus on Specific Areas
5.6 Grading Test Results
5.6.1 Expected Results for Executable Tests
5.6.2 Expected Results for Class B Tests
5.6.3 Expected Results for Class L Tests
5.6.4 Inapplicable Tests
5.6.5 Withdrawn Tests
5.7 Addressing Problems or Issues
5.7.1 Typical Issues
5.7.2 Deviation from Expected Results - Petition & Review
5.8 Reprocessing and Regrading

A. Version Description
A.1 Core Test Files
A.2 Specialized Needs Annex Test Files
A.3 Foundation Code Files
A.4 Documentation Files
A.5 Other Files
A.5.1 List of ACATS 3.0 Files
A.5.2 Support Units Referenced by Many Tests
A.5.3 Preprocessing Tools and Data
A.5.4 Tests for Reporting Code
A.6 Tests With Special Requirements
A.7 Test Files Added Since ACATS 2.6
A.8 Documentation Files Added Since ACATS 2.6
A.9 Test Files Modified Since ACATS 2.6
A.10 Support Files Modified Since ACATS 2.6
A.11 Test Files Deleted Since ACATS 2.6
A.12 Other Files Deleted Since ACATS 2.6

B. Parameterization Files
B.1 Macro Substitution File
B.2 Macro Substitution Tests
B.3 Package ImpDef and Its Children

C. Results of CZ Tests
C.1 Sample Output From CZ0004
C.2 Sample Output From CZ1101A
C.3 Sample Output From CZ1102A
C.4 Sample Output From CZ1103A
C.4.1 Output When External Files Are Supported
C.4.2 Output When External Files Are Not Supported

D. Test Applicability Criteria
D.1 Compile-Time Inapplicability
D.1.1 Type Short_Integer
D.1.2 Type Long_Integer
D.1.3 Other Predefined Integer Types
D.1.4 Fixed Point Restrictions
D.1.5 Non-binary Values of 'Small
D.1.6 Compiler Rejection of Supposedly Static Expression
D.1.7 Machine Code Insertions
D.1.8 Illegal External File Names
D.1.9 Decimal Types
D.1.10 Instantiation of Sequential_IO with indefinite types
D.1.11 Special Handling Tests
D.2 Reported Inapplicability
D.2.1 Value of Machine_Overflows is False
D.2.2 System.Max_Digits
D.2.3 Floating Point Overflow
D.2.4 Type Duration
D.2.5 Text Files (Non-supported Features)
D.2.6 Text Files (Supported Features)
D.2.7 Sequential Files (Non-supported Features)
D.2.8 Sequential Files (Supported Features)
D.2.9 Direct Files (Non-supported Features)
D.2.10 Direct Files (Supported Features)
D.2.11 Stream Files (Non-supported Features)
D.2.12 Wide Text Files (Non-supported Features)
D.2.13 File I/O Tests
D.2.14 Memory for Allocated Objects
D.2.15 Task Attributes
D.2.16 Reserved Interrupts
D.2.17 Multiprocessor Systems
D.2.18 Non-binary Machine Radix

E. Guidelines for Test Development

F. Definitions