State Flow Test Vectors
From T-VEC Wiki
This section uses examples to explain the test coverage associated with state variables modeled within Stateflow.
Contents |
[edit]
Example Two State Stateflow Model with No Local Data
[edit]
Vectors for Two State Stateflow with No Local Data
[edit]
Example Two State Stateflow Model with Local Data
The first example is a simple state machine with two states and one local data variable. The transition is based on a simple guard, where the transition to State1 occurs if the signal is 1 and back to State0 when the signal is 0.
[edit]
Vectors for Two State Stateflow with Local Data
There are six DCPs derived from this model. There were 12 test vectors generated that were compressed to nine test cases, but compression has been disabled to more clearly view all test vectors. All inputs are local data (i.e., denoted by __local prefix).
