An invention is disclosed for collecting information on a specification of
a computer program. A plurality of classes is provided, where each class
is capable of performing a particular task related to obtaining
information from a specification. Then a command is received from a user.
The command requests a particular task to be performed. A class is then
selected from the plurality of classes based on the task requested by the
received command, and the selected class is run. In this manner,
information on the specification is obtained. The plurality of classes
can include a get assertion class that obtains assertions from the
specification, and a reporting class that provides information on test
coverage of the specification.