Check out the new USENIX Web site. next up previous
Next: IBDLObject Class Up: Sequence Testing and Validation Previous: Test Driver

Validation Class

This is a class generated from the IBDL specification of an interface. This class interfaces to the test driver as well as the implementation. Every object of a validation class has the generic part which implements the ``#'' and param operators of IBDL, and a specific part that has a handle to an actual implementation object and provides interface to the test driver so that messages can be received. In this sense, the validation class is a wrapper class for the implementation, which intercepts messages sent to and return values/exceptions from the implementation object for validation purposes.

The specific part of the validation class has code to receive messages, store the parameters and return values and/or exceptions and invoke the message validation code based on these. This class also includes the code generated from the behavior specification of each of the messages, as described in the following subsections.

The validation class has a constructor with the same signature (parameter types and exceptions) as the constructor specified in the interface. This constructor creates the object under test and stores a handle to it so that messages can be sent to the object using the handle. This is done to ensure that the first message received is a constructor as the IBDL semantics dictates.


 
Figure 1: Sequence Testing and Validation System



 
next up previous
Next: IBDLObject Class Up: Sequence Testing and Validation Previous: Test Driver
Sreenivas Viswanadha
1998-03-17