From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10f5bc,a6e201f61d2766fd X-Google-Attributes: gid10f5bc,public X-Google-Thread: 103376,a6e201f61d2766fd X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-10-10 08:12:53 PST Newsgroups: comp.software.testing,comp.lang.ada Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!nntp4.savvis.net!uunet!dfw.uu.net!ash.uu.net!world!news From: Robert A Duff Subject: Re: ACATS mapping to Ada95 LRM User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Sender: news@world.std.com (Mr Usenet Himself) Message-ID: Date: Thu, 10 Oct 2002 15:12:14 GMT Content-Type: text/plain; charset=us-ascii References: <3DA58E18.B110A61F@avionics.saab.se> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Organization: The World Public Access UNIX, Brookline, MA Xref: archiver1.google.com comp.software.testing:11440 comp.lang.ada:29667 Date: 2002-10-10T15:12:14+00:00 List-Id: Mikael Lundqvist writes: > Does anyone know if there is a mapping from the ACATS tests to the Ada95 > LRM? After have seen the ACATS tests there seem to be such a mapping > although it's not explicitly stated. You mean, given a particular ACATS test, you want to know which section(s) of the RM it's trying to test? Well, the name of the test encodes the "main" section number, using single-digit hex numbers for each part of the section number. E.g., if the test name starts with CA12, we know it's a C test (execution time test), and the section number is 10.1.2, with the "A" standing for "10". Or something like that. Look at the instructions that come from the test suite -- they give the exact rules. This naming scheme was invented when some operating systems had unreasonable limits on file-name lengths. There may also be a list of tests with sections and/or test objectives. Also, the tests contain comments saying what they're testing. You might be able to find the "ACVC Implementer's Guide", which was basically a test plan for the ACVC (which is now called ACATS). Oh, one problem: I think the tests written for Ada 83 retain the section numbers from the Ada 83 RM. These are usually close to the Ada 95 section numbers, but not quite the same. The instructions also tell you how to distinguish Ada 83 tests from Ada 95 tests. I think *.a are newer, and *.ada are older, but there are lots of other extensions used. - Bob