Conditional Test Suite
Four types of test scripts
- Assertions: abort if condition fails
- Exceptions: raise exception if condition succeeds
- Concurrent test operations: monitor condition
- Message polling: evaluate condition on demand
Conditions
- class invariant, precondition, postcondition, loop invariant