Testcover.com Testcover.com
Thermostat Example - fanControl Test Model Mapping
Stand-alone
Transition Model
Integrated
Transition Model
Integrated
Target State Model
Thermostat States
Partition
Prefix
Partition
& Block
Partition
Prefix
Partition
& Block
Partition
Prefix
Partition
& Block
tempSet
(any of)
tempControl
(any of)
fanControl
from
fanControl
to
Notes
FC:aaP1B1 FC:aaP1B1 FC:aP1B1 idleWait
heatKeyWait
coolKeyWait
heatOffWait
coolOffWait
tempControlOff
autoOffWait autoOffWait a
FC:AaP2B1 FC:AaP2B1 FC:aP1B2 idleWait
heatKeyWait
coolKeyWait
heatOffWait autoOnWait autoOffWait
FC:AaP2B1 FC:AaP2B2 FC:aP1B3 idleWait
heatKeyWait
coolKeyWait
coolOffWait autoOnWait autoOffWait
FC:AaP2B1 FC:AaP2B3 FC:aP1B4 idleWait
heatKeyWait
coolKeyWait
tempControlOff autoOnWait autoOffWait b
FC:FaP3B1 FC:FaP3B1 FC:aP1B5 idleWait
heatKeyWait
coolKeyWait
heatOffWait
coolOffWait
tempControlOff
fanOn autoOffWait a
FC:FaP3B1 FC:FaP3B2 FC:aP1B6 idleWait
heatKeyWait
coolKeyWait
tempControlOff fanOn autoOffWait b
FC:aAP4B1 FC:aAP4B1 FC:AP2B1 idleWait
heatKeyWait
coolKeyWait
heatOnWait autoOffWait autoOnWait
FC:aAP4B2 FC:aAP4B2 FC:AP2B2 idleWait
heatKeyWait
coolKeyWait
coolOnWait autoOffWait autoOnWait
FC:AAP5B1 FC:AAP5B1 FC:AP2B3 idleWait
heatKeyWait
coolKeyWait
heatOnWait autoOnWait autoOnWait
FC:AAP5B2 FC:AAP5B2 FC:AP2B4 idleWait
heatKeyWait
coolKeyWait
coolOnWait autoOnWait autoOnWait
FC:FAP6B1 FC:FAP6B1 FC:AP2B5 idleWait
heatKeyWait
coolKeyWait
heatOnWait fanOn autoOnWait
FC:FAP6B2 FC:FAP6B2 FC:AP2B6 idleWait
heatKeyWait
coolKeyWait
coolOnWait fanOn autoOnWait
FC:aFP7B1 FC:aFP7B1 FC:FP3B1 idleWait
heatKeyWait
coolKeyWait
heatOffWait
coolOffWait
tempControlOff
autoOffWait fanOn a
FC:aFP7B1 FC:aFP7B2 FC:FP3B2 idleWait
heatKeyWait
coolKeyWait
tempControlOff autoOffWait fanOn b
FC:AFP8B1 FC:AFP8B1 FC:FP3B3 idleWait
heatKeyWait
coolKeyWait
heatOnWait
coolOnWait
tempControlOff
autoOnWait fanOn b

PmBn = Partition m, Block n.

Each row of this table identifies corresponding blocks of the 3 fanControl region test designs in the thermostat example. These blocks, in the order given, are contained in the requests (shown in the yellow backgrounds) of the designs referenced below.

The stand-alone transition design illustrates a plan to test the 8 transitions among the 3 leaf states in the fanControl region on their own, independent of the other regions. A separate partition is used for each of the 8 transitions.

The integrated transition design provides test cases for the same 8 transitions in the context of the other 2 regions (tempSet and tempControl). The integrated transition design uses 8 partitions corresponding to those of the stand-alone transition design. 3 blocks from the stand-alone transition design (P2B1, P3B1 & P7B1) are split into 2 or 3 blocks in the integrated transition design, to accommodate constraints among the states of the different regions. Each of the other blocks from the stand-alone transition design corresponds to 1 block in the integrated transition design.

The integrated target state design groups the 8 transition partitions into 3 target state partitions for a reduced number of test cases. Each block in the integrated target state design has the same test values as the corresponding block in the integrated transition design.

There is no integrated propagation design for the fanControl region because it has no effects on other regions according to the state machine diagram.

Notes:
a. Off heat and cool temperature values are selected.
b. On heat and cool temperature values are selected.

Copyright © 2003-2018 Testcover.com, LLC. All rights reserved.