![]() |
Testcover.com | ![]() | ||
Tutorial - Thermostat Example -
fanControl Stand-alone Transition Design |
Home Existing User Login Brochure Sign up for Risk-Free Trial About Testcover.com Frequently Asked Questions Tutorial with Examples ->Equivalence Partitioning ->UML State Machines --->Shopping Cart Example --->Thermostat Example --->Test Models, 3 Regions --->Design Procedure --->tempSet Designs --->tempControl Designs --->fanControl Designs ----->Stand-alone Transition ----->Integrated Transition ----->Integrated Target State ->Definitions of Terms Performance WSDL Interface Background Partners Registrations Contact Information |
The thermostat example illustrates pairwise testing using a
Unified Modeling Language (UML)
state machine diagram.
This test design is for the fanControl region,
which controls the operation of the fan circulating the air.
The design illustrates the stand-alone transition model,
in which the region is considered isolated from the rest of the system.
Each state transition in this region has one partition.
Requirements summary.
Control of the air circulation fan is set with a sliding switch having two positions: AUTO and ON.
In the AUTO position the fan is on whenever the furnace or air conditioner is on.
In the ON position, the fan circulates air continually.
Details of the fan control operation are defined
in the fanControl region of the UML state machine diagram.
Test model.
In the fanControl region
there are 3 leaf states: autoOffWait, autoOnWait, fanOn.
There are 8 state transitions corresponding to partitions:
There are 3 test factors with values as follows.
The tempControl state else represents any state other than heatOnWait or coolOnWait.
Similarly, else trigger events represent events with tempControl in any state other than heatOnWait or coolOnWait.
The test design is constructed following steps 1-6 of the design
procedure.
Although this is a stand-alone transition design, the fanControl region's dependence on the tempControl state
requires use of the tempControl state as a test factor.
Note that the values of the tempControl state factor in this design do not correspond to those for subsequent models.
The test case generator request is given below.
The partition prefix FC:aa indicates the region, fanControl (FC),
and the transition, e.g. autoOffWait to autoOffWait (aa),
for each test case.
The fanControl region has 15 test cases in 8 partitions in the stand-alone transition design.
The results tables follow.
#1.
autoOffWait to autoOffWait
The test case in partition 1 tests the timeout transition from autoOffWait to autoOffWait
when the tempControl state is not in heatOnWait or coolOnWait.
Test case set-up is illustrated for FC:aa1 below.
FC:aa1 is set up with
the mode switch set to OFF and the fan switch set to AUTO.
The state of tempControl before the transition is tempControlOff,
which is not heatOnWait or coolOnWait (else).
#2.
autoOnWait to autoOffWait
The test case in partition 2 tests the timeout transition from autoOnWait to autoOffWait
when the tempControl state is not in heatOnWait or coolOnWait.
Test case FC:Aa1 includes the transient pair of current states else with autoOnWait.
This test case is set up with tempControl in the heatOnWait state,
as illustrated below.
FC:Aa1 is set up by setting the temperature sensor simulator to 70, heatTemp to 99, and coolTemp to 49.
The mode switch is set to HEAT, and the fan switch is set to AUTO.
After the tempSet, tempControl, and fanControl states are idleWait, heatOnWait, and autoOnWait,
the mode switch is moved from HEAT to OFF before the autoOnWait timeout occurs.
The state of tempControl before the transition is tempControlOff,
which is not heatOnWait or coolOnWait (else).
#3.
fanOn to autoOffWait
The test case in partition 3 tests the fan switch transition from fanOn to autoOffWait
when the tempControl state is not in heatOnWait or coolOnWait.
#4.
autoOffWait to autoOnWait
The test cases in partition 4 test the timeout transition from autoOffWait to autoOnWait
when the tempControl state is in heatOnWait or coolOnWait.
#5.
autoOnWait to autoOnWait
The test cases in partition 5 test the timeout transition from autoOnWait to autoOnWait
when the tempControl state is in heatOnWait or coolOnWait.
#6.
fanOn to autoOnWait
The test cases in partition 6 test the fan switch transition from fanOn to autoOnWait
when the tempControl state is in heatOnWait or coolOnWait.
#7.
autoOffWait to fanOn
The test cases in partition 7 test the fan switch transition from autoOffWait to fanOn
for any tempControl state.
Test cases FC:aF2 and FC:aF3 include transient pairs of current states heatOnWait with autoOffWait
and coolOnWait with autoOffWait.
These test cases are set up with tempControl in the tempControlOff state,
as illustrated for FC:aF2 below.
FC:aF2 is set up by setting the temperature sensor simulator to 70, heatTemp to 99, and coolTemp to 49.
The mode switch is set to OFF, and the fan switch is set to AUTO.
After the tempSet, tempControl, and fanControl states are idleWait, tempControlOff, and autoOffWait,
the mode switch is moved from OFF to HEAT.
Then the fan switch is moved from AUTO to ON before the autoOffWait timeout occurs.
#8.
autoOnWait to fanOn
The test cases in partition 8 test the fan switch transition from autoOnWait to fanOn
for any tempControl state.
Test case FC:AF1 includes the transient pair of current states else with autoOnWait.
This test case is set up with tempControl in the heatOnWait state,
as illustrated below.
FC:AF1 is set up by setting the temperature sensor simulator to 70, heatTemp to 99, and coolTemp to 49.
The mode switch is set to HEAT, and the fan switch is set to AUTO.
After the tempSet, tempControl, and fanControl states are idleWait, heatOnWait, and autoOnWait,
the mode switch is moved from HEAT to OFF.
Then the fan switch is moved from AUTO to ON before the autoOnWait timeout occurs.
The state of tempControl before the transition is tempControlOff,
which is not heatOnWait or coolOnWait (else).
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|