Many systems show state-based behavior. State-based models are used to define this behavior. These models can also be used to design tests. With state transition testing several distinct coverage levels can be achieved.
|Test approach||Coverage-based - Process-oriented|
|Test variety||Functionality testing, process flow testing, menu-structure testing, and more|
|Test basis||State Transition diagram(s) and state table(s)|
State Transition testing is a process-oriented test design technique that focuses on states, events that initiate a transition to another state and actions resulting from such events. Tests are designed to execute valid and invalid state transitions. State transition testing is used to test whether the system correctly responds to events for example by transitioning from one state to another. Multiple coverage levels can be achieved, indicated as n-switch coverage.
State transition testing is often used to test embedded software that controls machines, but also to test menu-structures in GUI-based systems or other types of systems that have distinct states and a process for getting from one state to another.
The correct behavior of the system is described in a state transition diagram that gives an overview of all states, the transitions between these states, the events that trigger transitions and the actions that result from events.
||A state is a distinguishable situation of a system. A system can only be in one state at any point in time. A system can transition from one state to another.|
||A transition is a change from one state to another. A transition may also be to the same state (a “transition-to-self”).|
||An event is an occurrence inside or outside a system that can result in a transition.|
||An action is behavior executed at a particular point in the system. It can also be a string of actions.|
Pictured here is an example of a simple state transition diagram. Our example system is a lamp.
The lamp can be off or on. If the on-switch is pushed, the electric current is enabled and the lamp is turned on. If the off-switch is pushed, the electric current is cut and the lamp is turned off.
The transitions between states can also be shown in a state table as shown below.
|Push on-switch||Push off-switch|
Enable electric current
Cut electric current
The left side of the table contains the states, and the top contains the events. When a transition is valid the resulting state is shown in the corresponding cell of the table. Mentioning the action with the resulting state is optional. When the transition is invalid, it is shown as a hyphen (‘-‘). Above the resulting states, the actions may be added.
Within state transition testing you can choose to test individual transitions or combinations of transitions.
Since a state transition diagram doesn’t show invalid transitions, only test cases with valid transitions can be derived from a state transition diagram.
A state table indicates valid transitions and invalid transitions, so a state table can be used for testing both.
The level of test coverage is related to the number of consecutive transitions that are covered. If every single transition is tested, we achieve “0-switch coverage”. 0-switch coverage means that we do not focus on testing consecutive transitions. If sequences of two transitions are tested, so all combinations of two consecutive transitions are tested, we achieve “1-switch coverage”. If a higher number of consecutive transitions are tested, we speak of “n-switch coverage” where ‘n’ is the number of consecutive transitions minus 1. For example, “2-switch coverage” tests combinations of 3 consecutive transitions.
Usually only 0-switch coverage and 1-switch coverage are applied, sometimes 2-switch.
1 - Identifying test situations
Test situations for state transition testing can be:
- The individual states – this enables testing if all states can be reached
- The individual transitions – this can be used to ensure 0-switch coverage
- The combinations of “n” transitions – this can be used to ensure “n-1”-coverage
For our lamp example the test situations for different coverage levels are:
- Coverage of all states: “lamp off” and “Lamp on”
- 0-switch coverage: “push on-switch” and “push off-switch”
- 1-switch coverage: “lamp off – push on-switch – lamp on”
and “lamp on – push off-switch – lamp off”
- 2-switch coverage:
“lamp off – push on-switch – lamp on – pushoff-switch – lamp off”
“lamp on – push off-switch – lamp off – push on-switch – lamp on”
etcetera for n-switch (higher coverage levels are usually only sensible with complex diagrams)
2 - Create logical test cases
There are two possibilities for creating logical test cases:
- Create a test case for every individual test situation.
- Combine multiple test situations in a test case.
Examplesall states coverage
When would you use one test case per test situation, and when would you combine multiple test situations in a test case?
In general for progression testing you would use many short test cases so that in case of a failure it will be relatively easy to investigate the problem. Also in unit testing you want to test small parts of the code, so you would also use many short test cases.
For regression testing you would use a few long test cases since you mainly want to establish whether the system that previously passed the test was not negatively impacted by a change. As an example in end-to-end testing you want to test an entire business process and don’t bother about all possible exceptions, so you would also create few long test cases.
3 - How to calculate the number of test situations
To calculate the number of test situations needed for 0-switch coverage, simply count the number of transitions.
To achieve 0-switch coverage, every test situation must be part of at least one testcase.
The number of test situations for 1-switch testing is calculated as follows:
- For every state multiply the number of in-coming transitions by the number of out-going transitions
- Add the results for all states
- This gives the number of test situations needed for 1-switch coverage.
To achieve 1-switch coverage, every test situation must be part of at least one test case.
3.1 Calculate test situations for a more complex example
To illustrate the calculation of the number of test situations for 1-switch coverage, we also give a more complex system as an example.
For every state that has outgoing transitions, make all combinations of two consecutive transitions to create all test situations as shown below:
Test situation 1: State 1 – Event 1 – State 2 – Event 2 – State 1
Test situation 2: State 1 – Event 1 – State 2 – Event 3 – State 3
Test situation 3: State 1 – Event 1 – State 2 – Event 5 – State 4
Test situation 4: State 2 – Event 2 – State 1 – Event 1 – State 2
Test situation 5: State 2 – Event 3 – State 3 – Event 4 – State 1
Test situation 6: State 3 – Event 4 – State 1 – Event 1 – State 2
For this complex state transition diagram example, we also show how to create test cases based on the test situations.
As described above there are two approaches to creating test cases:
- Create a test case for every individual test situation (“many short test cases”)
- Combine as many test situations as possible in one test case (“a few long test cases”)
For this current example, both approaches can be used. First we use short test cases (one test case for each test situation):
Test case 1: State 1 – Event 1 – State 2 – Event 2 – State 1
Test case 2: State 1 – Event 1 – State 2 – Event 3 – State 3
Test case 3: State 1 – Event 1 – State 2 – Event 5 – State 4
Test case 4: State 2 – Event 2 – State 1 – Event 1 – State 2
Test case 5: State 2 – Event 3 – State 3 – Event 4 – State 1
Test case 6: State 3 – Event 4 – State 1 – Event 1 – State 2
Next we combine as many as possible test situations, this example all test situations can be combined into just one long test case:
Test case 1: State 1 – Event 1 – State 2 – Event 2 – State 1 – Event 1 – State 2 – Event 3 – State 3 – Event 4 – State 1 – Event 1 – State 2 – Event 2 – State 1 – Event 1 – State 2 – Event 3 – State 3 – Event 4 – State 1 – Event 1 – State 2 – Event 5 – State 4
4 - Create physical test cases
To create physical test cases, for each logical test case describe the actions needed to position the system in the starting state, then trigger each of the consecutive transitions and verify if the resulting state and the actions performed are according to the expected outcome.
5 - Create test scenarios
Usually every physical test case is a test scenario in itself so there will be little need to create specific test scenarios.