Separate Compilation

Component Testing for Ada

You can make internal procedures and variables and the structure of private types visible from the test program, by including them in the body of the unit under test with a separate Ada instruction.

You must add the following line at the end of the body of the unit tested:

PACKAGE BODY <name>

...

PROCEDURE Test is separate;

END;

Defining the procedure Test this way allows you to access every element of the specification and also those defined in the body.