ACATS 4.1 User's Guide
In ACATS 4.1, two methods are used to account for
the use of implementation-dependent values in the tests.
For legacy tests, a "macro" substitution
technique is used. Legacy tests requiring implementation-specific values
contain symbols beginning with the '$' character; for example, the symbol
is used where the code expects the implementation-specific
integer literal representing the largest integer. For each implementation,
these symbols must be systematically replaced with the appropriate values.
A data file, MACRO.DFS
, and an Ada program, Macrosub
are provided to facilitate this substitution.
For modern tests, a hierearchy of packages is provided
that contain constants and functions that provide the desired implementation-specific
values. These packages ("ImpDef" and its children) should be
modified for each implementation to provide the needed values.
Information regarding the macro substitution technique
is presented in Sections B.1
describes the ImpDef package hierarchy.