ACATS 3.1 User's Guide
Title Page
Contents   Index   References   Previous   Next 

Section 2: Changes for ACATS 3.1

Version 3.1 of the ACATS updates version 3.0 with additional tests for features defined in [Amend1]. It includes nearly 50 new tests to check features including anonymous access types, null exclusions, incomplete views (limited with clauses), extended return statements, and package Task_Termination.
In addition, nearly 50 more tests were corrected or removed in response to test disputes and ARG issue resolutions.
See Annex A, “Version Description” for lists of added, deleted and modified tests.

Contents   Index   References   Previous   Next