DVT Eclipse IDE Diagrams - How to Use the Transitions Table in FSM Diagrams

Description

This video explains how to use the transitions table to explore the finite-state machine diagrams generated by DVT.

This video was shot using DVT 21.1.26.

Explore the design and verification tools: https://www.dvteclipse.com
Or request a license: https://www.dvteclipse.com/request-license

Transcript

Generating FSM Diagrams Using DVT

DVT allows you to easily generate diagrams for the finite state machines in your code. Let's locate an FSM state variable using the Types view and generate the diagram from the view's context menu. Selecting a state or transition highlights previous and next states in different colors.

Using the State Transition Table

For further inspection, you can use the state transition table. For each transition, it shows the current state, next state, and condition. The transitions are conveniently numbered both in the table and in the diagram.

The table and diagram selections are cross-linked:

• Select any entry in the table, and the transition will be highlighted in the diagram.
• Any selection in the diagram will highlight the corresponding elements in the table.

Navigating to Source Code and Adjusting the Transition Table View

You can right-click on a transition and use Go to Source to jump to the assignment that causes it. The table can be shown or hidden using the toolbar button.