A model is verified and validated through model execution on the basis of the captured use case scenarios. The correctness and completeness analysis is based on the visual inspection of the model behavior.

Rhapsody provides two ways to visualize model behavior:

• Visualization of the state-based behavior through animation of respective Statecharts and
• Visualization of message sequences by means of automatically generated sequence diagrams.

The analysis via sequence diagrams is supported by the Rhapsody Sequence Diagram Compare feature. This feature enables to perform comparisons between two sequence diagrams, e.g. one capturing the sequence of a required scenario and the other showing the recorded scenario. The differences between the diagrams are shown color-coded. This feature may also be used to compare two runs for regression testing.