Testing hidden subpgms and state data

[howell@COMMUNITY-CHEST.MITRE.ORG]

It's me again...  Different question.

How do you test (unit test, CSC, etc) subprograms that are not visible in 
a package spec, and the "state" that they may affect (e.g., variables
declared in the package body)?  The two approaches I've seen most often are

    a) Put test code in the sequence_of_statements part of the package
	body so that the tests run at package body elaboration time.

    b) Add one or more "hooks" into the package spec in order to allow
	test code to access the hidden subprograms.

What other alternatives have you seen?  What are the strengths & weakness
of the various approaches?   Any comments are appreciated,
 
     Chuck Howell
     The MITRE Corporation, Mail Stop Z645
     7525 Colshire Drive, McLean, VA 22102
     NET:  howell@mitre.arpa or 
           howell%community-chest.mitre.org@gateway.mitre.org