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-22 12:10:20 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.icl.net!newsfeed.fjserv.net!opentransit.net!newsfeed.news2me.com!newsfeed-west.nntpserver.com!hub1.meganetnews.com!nntpserver.com!telocity-west!TELOCITY!sn-xit-03!sn-xit-01!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.software.testing,comp.lang.ada
Subject: Re: ACATS mapping to Ada95 LRM
Date: Tue, 22 Oct 2002 14:09:49 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <urb8iam64122ec@corp.supernews.com>
References: <3DA58E18.B110A61F@avionics.saab.se>
 <wccsmzepbu9.fsf@shell01.TheWorld.com>
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.software.testing:11528 comp.lang.ada:30046
Date: 2002-10-22T14:09:49-05:00
List-Id: <comp.lang.ada>

Robert A Duff wrote in message ...
>Mikael Lundqvist <mikael.lundqvist@avionics.saab.se> 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?


To add to Bob's answer, there is a document included with the test suite
that gives paragraph coverage for Ada 95 ACATS tests. For Ada 83 tests,
you can look in the Ada 83 Implementor's Guide, but then you'd still
have to map the tests to Ada 95 sections (which are not always the
same).

As Bob noted, a rough guide is given by the name of the test. Details
are given in the ACATS documentation; I strongly recommend anyone
interested in the test suite read it carefully.

          Randy Brukardt
          ACAA Technical Agent (responsible for maintenance on the ACATS
suite).