ACATS Test Modification List for ACATS 3.0 Version 3.0C March 31, 2008 What is this? This the ACATS test modification list for ACATS 3.0. This document includes test corrections, test removals, and new tests for ACATS 3.0. ACATS 3.0 is the test suite for the current version of Ada (often known as "Ada 2005") that became current with the approval and publication of Amendment 1 by ISO as ISO/IEC 8652:1995/AMD 1:2007. ACATS Test Modification List version 2.6C for ACATS 2.6 remains current for that test suite. ACATS 2.6 should be used for testing Ada 95 implementations, and will continue to be maintained as necessary for the foreseeable future. Changes from the last list: BXC3002 tested the last sentence of C.3.1(8/2), which was deleted by the Amendment. A test of the required accessibility check was added to replace the original test case. Type Is_Limited_With_Attrs in test BXE2009 does not have available stream attributes by the Ada 2005 rules; thus the rest of the test gets unintentional errors. Test CA11023 contains two minor errors. Test B58001A was replaced by a new test B650004, which tests many more cases, and whose name references the correct clause. Test C38006A was replaced by a new test C3A0016, which tests many more cases, and whose name references the correct clause. A number of other new tests were added: Test C3A0017 tests that anonymous access-to-subprograms can be used in many contexts, and that they can be used to call the associated functions. C650002 tests return statements in entry bodies, accept statements, and protected procedures. C650003 tests simple return statements inside of extended return statements and other methods of completion. C650A01 tests that the result of a function returning an anonymous access-to-specific-tagged has the correct tag (or Constraint_Error is raised). New tests that originated in the ACATS 3.0 release are required for conformity assessments using ACATS 3.0. New tests inserted between April 1, 2008 and July 1, 2008 will become required for conformity assessments on January 1, 2009. New tests inserted between January 1, 2008 and April 1, 2008 will become required for conformity assessments on October 1, 2008. The effective dates of tests are marked in the lists. Questions about this document? Contact the ACAA Technical Agent at agent@ada-auth.org. Notice: The ACAA has created and maintains the Ada Conformity Assessment Test Suite for the purpose of conformity assessments conducted in accordance with the International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language processor. This test suite should not be used to make claims of conformance unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures. List explanation: Test numbers given are for the basic test. Categories are "Withdrawn" (the test should not be processed for Ada conformity assessments); "Allowed Modification" (either the original test or the modified one should be processed for Ada conformity assessments); "Modified" (the modified test must be processed for Ada conformity assessments); "Pending New" (the test does not need to be processed for Ada conformity assessments, but will be added in the future); "New" (the test is processed for Ada conformity assessments). ACATS version labels are provided with all new and modified tests. Use this label to retrieve the test from the ACATS VCS. See "How to get new and modified tests". In citations, line numbers are given relative to the start of a test file in the format of '@'; if a test program comprises more than one file, then the particular file will be indicated by "fn", where "n" is the test-program name's file-designator numeral. E.g., "B38103E : @f1-31, ... " denotes test file b38103e1.ada. In cases where there are two or more rationales for different errors in a test program, these different rationales with their respective line citations are listed on separate lines. References to the Ada standards are given in the format: .[.]: These references are to the consolidated Ada standard as available at http://www.adaic.com/standards/05rm/html/RM-TOC.html. Main list: ===== Core Language ===== Name Category Version label (effective date; old version label) Short description. C34008A [Allowed Modification] New VCS Label:A3_0B Org VCS Label: A3_0 Required after 2008-07-01 Revised to eliminate function V @73-76 and its uses, as it attempts to return an existing object of a limited type. C38006A [Withdrawn] Org VCS Label: A3_0C This test has been replaced by new test C3A0016. C3A0016 [Pending New] New VCS Label:A3_0C Required after 2008-10-01 Check that a constant access-to-variable value can be used to modify the designated object. This test adds general access and anonymous access test cases, and as such is no longer a legacy test. C3A0017 [Pending New] New VCS Label:A3_0C Required after 2008-10-01 Check that anonymous access-to-subprograms can be used in many contexts, and that the associated function can be called. C413006 [Pending New] New VCS Label:A3_0B Required after 2008-10-01 Created test from ashes of C41306A, included additional test cases for completeness. A new test is needed as Ada 95 and Ada 2005 features must be used; the result is not a legacy test in any way. C41306A [Withdrawn] Org VCS Label: A3_0B Deadlock: returns @75,83 call an entry on a task that will not be activated until the return statement finishes. B58001A [Withdrawn] Org VCS Label: A3_0C This test has been replaced by new test B650004. C650002 [Pending New] New VCS Label: A3_0C Required after 2008-10-01 Check that a return statement that applies to an entry body or accept statement completes the body or statement. C650003 [Pending New] New VCS Label: A3_0C Required after 2008-10-01 Try various ways to complete an extended return statement. B650004 [Pending New] New VCS Label: A3_0C Required after 2008-10-01 Test that return statements cannot be in a non-callable body, even when inside of a callable construct. This tests adds many test cases to those in B58001A, including those for extended return statements; it no longer is a legacy test for that reason. F650A00 [Pending New] New VCS Label: A3_0C Required after 2008-10-01 Foundation providing a limited tagged type hierarchy for extended return tests. C650A01 [Pending New] New VCS Label: A3_0C Required after 2008-10-01 Check that Constraint_Error is raised if the result of an anonymous access-to-specific-tagged does not have the correct tag. C990001 [Allowed Modification] New VCS Label:A3_0B Org VCS Label: A3_0 Required after 2008-07-01 Added function returning a task as an attribute prefix case from C34008A. CA11023 [Allowed Modification] New VCS Label:A3_0C Org VCS Label: A3_0 Required after 2008-07-01 @f2-190 should be Dept2 rather than Dept1. "Return False;" should be added @f2-116. ===== Annex C ===== BXC3002 [Allowed Modification] New VCS Label:A3_0C Org VCS Label: A3_0 Required after 2008-07-01 Declaration @103 is not illegal as Amendment repealed the relevant rule. ===== Annex D ===== [None.] ===== Annex E ===== BXE2009 [Allowed Modification] New VCS Label:A3_0C Org VCS Label: A3_0 Required after 2008-07-01 Type Is_Limited_With_Attrs @80 does not have available stream attributes, but is assumed to have them. ===== Annex F ===== [None.] ===== Annex G ===== [None.] ===== Annex H ===== [None.] How to get new and modified tests: The official home of the ACATS test suite is the ACAA web site. The site can be accessed from the Compilers and Conformance section of the Ada IC web site (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_3_0C.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. Select the revision you want (usually the most recent) and it will be retrieved for you. Tests are stored in directories that correspond to the test's prefix. For instance, the test CD92001.A will be found in the CD directory. You can also browse the differences between versions of a test. [In case of a conflict, the files in the ACATS VCS should be considered the 'official' versions.] If you cannot get the files from the official site or you cannot get the files in a format appropriate for your processor, please contact your ACAL. The baseline ACATS 3.0 is available in various formats on the ACAA web site. Summary lists: Withdrawn Tests (Refer to the main list for details) B58001A C38006A C41306A Allowed Modification Tests (Refer to the main list for details) BXC3002 2008-07-01 BXE2009 2008-07-01 C34008A 2008-07-01 C990001 2008-07-01 CA11023 2008-07-01 Modified Tests (Refer to the main list for details) [None.] New Tests (Refer to the main list for details) [None.] Pending New Tests (Refer to the main list for details) B650004 2008-10-01 C3A0016 2008-10-01 C3A0017 2008-10-01 C413006 2008-10-01 C650002 2008-10-01 C650003 2008-10-01 C650A01 2008-10-01 F650A00 2008-10-01 Tests that ought to have changes made, but currently have a low priority for changes: B371001 [The test case @f2 is commented out pending the resolution ofAI05-0041-1.]