AdaIC
Ada Information Clearinghouse
Compilers ^
Conformance Testing & Evaluation^
ACATS Test Modification List V 2.3E
ACATS Test Modification List
Version 2.3E
August 18, 2000

Changes from the last list:

Test C761010 was repaired so that the calls to Check_Equal in C761010_1.Var_Strings.Types do not fail because the access values passed in are necessarily different. Also, the renames as a main subprogram was replaced by a regular subprogram (as there is no requirement to support the renames.) Both versions of the test were repaired, and the effective dates moved back accordingly. 

Tests modified before April 1, 2000 are now required. 

New tests inserted between July 1, 2000 and October 1, 2000 will become required for conformity assessments on April 1, 2001. New tests inserted between April 1, 2000 and July 1, 2000 will become required for conformity assessments on January 1, 2001. New tests inserted between January 1, 2000 and April 1, 2000 will become required for conformity assessments on October 1, 2000. New tests inserted between October 1, 1999 and January 1, 2000 will become required for conformity assessments on July 1, 2000. New tests added to the ACATS before Janurary 1, 2000 are now required for conformity assessments. The effective dates of tests are marked in the lists. 

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

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 83 & Ada 95 standards are given in the format:

<section|chapter>.<clause>[.<subclause>]:<paragraph>

.These references are to the Ada 95 standard unless "Ada83" is specified. 

Main list:

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

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

B393007 [New] New VCS Label: A2_2G
   This test checks the rules in 3.9.3(10) and that an operation that
   must be overridden (as in 3.9.3(6)) cannot be renamed. 

B3A2016 [Pending New] New VCS Label: A2_3C
   Required after 2001-01-01
   This test checks that the rules in 3.10.2(2) are followed when
   resolving an access attribute.

C392010 [Allowed Modification] New VCS Label: A2_3D Org VCS Label: A2_3
   Required after 2001-01-01
   Removed call @429 as the interpretation of 3.9.2(18) is in doubt. 

C433001 [New] VCS Label: A2_2G
   This test checks that array aggregates with a dynamic applicable
   index constraint and an others choice allow other choices.

B731001 [New] VCS Label: A2_2E
   Check the requirements of 7.3.1 for inheritance of characteristics
   and primitive operations, including characteristics and operations
   that become available later in the declarative part.

C761010 [Allowed Modification] New VCS Label: A2_3E Org VCS Label: A2_3
   Required after 2000-01-01
   [A2_3B] Fixed discriminant value @170. Repaired comments and
   location of call to Report.Test.
   [A2_3E] Fixed call to Check_Equal to check contents of access objects.

C761010 [Pending New] New VCS Label: A2_3E
   Required after 2001-04-01
   Added subtest markers. Added uses of objects to prevent
   elimination of objects in test.
   [Note: This is an enhancement of an existing test; the
   existing test remains required for conformity assessment until
   this new test becomes effective.]

CB41002 [Pending New] New VCS Label: A2_3C
   Required after 2001-01-01
   Added test of Ada.Exceptions.Exception_Information.
   [Note: This is an enhancement of an existing test; the
   existing test remains required for conformity assessment until
   this new test becomes effective.]

CXB3015 [Modified]  VCS Label: A2_2J
   Modified the component of Array_of_Arrays to have static bounds.

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

[None] 

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

LXD7001 [Modified] VCS Label: A2_2J
   Revised file LXD70011 to insure that tasks activate after
   elaboration of their bodies.

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

[None] 

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

[None]

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

[None] 

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

[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/ - but note that this URL may change slightly in the future.

The complete set of official new and modified tests are available in the Mod_2_3D 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.

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 (AVF).

The baseline ACATS 2.3 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)

C392010 2001-01-01
C761010 2001-01-01
 
 
 

Modified Tests

(Refer to the main list for details)

CXB3015
LXD7001
 
 

New Tests

(Refer to the main list for details)

B393007
B731001
C433001
 
 

Pending New Tests

(Refer to the main list for details)

B3A2016 2001-01-01
C761010 2001-04-01
CB41002 2001-01-01
 

================