Operation Constraints Dialog

You use the Operation Constraints dialog to define or edit the pre-conditions and/or post-conditions on an operation in a Testpoint Class that is subject to Testpoint tests.

Pre-conditions defined for a method are evaluated when the method is first called; post-conditions are evaluated (at the same time as any Class Invariant) when the method completes.

Access    Double-click on the operation item in the Testpoints window

Reference

The dialog contains two sets of the following fields; one set for pre-conditions and one set for post-conditions:

Field

Usage

See also

Condition

The constraint to be evaluated when this testpoint is being evaluated. A status of pass or fail will be recorded depending on this constraint evaluating to true or false.

 

Condition Syntax

Evaluate When

When specified, this allows a testpoint to be conditionally evaluated, allowing greater control over test coverage.

 

Condition Syntax

Action on Fail

Click on the drop-down arrow and select from the three options:

Continue - ignore the failure
Break execution - halt the run and display the Stack trace
Disable on fail - do not execute the test again

 

 

Testpoint Trace:

The dialog also contains fields for Testpoint Trace statements. Testpoints differ from constraints, being statements that can return the values of variables (similar to a Debug.Print or Session.output statement). They are not set in the code, but stored in the model.

Field

Usage

See also

Statement

View the current traces and/or, if necessary, type in a new trace statement. Trace statements differ from constraints, being statements that can return the values of variables (similar to a Debug.Print or Session.output statement). They are not set in the code, but stored in the model.

 

Testpoint Management

Level

Select the required level of trace statement to be output:

Fail Only - output is traced only when the testpoint condition fails
Always - output is traced every time the testpoint is evaluated

 

 

Learn more

Learning Center topics

(Alt+F1) | Execution Analysis | Testpoints |
Edit Pre Condition
Edit Post Condition