CVS difference for acats/docs/mod_list.txt

Differences between 1.50 and version 1.51
Log of other versions for file acats/docs/mod_list.txt

--- acats/docs/mod_list.txt	2007/05/05 01:53:46	1.50
+++ acats/docs/mod_list.txt	2007/12/30 03:27:38	1.51
@@ -1,30 +1,43 @@
-ACATS Test Modification List
+ACATS Test Modification List for ACATS 3.0
+Version 3.0A
+December 28, 2007
+
+
+What is this?
+
+This the ACATS test modification list for ACATS 3.0. This document includes
+test corrections, test removals, and new tests for ACATS 3.0. ACATS 3.0 is the
+test suite for the current version of Ada (often known as "Ada 2005") that
+became current with the approval and publication of Amendment 1 by ISO as
+ISO/IEC 8652:1995/AMD 1:2007.
+
+ACATS Test Modification List version 2.6C for ACATS 2.6 remains current 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.
 
-Version 2.6B
-March 30, 2007
-
-
 Changes from the last list:
-
-CB41004 was corrected to be compatible with the Binding Interpretation AI-446.
 
-CXC7001 was corrected as the checks were backwards.
+This is the initial list for ACATS 3.0. It is empty, and primarily exists to
+hold the space for future lists.
 
-Many of the tests in ACATS 2.6 are incompatible with Ada 2005. ACATS 2.6 is
-intended for testing Ada 95 compatibility only; use a development version of
-ACATS 3.0 for testing Ada 2005.
-
-No further new tests are expected for version 2 of the ACATS test suite (future
-development will be done on the Ada 2005 version, which will be version 3.0 of
-the ACATS test suite). New tests inserted (or corrected) between January 1,
-2007 and April 1, 2007 will become required for conformity assessments on
-October 1, 2007. New tests added to the ACATS before October 1, 2006 are now
-required for conformity assessments. The effective dates of tests are marked in
-the lists.
+New tests that originated in the ACATS 3.0 release are required for conformity
+assessments using ACATS 3.0. New tests inserted between April 1, 2008 and July
+1, 2008 will become required for conformity assessments on January 1, 2009. New
+tests inserted between January 1, 2008 and April 1, 2008 will become required
+for conformity assessments on October 1, 2008. The effective dates of tests are
+marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
 
+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
@@ -46,11 +59,12 @@
 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:
+standards are given in the format:
 
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
-These references are to the Ada 95 standard unless "Ada83" is specified.
+These references are to the consolidated Ada standard as available at
+http://www.adaic.com/standards/05rm/html/RM-TOC.html.
 
 
 
@@ -62,27 +76,11 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-C460013 [Pending New] New VCS Label: A2_6A
-			Required after 2007-10-01
-	Check that null excluding subtypes do not allow null values:
-	access parameters. Includes a check for the not null syntax
-	as required in Ada 95 by AI-447.
-
-CB41004 [Allowed Modification] New VCS Label: A2_6B Org VCS Label: A2_6A
-			Required after 2007-07-01
-	Test case @99-107 should allow Constraint_Error to be raised, as
-	per the Binding Interpretation AI-446.
-
-CXAC005 [Allowed Modification] New VCS Label: A2_6A Org VCS Label: A2_5
-			Required after 2007-07-01
-	The function @114-7 may raise Program_Error for some
-	implementations of Stream_IO.File_Type.
+[None.]
 
 ===== Annex C =====
 
-CXC7001 [Allowed Modification] New VCS Label: A2_6B Org VCS Label: A2_6A
-			Required after 2007-07-01
-	Checks at @165 and @177 are backwards.
+[None.]
 
 ===== Annex D =====
 
@@ -90,9 +88,7 @@
 
 ===== Annex E =====
 
-CXD8002 [Allowed Modification] New VCS Label: A2_6A Org VCS Label: A2_5
-			Required after 2007-07-01
-	Package Ada.Finalization @140 is not a "normal" package.
+[None.]
 
 ===== Annex F =====
 
@@ -117,7 +113,8 @@
 (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_2_6B.Zip and Tar files on the ACAA web site.
+Mod_3_0A.Zip and Tar files on the ACAA web site. (These files are empty! There
+is no need to download them.)
 
 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.
@@ -130,7 +127,7 @@
 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 2.6 is available in various formats on the ACAA web site.
+The baseline ACATS 3.0 is available in various formats on the ACAA web site.
 
 
 Summary lists:
@@ -147,9 +144,7 @@
 
 (Refer to the main list for details)
 
-CB41004	2007-07-01
-CXAC005	2007-07-01
-BXE2009	2007-07-01
+[None.]
 
 
 Modified Tests
@@ -170,6 +165,5 @@
 
 (Refer to the main list for details)
 
-C460013	2007-10-01
-
+[None.]
 

Questions? Ask the ACAA Technical Agent