CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	1999/07/09 02:20:43	1.11
+++ acats/docs/mod_list.txt	1999/08/28 02:36:25	1.12
@@ -1,34 +1,36 @@
 ACATS Test Modification List
 
-Version 2.2C
-July 8, 1999
+Version 2.2D
+August 27, 1999
 
 
 Changes from the last list:
 
-Test CD30004 was extensively modified and two versions created. The subtest
-"Check_Record" checked an implementation advice paragraph. The second half of
-the objective is untestable, as it is impossible to know if an implementation is
-using levels of indirection internally. And the test required the "recommended
-level of support" ever for implementations not claiming Annex C support. The bad
-subtests were deleted, and failed messages removed for Annex_C = False to create
-a modified version. Finally, the last part of the first half of the objective
-was never checked. A subtest was added to check this; this version is treated as
-a new test.
-
-Test CA14028 is a modified, reinstated test. The original test (CA1020D) was
-withdrawn pending resolution of AI-00192, which now has been completed. (This
-test is treated as a new test.)
 
-Tests BA15002 and CA15003 were added to test the changes caused by AI-00136, and
-to check the rules of 10.1.5(4) and 10.1.5(5).
+BA15002 (a new test) was repaired to include missing with clauses in files 5 and
+7, and the missing body in file 9. This repair does not change its effective
+date.
+
+CA15003 (a new test) was repaired to fix two errors: a call to a non-existent
+subprogram, and a pair of incorrect type conversions. This repair does not
+change its effective date.
+
+FXC6A00 was repaired so that NonVolatile_Tagged was actually non-volatile. This
+forced a repair to BXC6A02 (which was changed in ACVC 2.1 to reflect the error
+in the foundation), and corrections to comments in BXC6A03. This repair was
+forced by an incomplete correction to BXC6A03. While making that repair as
+intended would have been easier, it weakened the test; changing the tests to
+match the original intent is a better repair.
+
+CXD6001 was repaired; the previous version was truncated.
+
+CXE4006 was corrected to avoid a race condition when the two partitions of the
+test start.
+
+CXH3001 and CXH3003 were corrected to avoid using a function of an uninitialized
+object as part of the pass/fail criteria. The result of operating on an
+uninitialized value is undefined by RM 13.9.1(9-11).
 
-Test CXB3010 was modified to add a test case to check that Function Value raises
-Constraint_Error when Length = 0, as specified by AI-00139.
-
-Tests CXE5002 and CXE5003 had their applicability criteria revised to require
-support for the recompilation of System.RPC (as required by AI-00082).
-
 Test modified before April 1, 1999 are now required.
 
 New tests inserted between July 1, 1999 and October 1, 1999 will become required
@@ -203,6 +205,16 @@
 
 ===== Annex C =====
 
+BXC6A02 [Allowed Modification] New VCS Label: A2_2D
+			Required after 2000-01-01 Org VCS Label: A2_2
+	The repair of FXC6A00 required that this test be reverted to its
+	original version, which is closer to the author's intent.
+
+BXC6A03 [Allowed Modification] New VCS Label: A2_2D
+			Required after 2000-01-01 Org VCS Label: A2_2
+	Test comments didn't reflect the actual errors. Note that the
+	repaired version of FXC6A00 is required for this test.
+
 CXC7001 [Modified] VCS Label: A2_2A
 	The routine TC_Match_States is not safe on a multi-processor
 	implementation.
@@ -215,6 +227,11 @@
 	The test may fail on an implementation that restricts attribute
 	size.
 
+FXC6A00 [Allowed Modification] New VCS Label: A2_2D
+			Required after 2000-01-01 Org VCS Label: A2_2
+	The NonVolatile_Tagged type inherits the volatile property from
+	its parent type.
+
 ===== Annex D =====
 
 BXD1001 [Modified] VCS Label: A2_2A
@@ -227,8 +244,11 @@
 CXD2004 [Modified] VCS Label: A2_2A
 	The Not_Applicable check for a multi-processor is missing.
 
-CXD6001 [Modified] VCS Label: A2_2A
+CXD6001 [Modified] VCS Label: A2_2D
+			Required after 2000-01-01 Org VCS Label: A2_2A
+	The previous version was truncated. (VCS label A2_2D)
 	The Not_Applicable check for a multi-processor is missing.
+	    (VCS Label A2_2A)
 
 ==== Annex E ====
 
@@ -240,6 +260,12 @@
 	The call @481 does not contain a classwide parameter, so it cannot
 	check E.4(18) as is intended.
 
+CXE4006 [Allowed Modification] New VCS Label: A2_2D
+			Required after 2000-01-01 Org VCS Label: A2_2
+	If partition B runs to completion before partition A finishes
+	elaboration, it is possible for Report.Result to be called before
+	Report.Test.
+
 CXE5002 Allowed Modification] New VCS Label: A2_2C
 		Required after 2000-01-01 Org VCS Label: A2_2A
 	An implementation must support the recompilation of the body
@@ -275,6 +301,16 @@
 
 ===== Annex H =====
 
+CXH3001 [Allowed Modification] New VCS Label: A2_2D
+			Required after 2000-01-01, Org VCS Label: A2_2
+	The value of A_Truth after the assignment @205 is undefined by
+	13.9.1(9-11).
+
+CXH3003 [Allowed Modification] New VCS Label: A2_2D
+			Required after 2000-01-01, Org VCS Label: A2_2
+	The value of A_Truth after the assignment @178 is undefined by
+	13.9.1(9-11).
+
 LXH4014 [Modified] VCS Label: A2_2A
 	Corrected errors in "Special Requirements" section.
 
@@ -288,7 +324,7 @@
 change in the future.
 
 The complete set of official new and modified tests are available in the
-Mod_2_2A Zip and Tar files on the ACAA web site.
+Mod_2_2D 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.
@@ -305,7 +341,6 @@
 
 Summary lists:
 
-
 Withdrawn Tests
 
 (Refer to the main list for details)
@@ -318,11 +353,18 @@
 
 (Refer to the main list for details)
 
+BXC6A02	2000-01-01
+BXC6A03	2000-01-01
 BXE2011	1999-10-01
 CD30004	2000-01-01
+CXD6001	2000-01-01
+CXE4006	2000-01-01
 CXE5002	2000-01-01
 CXE5003	2000-01-01
 CXG2016	1999-10-01
+CXH3001	2000-01-01
+CXH3003	2000-01-01
+FXC6A00	2000-01-01
 
 
 Modified Tests
@@ -350,7 +392,7 @@
 CXC7003
 CXD1006
 CXD2004
-CXD6001
+CXD6001 (VCS Label A2_2A)
 CXE4005
 CXE5002 (VCS Label A2_2A)
 CXG2014

Questions? Ask the ACAA Technical Agent