ACATS Test Modification List

Version 3.1A
April 1, 2014

What is this?

This the ACATS test modification list for ACATS 3.1. This document includes test corrections, test removals, and new tests for ACATS 3.1. ACATS 3.1 is the current test suite for the version of Ada that became current with the approval and publication of Amendment 1 by ISO as ISO/IEC 8652:1995/AMD 1:2007 (often known as "Ada 2005"). Tests for the third edition of Ada, ISO/IEC 8652:2012 (usually known as "Ada 2012") will be added to a separate version of the test suite (to be created in the near future).

ACATS Test Modification List version 2.6D for ACATS 2.6 is the current list for that test suite. ACATS 2.6 should be used for testing Ada 95 implementations, and will continue to be maintained as necessary for the foreseeable future.

Changes from the last list:

This is the first list for ACATS 3.1.

14 new tests issued too late to be included in ACATS 3.1 are carried over to this list: B730008, B730009, CXAI001, CXAI002, CXAI003, CXAI004, CXAI005, CXAI006, CXAIA01, CXAIA02, CXAIA03, CXAIA04, CXAIA05, CXAIA06, as well as the foundation for 6 of those tests, FXAIA00.

Previously new test BDD2004 is reissued with this list to correct errors.

New tests inserted between January 1, 2014 and March 31, 2014 will become required for conformity assessments on October 1, 2014. New tests inserted between October 1, 2013 and December 31, 2013 will become required for conformity assessments on July 1, 2014. All other tests previously inserted into ACATS 3.0 are part of ACATS 3.1 and are required for conformity assessment. The effective dates of tests are marked in the lists.

Questions about this document? Contact the ACAA Technical Agent at agent@ada-auth.org.

Ada 2012 compatibility:

This test suite is designed for Ada 2005. The soon-to-released ACATS 4.0 should be used to test Ada 2012 implementations. There are a significant number of tests in ACATS 3.1 that are incompatible with the requirements of Ada 2012.

Notice:

The ACAA has created and maintains the Ada Conformity Assessment Test Suite for the purpose of conformity assessments conducted in accordance with the International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language processor. This test suite should not be used to make claims of conformance unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.

List explanation:

Test numbers given are for the basic test. Categories are "Withdrawn" (the test should not be processed for Ada conformity assessments); "Allowed Modification" (either the original test or the modified one should be processed for Ada conformity assessments); "Modified" (the modified test must be processed for Ada conformity assessments); "Pending New" (the test does not need to be processed for Ada conformity assessments, but will be added in the future); "New" (the test is processed for Ada conformity assessments).

ACATS version labels are provided with all new and modified tests. Use this label to retrieve the test from the ACATS VCS. See "How to get new and modified tests".

In citations, line numbers are given relative to the start of a test file in the format of '@<line#,line#,...>'; if a test program comprises more than one file, then the particular file will be indicated by "fn", where "n" is the test-program name's file-designator numeral. E.g., "B38103E : @f1-31, ... " denotes test file b38103e1.ada. In cases where there are two or more rationales for different errors in a test program, these different rationales with their respective line citations are listed on separate lines. References to the Ada standards are given in the format:
   <section|chapter>.<clause>[.<subclause>]:<paragraph>
These references are to the consolidated Ada standard as available at http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TOC.html.

 

Main list:

===== Core Language =====

Name     Category  Version label  (effective date; old version label)
         Short description.

B730008 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check that a tagged partial view and its completion must have the
        same set of interfaces.

B730009 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check that a tagged partial view can be synchronized if and only
        if the completion is a synchronized type.

BDD2004 [Pending New] New VCS Label: A3_0R
                 Required after 2014-10-01
        Check that subprograms specified for stream attributes meet the
        requirements for such subprograms. This version corrects the
        location of 'Class @230, 235, 240.
        
CXAI001 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package Ada.Containers.Vectors.

CXAI002 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Doubly_Linked_Lists.

CXAI003 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Hashed_Maps.

CXAI004 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Ordered_Maps.

CXAI005 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Hashed_Sets.

CXAI006 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Ordered_Sets.

FXAIA00 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Foundation containing types and values to be used to check the
        functionality of the indefinite containers.

CXAIA01 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Vectors.

CXAIA02 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Doubly_Linked_Lists.

CXAIA03 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Hashed_Maps.

CXAIA04 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Ordered_Maps.

CXAIA05 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Hashed_Sets.

CXAIA06 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Ordered_Sets.

===== Annex C =====

[None.]

===== Annex D =====

[None.]


===== Annex E =====

[None.]

===== Annex F =====

[None.]

===== Annex G =====

[None.]

===== Annex H =====

[None.]

===== Support =====

[None.]


 

How to get new and modified tests:

The official home of the ACATS test suite is the ACAA web site. The site can be accessed from the Compilers and Conformance section of the Ada IC web site (www.adaic.org). It also can be accessed directly at www.ada-auth.org.

The complete set of official new and modified tests are available in the Mod_3_1A.Zip and Tar files on the ACAA web site.

Individual new and modified tests can be retrieved from the ACATS VCS. Simply navigate to the appropriate directory (folder), and select the test you want. Select the revision you want (usually the most recent) and it will be retrieved for you. Tests are stored in directories that correspond to the test's prefix. For instance, the test CD92001.A will be found in the CD directory. You can also browse the differences between versions of a test. [In case of a conflict, the files in the ACATS VCS should be considered the 'official' versions.]

If you cannot get the files from the official site or you cannot get the files in a format appropriate for your processor, please contact your ACAL.

The baseline ACATS 3.1 is available in various formats on the ACAA web site.

 

Summary lists:

Withdrawn Tests

(Refer to the main list for details)

None.

Allowed Modification Tests

(Refer to the main list for details)

None.

Modified Tests

(Refer to the main list for details)

None.

New Tests

(Refer to the main list for details)

None.

Pending New Tests

(Refer to the main list for details)

B730008	2014-07-01
B730009	2014-07-01
BDD2004	2014-10-01
CXAI001	2014-07-01
CXAI002	2014-07-01
CXAI003	2014-07-01
CXAI004	2014-07-01
CXAI005	2014-07-01
CXAI006	2014-07-01
CXAIA01	2014-07-01
CXAIA02	2014-07-01
CXAIA03	2014-07-01
CXAIA04	2014-07-01
CXAIA05	2014-07-01
CXAIA06	2014-07-01
FXAIA00	2014-07-01