CVS difference for acats/docs/ug-2.htm
--- acats/docs/ug-2.htm 2014/08/29 05:17:04 1.5
+++ acats/docs/ug-2.htm 2016/05/27 03:52:20 1.6
@@ -2,7 +2,7 @@
"http://www.w3.org/TR/html4/loose.dtd">
<HTML>
<HEAD>
- <TITLE>Changes for ACATS 4.0</TITLE>
+ <TITLE>Changes for ACATS 4.1</TITLE>
<META http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<META NAME="Author" CONTENT="JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor">
<META NAME="GENERATOR" CONTENT="Arm_Form.Exe, Ada Reference Manual generator">
@@ -12,11 +12,13 @@
SPAN.roman {font-family: "Times New Roman", Times, serif}
TT {font-family: "Courier New", monospace}
DT {display: compact}
+ A.Bar:link {font-family: Arial, Helvetica, sans-serif; font-style: normal; text-decoration: none; color: rgb(204,204,51)}
+ A.Bar:visited {font-family: Arial, Helvetica, sans-serif; font-style: normal; text-decoration: none; color: rgb(204,204,51)}
DIV.Normal {font-family: "Times New Roman", Times, serif; line-height: 122%; margin-bottom: 0.6em}
</STYLE>
</HEAD>
<BODY TEXT="#000000" BGCOLOR="#FFFFE8" LINK="#0000FF" VLINK="#800080" ALINK="#FF0000">
-<DIV><SPAN Style="font-size:200%; color: rgb(0,0,153)"><B>ACATS 4.0 User's Guide</B></SPAN></DIV>
+<DIV><SPAN Style="font-size:200%; color: rgb(0,0,153)"><B>ACATS 4.1 User's Guide</B></SPAN></DIV>
<DIV Class="Normal"><I><B><A HREF="UG-TTL.HTM">Title Page</A></B></I></DIV>
<div style="margin-top: 0.6em; margin-bottom: 0.0em"><A HREF="UG-TOC.HTM"><IMG SRC="CONT.GIF" ALT="Contents" BORDER=0></A>
<A HREF="UG-02.HTM"><IMG SRC="INDEX.GIF" ALT="Index" BORDER=0></A>
@@ -25,18 +27,25 @@
<A HREF="UG-3.HTM"><IMG SRC="NEXT.GIF" ALT="Next" BORDER=0></A>
</div>
<HR>
-<H1>Section 2: Changes for ACATS 4.0</H1>
-<div class="Normal">Version 4.0 of the ACATS updates version 3.1 with
+<H1>Section 2: Changes for ACATS 4.1</H1>
+<div class="Normal">Version 4.1 of the ACATS updates version 4.0 with
additional tests for features defined in <A HREF="UG-01.HTM#Ada2012">[Ada2012]</A>.
-It includes more than 110 new tests to check features including Ada.Containers,
-aspect specification notation, conditional expressions, pre- and postconditions,
-subtype predicates, new iterator forms, user-defined references and indexing,
-and formal incomplete types.</div>
-<div class="Normal">In addition, 35 additional tests were corrected or
+It includes 134 new tests to check features including type invariants,
+subtype predicates, extended return statements, new iterator forms, array
+aggregates, generalized indexing, conditional expressions, aspect specifications,
+unchecked unions, Ada.Directories, Ada.Generic_Dispatching_Constructor,
+Ada.Environment_Variables, Ada.Text_IO.Bounded_IO and Unbounded_IO, and
+Ada.Containers.</div>
+<div class="Normal">In addition, 16 additional tests were corrected or
removed in to reflect changes in Ada reflected by <A HREF="UG-01.HTM#Ada2012">[Ada2012]</A>,
as well as in response to test disputes and ARG issue resolutions.</div>
+<div class="Normal">Finally, ACATS 4.1 introduces a tool to simplify
+and mostly automate test grading (see <A HREF="UG-6.HTM">6</A>, “<A HREF="UG-6.HTM">ACATS
+Grading using the Grading Tool</A>”). This tool and a supporting
+tool are provided in 6 Ada source files.</div>
<div class="Normal">See <A HREF="UG-A.HTM">Annex A</A>, “<A HREF="UG-A.HTM">Version
-Description</A>” for lists of added, deleted and modified tests.</div>
+Description</A>” for lists of added, deleted and modified tests,
+documentation, and support files.</div>
<HR>
<div style="margin-top: 0.0em; margin-bottom: 0.6em"><A HREF="UG-TOC.HTM"><IMG SRC="CONT.GIF" ALT="Contents" BORDER=0></A>
Questions? Ask the ACAA Technical Agent