Re: ACATS mapping to Ada95 LRM

[Robert A Duff <bobduff@shell01.TheWorld.com>]

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?

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