Contract-Checks

Test RealTime - User Guide

Methods

For each class, methods are shown with method entry and exit actions:

Method entry actions have a solid border,

Method exit actions have a dotted border.

Contract-Checks

Pre and post-conditions, invariants and state verifications are displayed as Notes,
attached to the class instance, and contained within the method.

You can click a note to highlight the corresponding OTC Contract-Check script line in
the Text Editor window.

Illegal and Multiple Transitions

State or transition diagram errors are identified as ILLEGAL TRANSITION or
MULTIPLE TRANSITION Notes as shown in the following figure:

Test Driver Sequence Diagrams

The following example illustrates typical results generated by a Test Driver script:

172