State Flow Test Vectors

From T-VEC Wiki
Revision as of 17:36, 28 February 2007 by Admin (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

This section uses examples to explain the test coverage associated with state variables modeled within Stateflow.

Contents

Example Two State Stateflow Model with No Local Data

Vectors for Two State Stateflow with No Local Data

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.

Two State Stateflow with Local Data

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).

Vectors for Two State Stateflow with Local Data