CVS difference for ais/ai-00104.txt

Differences between 1.7 and version 1.8
Log of other versions for file ais/ai-00104.txt

--- ais/ai-00104.txt	2000/08/01 05:39:32	1.7
+++ ais/ai-00104.txt	2001/03/22 22:24:52	1.8
@@ -186,10 +186,26 @@
 
 !ACATS test
 
-A useful test of these attributes is difficult to construct. Probably the
-most useful test would be a pair of C-Tests which check that the version
-values change when a "semantically significant" change is made. There is
-not currently an ACATS test checking this.
+Create a C-Test to check that P'Version changes when P changes in a
+semantically significant way. Check that when P does not have a completion,
+P'Body_Version returns a value different than the value returned by a version
+of P that has a completion. (No Test, 2-4-2, ARG Letter Ballot,
+February 2001).
+
+This cannot be tested with a single test. Following is a possible test
+methodology:
+  Test 1:
+   Compile a spec and body for a package P.
+   Compile and link a main program that retrieves P'Version and
+   P'Body_Version, and stores them in a file. (Prints "Tenatively passed")
+  Test 2:
+   Compile different specs and bodies for the package P.
+   Compile and link a main program that retrieves P'Version and
+   P'Body_Version, and compares them with the stored values. The test fails
+   if they are the same.
+Note that this would be much more complex than existing ACATS tests, and
+its unclear that it would catch many errors. (And the vagueness of
+"semantically significant" would open such a test to challenges.)
 
 !appendix
 

Questions? Ask the ACAA Technical Agent