Next: Language-Independent Testing
Up: Validation Class
Previous: Validation Code for a
When the validator class receives a message from the test driver,
it validates it as follows :
- Store the parameters.
- Send the message to the implementation object and get the
return value or exception.
- Using the stored parameters and the return value or exception,
evaluate the validate predicate. If it throws an error,
then return indicating a test failure.
- Evaluate the isNormal predicate of this message and if it
returns true, then append this message to the history.
We are currently implementing the scheme as described above and we
expect to have the
beta version ready sometime in April 1998.
Sreenivas Viswanadha
1998-03-17