Spec Explorer 2010 + How to name the states of the model?

Question

Hi,

I am a newbie to MBT. I have my state machine generated. But I want to name the states. Would someone throw light on how to do that?

Kind Regards,
Sam

Answer 1

Hi Again,

I would want to have the states of the FSM to be more meaning ful with custom names. Is this possible and how?

Kind Regards,
Sam

Answer 2

You can define a Probe in your model, which returns a string to provide more meaningful names to the states.  The Sailboat sample project illustrates this, by (a) defining the Position probe in Model.cs, and (b) using Position as the value of the StateDescription property in the SailBoatView (which you can get to by clicking the Manage Views button in the upper left corner while viewing an exploration file). 

Answer 3

Thank you, Anne , you help me too ..

 

Best Regards,
Den