BridgePoint UML Model Verifier Tutorial

Overview

This 3 minute, multimedia demo and tutorial shows how to use BridgePoint UML Model Verifier to perform high-level model testing and debugging.

What you will learn:

• How to start Model Verifier
• How to add a view to the xtUML Debugging perspective
• How to run domain functions to perform testing
• How to use the Session Explorer view
• How to set and manage state and action language breakpoints
• How to use animated state diagrams
• How to control execution using Run/Resume, Terminate, and single stepping
• How to inspect the value of automatic variables
• How to manage the way states handle unexpected events