Testcover.com Testcover.com
Thermostat Example - tempControl Test Model Mapping
Stand-alone
Transition Model
Integrated
Transition Model
Integrated
Target State Model
Integrated
Propagation Model
Thermostat States
Partition
Prefix
Partition
& Block
Partition
Prefix
Partition
& Block
Partition
Prefix
Partition
& Block
Partition
Prefix
Partition
& Block
tempSet
(any of)
tempControl
from
fanControl
(any of)
tempControl
to
Notes
TC:thP1B1 TC:thP1B1 TC:hP1B1 idleWait
heatKeyWait
coolKeyWait
tempControlOff autoOffWait
autoOnWait
fanOn
heatOffWait a
TC:hhP2B1 TC:hhP2B1 TC:hP1B2 idleWait
heatKeyWait
coolKeyWait
heatOffWait autoOffWait
fanOn
heatOffWait
TC:HhP3B1 TC:HhP3B1 TC:hP1B3 TC:hP1B1 idleWait
heatKeyWait
coolKeyWait
heatOnWait autoOnWait
fanOn
heatOffWait b
TC:tHP4B1 TC:tHP4B1 TC:HP2B1 TC:HP2B1 idleWait
heatKeyWait
coolKeyWait
tempControlOff autoOffWait
autoOnWait
fanOn
heatOnWait a, b, c
TC:hHP5B1 TC:hHP5B1 TC:HP2B2 TC:HP2B2 idleWait
heatKeyWait
coolKeyWait
heatOffWait autoOffWait
fanOn
heatOnWait b
TC:HHP6B1 TC:HHP6B1 TC:HP2B3 idleWait
heatKeyWait
coolKeyWait
heatOnWait autoOnWait
fanOn
heatOnWait
TC:tcP7B1 TC:tcP7B1 TC:cP3B1 idleWait
heatKeyWait
coolKeyWait
tempControlOff autoOffWait
autoOnWait
fanOn
coolOffWait a
TC:ccP8B1 TC:ccP8B1 TC:cP3B2 idleWait
heatKeyWait
coolKeyWait
coolOffWait autoOffWait
fanOn
coolOffWait
TC:CcP9B1 TC:CcP9B1 TC:cP3B3 TC:cP3B1 idleWait
heatKeyWait
coolKeyWait
coolOnWait autoOnWait
fanOn
coolOffWait b
TC:tCP10B1 TC:tCP10B1 TC:CP4B1 TC:CP4B1 idleWait
heatKeyWait
coolKeyWait
tempControlOff autoOffWait
autoOnWait
fanOn
coolOnWait a, b, c
TC:cCP11B1 TC:cCP11B1 TC:CP4B2 TC:CP4B2 idleWait
heatKeyWait
coolKeyWait
coolOffWait autoOffWait
fanOn
coolOnWait b
TC:CCP12B1 TC:CCP12B1 TC:CP4B3 idleWait
heatKeyWait
coolKeyWait
coolOnWait autoOnWait
fanOn
coolOnWait
TC:htP13B1 TC:htP13B1 TC:tP5B1 idleWait
heatKeyWait
coolKeyWait
heatOffWait autoOffWait
autoOnWait
fanOn
tempControlOff a
TC:HtP14B1 TC:HtP14B1 TC:tP5B2 TC:tP5B1 idleWait
heatKeyWait
coolKeyWait
heatOnWait autoOffWait
autoOnWait
fanOn
tempControlOff a, b, d
TC:ctP15B1 TC:ctP15B1 TC:tP5B3 idleWait
heatKeyWait
coolKeyWait
coolOffWait autoOffWait
autoOnWait
fanOn
tempControlOff a
TC:CtP16B1 TC:CtP16B1 TC:tP5B4 TC:tP5B2 idleWait
heatKeyWait
coolKeyWait
coolOnWait autoOffWait
autoOnWait
fanOn
tempControlOff a, b, d

PmBn = Partition m, Block n.

Each row of this table identifies corresponding blocks of the 4 tempControl 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 16 transitions among the 5 leaf states in the tempControl region on their own, independent of the other regions. A separate partition is used for each of the 16 transitions.

The integrated transition design provides test cases for the same 16 transitions in the context of the other 2 regions (tempSet and fanControl). The integrated transition design uses 16 partitions corresponding to those of the stand-alone transition design. Each block from the stand-alone transition design corresponds to 1 block in the integrated transition design.

The integrated target state design groups the 16 transition partitions into 5 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.

The integrated propagation design is for testing the effects of the tempControl region's transitions on the rest of the system. Combinations of states, trigger events, and program variable values are selected to test the interactions with other regions.Transitions that should not affect other regions according to the state machine diagram are not included in the integrated propagation design. Blocks not listed in the table above, and states not selected in the notes below, correspond to expected negative results.

Notes:
a. Mode switch may be used to set fanControl state to autoOffWait or autoOnWait for test case set-up.
b. fanOn state is not selected for integrated propagation design.
c. autoOnWait state is not selected for integrated propagation design.
d. autoOffWait state is not selected for integrated propagation design.

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