Can a different initial Stateflow state be set for a test case/harness?

Greetings,

I am trying to test a certain transition in a Stateflow statemachine without having to go through the whole statemachine from the initial state to this transition.

Can a different initial Stateflow state be set for a test case/harness?

Answer 1

[Devendra Bhave]

As per my understanding, you are expecting the default transition of Stateflow Chart to enter in your specified state.

Adding a new transition or new behaviour for the existing default transition changes the semantics of Stateflow chart and so the behaviour of the model. This should not be done during verification and validation phase.

However, if you are writing or editing the model, you may use junctions/labels to control entry of default transition. Please refer to the section ‘Label Default Transition’ in MathWorks documentation on default transitions for more information and detailed example.

[Pascal Witting]

Yes, I need to avoid changing the model.

I was hoping for another, Test Harness specific way to set the (initial) state, from something like the Test Sequence Block, but without changing the model.