Hierarchical Incremental Test Suite (cont.)
Functional models
- state-transition model, aka OMT dynamic model
- models states and transitions for a class in the context of its position in the inheritance hierarchy
- transaction-flow model
- models object life cycle as transaction from construction to destruction
- exception model
- specifies what methods raise what exceptions under what conditions