ACATS 4.1 User's Guide
Title Page
Contents   Index   References 

Table of Contents

1. Introduction
1.1 ACATS Purpose
1.2 ACATS Coverage of Ada
2. Changes for ACATS 4.1
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 Decompressing Zipped Files Decompressing Unix Compress Files
5.1.3 Files With Non-Graphic Characters A22006C B25002A B25002B 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 Tests Involving Limited Views Foreign Language Interface Tests Tests for the Distributed Systems Annex Tests for the Numerics Annex 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
6. ACATS Grading using the Grading Tool
6.1 Using the Grading Tool
6.1.1 Workflow using the Grading Tool
6.1.2 Annotated Grading Tool Example
6.1.3 Compiling the Grading Tool and the Test Summary Tool
6.1.4 Grading Tool Reference
6.1.5 Test Summary Tool Reference
6.2 Event Trace Files
6.2.1 Event Trace File Reference
6.2.2 Creating an Event Trace directly by the implementation
6.2.3 Creating an Event Trace from Listings
6.3 Test Summary Files
6.3.1 Test Summary File Reference
6.3.2 Range Indicators
6.4 Manual Grading Request Files
6.5 CSV File Reference
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 4.1 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.5.5 Test Grading Tools
A.6 Tests With Special Requirements
A.7 Test Files Added Since ACATS 4.0
A.8 Documentation Files Added Since ACATS 4.0
A.9 Support Files Added Since ACATS 4.0
A.10 Test Files Modified Since ACATS 4.0
A.11 Support Files Modified Since ACATS 4.0
A.12 Documentation Files Modified Since ACATS 4.0
A.13 Test Files Deleted Since ACATS 4.0
A.14 Documentation Files Deleted Since ACATS 4.0
A.15 Support Files Deleted Since ACATS 4.0
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 Package Ada.Directories.Hierarchical_File_Names
D.1.12 Convention C
D.1.13 Convention COBOL
D.1.14 Convention Fortran
D.1.15 Package Interfaces.C
D.1.16 Package Interfaces.C.Strings
D.1.17 Package Interfaces.C.Pointers
D.1.18 Package Interfaces.COBOL
D.1.19 Package Interfaces.Fortran
D.1.20 Unchecked Unions
D.1.21 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 Wide Wide Text Files (Non-supported Features)
D.2.14 Directory Operations (Non-supported Features)
D.2.15 File I/O Tests
D.2.16 Memory for Allocated Objects
D.2.17 Environment Variables
D.2.18 Task Attributes
D.2.19 Reserved Interrupts
D.2.20 Multiprocessor Systems
D.2.21 Non-binary Machine Radix
E. Guidelines for Test Development
F. Definitions

Contents   Index   References