Re: ACATS mapping to Ada95 LRM

["Randy Brukardt" <randy@rrsoftware.com>]

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).