10 FSM Based Testing Flashcards
State Machine Defects
A missing or incorrect transition, event or action.
An extra, missing or corrupt state.
An illegal message failure.
Markov Chains
Combine Operational Profiles (OP) with FSMs.
Pace probabilities on the transitions based on actual usage.
To better distribute testing effort
UMM
Unified Markov Model
When a Markov chain becomes too large, group together related states.
UMM forms a hierarchy such that
Top level states can be decomposed into internal states.
Internal states can be viewed as sub-operations.
UMM Thresholds
Used to determine which test cases to execute
Can change over time.
Three Types:
1. Overall probability
2. Stationary probablility
3. Transition probability.
FSMs
Good at modeling behavior and interactions.
Enable parallelism and concurrency
Both BBT and WBT