State Transition Paths serve to monitor and predict the actual behavior patterns of the software that you are modeling. With this Plug-in, Astah extracts state transition paths directly from State Machine diagrams. It then generates a test case which displays the connections and checks your models to ensure that they correctly reflect the software's true behavior.