MATLAB Answers

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

2 views (last 30 days)
Pascal Witting
Pascal Witting on 6 Oct 2020
Commented: Pascal Witting on 23 Nov 2020
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?

  0 Comments

Sign in to comment.

Answers (1)

Devendra Bhave
Devendra Bhave on 23 Nov 2020
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.

  1 Comment

Pascal Witting
Pascal Witting on 23 Nov 2020
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.

Sign in to comment.

Products


Release

R2019b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!