CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2003/05/22 02:48:31	1.39
+++ acats/docs/mod_list.txt	2003/07/15 01:16:28	1.40
@@ -1,39 +1,37 @@
 ACATS Test Modification List
 
-Version 2.5F
-May 21, 2003
+Version 2.5G
+July 14, 2003
 
 
 Changes from the last list:
 
-The new test BDE0009 contained an error in package P10: Rec1'Read is implicitly
-called, not Rec1'Input. However, it is possible to construct both cases
-(implicit calls of 'Read and 'Input), so P10 was corrected and P12 was added to
-show the second case.
-
-The corrected BXH4003 contained an unintentional error: the parameter name of
-BXH4003_2.Is_Default is the same as the type. This has been corrected.
-
-The tests C45624A and C45624B have an incorrect objective; the correct
-objective "Check whether Constraint_Error is raised..." is a "capacity test"
-which in very unlikely to change the result of conformity testing. Thus, the
-tests where withdrawn.
-
-The new test C456001 was created out of C45622A and the useful part of C45624A.
-This test will replace C45622A, and C45622A will be withdrawn when this test
-becomes effective.
+Another quarter has passed; a number of tests have changed statuses. See the
+lists for details.
 
+Test BDE0009 has test cases that assumed that 7.6(17.1/1) was ignored for the
+purposes of freezing. However, 7.6(17.1/1) is an implementation requirement
+whose entire purpose is to insure that Adjust is never called. It would be very
+odd to insist that Adjust is frozen where it is not called. Additional cases
+were developed for to support this. However, these test cases essentially are
+checking that an implementation supports raising Program_Error rather than
+giving a freezing error -- which is hardly valuable to the user. Thus these
+test cases were removed from the test as asking vendors to make the
+implementation effort required could not be justified.
+
+Additional errors were noted in test BXH4003, which have been corrected.
+
 The ACAA would like to remind ACATS users that a base test suite update is not
 planned for 2003. There has been insufficient change to the test suite to
 justify the expense of developing a new baseline. The ACAA will give 90 days
 notice of a new baseline test suite, as required by the ACAA procedures.
 
-New tests inserted between April 1, 2003 and July 1, 2003 will become required
-for conformity assessments on January 1, 2004. New tests inserted between
-January 1, 2003 and April 1, 2003 will become required for conformity
-assessments on October 1, 2003. New tests inserted between July 1, 2002 and
-October 1, 2002 will become required for conformity assessments on April 1,
-2003. New tests added to the ACATS before October 1, 2002 are now required for
+New tests inserted between July 1, 2003 and October 1, 2003 will become
+required for conformity assessments on April 1, 2004. New tests inserted
+between April 1, 2003 and July 1, 2003 will become required for conformity
+assessments on January 1, 2004. New tests inserted between January 1, 2003 and
+April 1, 2003 will become required for conformity assessments on October 1,
+2003. New tests added to the ACATS before January 1, 2003 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
@@ -76,24 +74,19 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-B34005Q [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
-			Required after 2003-07-01
+B34005Q [Modified] VCS Label: A2_5D
 	Type conversions @141, 142 are illegal by AI-246.
 
-B34005T [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
-			Required after 2003-07-01
+B34005T [Modified] VCS Label: A2_5D
 	Type conversions @152, 153 are illegal by AI-246.
 
-C34005P [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
-			Required after 2003-07-01
+C34005P [Modified] VCS Label: A2_5D
 	Type conversions @282, 286, 291 are illegal by AI-246.
 
-C34005V [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
-			Required after 2003-07-01
+C34005V [Modified] VCS Label: A2_5D
 	Type conversions @388, 391, 392 are illegal by AI-246.
 
-B36201A [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
-			Required after 2003-07-01
+B36201A [Modified] VCS Label: A2_5D
 	The Base attribute @70, 71, 72, 81 is illegal (the prefix is not
 	scalar), and thus cases do not check the test objective.
 
@@ -173,12 +166,10 @@
 	if it occurs before the subprogram is frozen. (Technical
 	Corrigendum 1, 8.5.4(5/1)).
 
-C940004 [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
-			Required after 2003-07-01
+C940004 [Modified] VCS Label: A2_5D
 	Task3 can legally be queued before Task2, leading to test failure.
 
-C954012 [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5
-			Required after 2003-07-01
+C954012 [Modified] VCS Label: A2_5D
 	If all of the tasks have been processed through Distributor.Input
 	before Credit_Overload.Set_True, the guard is never re-evaluated
 	and the tasks queued on Wait_for_Underload are never processed.
@@ -229,8 +220,7 @@
 	representation items are not. Corrigendum 7.3(5), 13.1(10),
 	13.1(11/1).
 
-CD10002 [Allowed Modification] New VCS Label: A2_5D Org VCS Label: A2_5A
-			Required after: 2003-07-01
+CD10002 [Modified] VCS Label: A2_5D
 	Type derivations @465-6 are not indirect as commented.
 
 CD72A02 [Modified] VCS Label: A2_5A
@@ -264,14 +254,17 @@
 FDD2A00 [New] New VCS Label: A2_5A
 	Foundation for stream attribute tests.
 
-BDE0009 [Pending New] New VCS Label: A2_5F
-			Required after 2004-01-01
-	[A2_5D] Check that implicit calls are freezing.
-	[A2_5F] Added a test case for implicit calls of 'Read.
+BDE0009 [Pending New] New VCS Label: A2_5G
+			Required after 2004-04-01
+	Check that implicit calls are freezing [VCS Label A2_5D].
+	Added a test case for implicit calls of 'Read [VCS Label A2_5F].
+	Added test cases and modified others to reflect 7.6(17.1/1). Then,
+Commented out these cases as having no real value to users.
+	    [VCS Label A2_5G]
 
 BDE0010 [Pending New] New VCS Label: A2_5C
 			Required after 2003-10-01
-	Check that implicit_derefences, object names, and implicit
+	Check that implicit_dereferences, object names, and implicit
 	conversions are freezing.
 
 ===== Annex C =====
@@ -299,12 +292,14 @@
 
 ===== Annex H =====
 
-BXH4003 [Allowed Modification] New VCS Label: A2_5F Org VCS Label: A2_5A
+BXH4003 [Allowed Modification] New VCS Label: A2_5G Org VCS Label: A2_5A
 			Required after: 2003-10-01
 	The instantiations @158, 167, 187, 197 are not necessarily illegal
 	by H.4(8/1) [VCS Label A2_5D].
 	The parameter name and type name @125 are the same.
 	[VCS Label A2_5F]
+	The parameter name @126 is misspelled; unit BXH4003_3 @171 doesn't
+	exist; EIO @209 is undefined. [VCS Label A2_5G]
 
 
 
@@ -317,7 +312,7 @@
 (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_5F Zip and Tar files on the ACAA web site.
+Mod_2_5G 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.
@@ -348,15 +343,7 @@
 
 (Refer to the main list for details)
 
-B34005Q	2003-07-01
-B34005V	2003-07-01
-B36201A	2003-07-01
 BXH4003	2003-10-01
-C34005P	2003-07-01
-C34005V	2003-07-01
-C940004	2003-07-01
-C954012	2003-07-01
-CD10002	2003-07-01
 CXG2018	2003-10-01
 LA20001	2003-10-01
 LC30001	2003-10-01
@@ -368,13 +355,21 @@
 
 (Refer to the main list for details)
 
+B34005Q
+B34005V
+B36201A
 B3A2009
 BC3009C
+C34005P
+C34005V
 C390010
 C3A2003
 C460002
 C761010
 C854002
+C940004
+C954012
+CD10002
 CD72A02
 
 
@@ -406,7 +401,7 @@
 
 (Refer to the main list for details)
 
-BDE0009	2004-01-01
+BDE0009	2004-04-01
 BDE0010	2003-10-01
 C456001	2004-01-01
 

Questions? Ask the ACAA Technical Agent