4.2.4 State Transition Testing Flashcards
A state diagram models the behavior of a system by showing its p… and v…
possible states
valid state transitions.
A transition is initiated by an “ “ which may be additionally “ “ by a …
The transitions are assumed to be “ “ and may sometimes result in the s…
event
qualified
guard condition.
instantaneous
software taking action.
Common transition labeling syntax: e… [g… / “ “
Guard conditions and actions can be “ “ if they don’t “ “ or are irrelevant for the “ “.
event
[guard condition] / action
omitted
exist
tester
A state table is a model equivalent to a …
Its rows represent “s…“ and its columns represent “e…“ (together with … if they “ “).
state diagram.
states
events
guard conditions
exist
Table entries (cells) represent “ “ and contain the t… as well as the resulting a…
In contrast to the state diagram, the state table explicitly shows i… which are represented by e…
transitions
target state
actions if defined.
invalid transitions
empty cells.
A test case based on a state diagram or state model is usually represented as a s… which results in a s… and a…
One test case may and usually will cover several “ “ between “ “.
sequence of events,
sequence of state changes
actions if needed.
transitions
states.
In all states coverage the coverage items …
To achieve 100% all states coverage, test cases must ensure that all the s…
Coverage is measured as the number of e… / the total number o… expressed …
are the states.
states are exercised.
exercised states
of states
as a percentage.
In valid transition coverage (0-switch coverage), the coverage items are …
To achieve 100% all valid transitions coverage, test cases must exercise …
Coverage is measured as …
single valid transitions.
all the valid transitions.
the number of exercised valid transitions / the total number of valid transitions - expressed as a percentage.
In all transitions coverage, the coverage items are all the “ “ shown in a s…
To achieve 100% all transitions coverage, test cases must exercise all the v… and attempt to execute i…
transitions
state table.
valid transitions
invalid transitions.
Testing only one invalid transitions which are in a single test case helps to avoid d… , a situation in which one “ “ prevents the detection o…
defect masking,
defect
of another.
All transitions coverage is measured as …
the number of valid and invalid transitions exercised or attempted to be covered by executed test cases / the total number of valid and invalid transitions - expressed as a percentage.
All states coverage is weaker than …
valid transitions coverage, because it can typically be achieved without exercising all the transitions.
Valid transitions coverage is the most …
widely used coverage criterion.
Achieving full valid transitions coverage …
guarantees full all states coverage.
All full all transitions coverage guarantees …
both full all states coverage and full valid transitions coverage and should be the minimum requirement for mission and safety-critical software.
