IDE & Navigation
Properties & Tools
Monitor tab shows the MBT execution progress status. The stats include the execution status, estimation of execution progress %, model coverage and many others.
Performance stats are collected for each thread by both state and transition traversals on count of total traversals, rate of traversals and exceptions. A summarized stats are also collected for all threads. To achieve a uniform comparable performance stats, the performance unit is introduced which allows you to assign a weight for each state/transition such that the state/transitions that have heavy processing can be compared with states/transitions that have very little processing.