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 “e…“ which may be additionally “ “ by a g…
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 “o…“ if they don’t “ “ or are irrelevant for the “t…“.
event
guard condition
action
omitted
exist
tester
A state table is a model equivalent to a s…
Its rows represent “s…“ , and its columns represent “e…“ (together with g… 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 “t…“ between “ “.
sequence of events
sequence of state changes
actions, if needed.
transitions
states.
In all states coverage the coverage items are the “ “.
To achieve 100% all states coverage, test cases must ensure that all the s…
Coverage is measured as the number of e… divided by the total number o… and expressed …
states
states are exercised.
exercised states
of states
as a percentage.
In valid transition coverage (0-switch coverage), the coverage items are s…
To achieve 100% all valid transitions coverage, test cases must exercise a…
Coverage is measured as the number of e… divided by the total number of v… - expressed as a “ “.
single valid transitions.
all the valid transitions.
exercised valid transitions
valid transitions
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 transition 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 v… or attempted to be covered by e…, divided by the total number of v… , and expressed as a “ “.
valid and invalid transitions exercised
executed test cases
valid and invalid transitions
percentage
All states coverage is weaker than v… , because it can typically be achieved without e…
valid transitions coverage
exercising all the transitions.
Valid transitions coverage is the most w…
widely used coverage criterion.
Achieving full valid transitions coverage g…
guarantees full all states coverage.
All full all transitions coverage guarantees both full a… and full v… and should be the m… for “ “ and s…
all states coverage
valid transitions coverage
minimum requirement
mission
safety-critical software.
