Testcover.com Testcover.com
Thermostat Example - tempSet 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
from
tempControl
(any of)
fanControl
(any of)
tempSet
to
Notes
TS:IIP1B1 TS:IIP1B1 TS:IP1B1 TS:IP1B1 idleWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
idleWait a, b, c
TS:IIP1B1 TS:IIP1B2 TS:IP1B2 TS:IP1B2 idleWait heatOnWait
coolOnWait
autoOnWait
fanOn
idleWait d, e
TS:HIP2B1 TS:HIP2B1 TS:IP1B3 TS:IP1B3 heatKeyWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
idleWait a, b, c
TS:HIP2B1 TS:HIP2B2 TS:IP1B4 TS:IP1B4 heatKeyWait heatOnWait
coolOnWait
autoOnWait
fanOn
idleWait d, e
TS:CIP3B1 TS:CIP3B1 TS:IP1B5 TS:IP1B5 coolKeyWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
idleWait a, b, c
TS:CIP3B1 TS:CIP3B2 TS:IP1B6 TS:IP1B6 coolKeyWait heatOnWait
coolOnWait
autoOnWait
fanOn
idleWait d, e
TS:IHP4B1 TS:IHP4B1 TS:HP2B1 idleWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
heatKeyWait a
TS:IHP4B1 TS:IHP4B2 TS:HP2B2 idleWait heatOnWait
coolOnWait
autoOnWait
fanOn
heatKeyWait d
TS:HHP5B1 TS:HHP5B1 TS:HP2B3 TS:HP2B1-2 heatKeyWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
heatKeyWait a, e, f
TS:HHP5B1 TS:HHP5B2 TS:HP2B4 TS:HP2B3-4 heatKeyWait heatOnWait
coolOnWait
autoOnWait
fanOn
heatKeyWait b, d, g
TS:HHP5B2 TS:HHP5B3 TS:HP2B5 heatKeyWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
heatKeyWait a, h
TS:HHP5B2 TS:HHP5B4 TS:HP2B6 heatKeyWait heatOnWait autoOnWait
fanOn
heatKeyWait h
TS:HHP5B2 TS:HHP5B5 TS:HP2B7 heatKeyWait coolOnWait autoOnWait
fanOn
heatKeyWait h
TS:HHP5B3 TS:HHP5B6 TS:HP2B8 heatKeyWait heatOffWait autoOffWait
fanOn
heatKeyWait i
TS:HHP5B3 TS:HHP5B7 TS:HP2B9 heatKeyWait coolOffWait
tempControlOff
autoOffWait
fanOn
heatKeyWait i
TS:HHP5B3 TS:HHP5B8 TS:HP2B10 heatKeyWait heatOnWait
coolOnWait
autoOnWait
fanOn
heatKeyWait d, i
TS:HCP6B1 TS:HCP6B1 TS:CP3B1 heatKeyWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
coolKeyWait a
TS:HCP6B1 TS:HCP6B2 TS:CP3B2 heatKeyWait heatOnWait
coolOnWait
autoOnWait
fanOn
coolKeyWait d
TS:CCP7B1 TS:CCP7B1 TS:CP3B3 TS:CP3B1-2 coolKeyWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
coolKeyWait a, e, j
TS:CCP7B1 TS:CCP7B2 TS:CP3B4 TS:CP3B3-4 coolKeyWait heatOnWait
coolOnWait
autoOnWait
fanOn
coolKeyWait b, d, k
TS:CCP7B2 TS:CCP7B3 TS:CP3B5 coolKeyWait heatOffWait
tempControlOff
autoOffWait
fanOn
coolKeyWait h
TS:CCP7B2 TS:CCP7B4 TS:CP3B6 coolKeyWait coolOffWait autoOffWait
fanOn
coolKeyWait h
TS:CCP7B2 TS:CCP7B5 TS:CP3B7 coolKeyWait heatOnWait
coolOnWait
autoOnWait
fanOn
coolKeyWait d, h
TS:CCP7B3 TS:CCP7B6 TS:CP3B8 coolKeyWait heatOffWait
coolOffWait
tempControlOff
autoOffWait
fanOn
coolKeyWait a, i
TS:CCP7B3 TS:CCP7B7 TS:CP3B9 coolKeyWait heatOnWait autoOnWait
fanOn
coolKeyWait i
TS:CCP7B3 TS:CCP7B8 TS:CP3B10 coolKeyWait coolOnWait autoOnWait
fanOn
coolKeyWait i

PmBn = Partition m, Block n.

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

The integrated transition design provides test cases for the same 7 transitions in the context of the other 2 regions (tempControl and fanControl). The integrated transition design uses 7 partitions corresponding to those of the stand-alone transition design. Blocks from the stand-alone transition design are split into 2 or more blocks in the integrated transition design, to accommodate constraints among the states of the different regions.

The integrated target state design groups the 7 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.

The integrated propagation design is for testing the effects of the tempSet 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. Off heat and cool temperature values are selected for stand-alone transition design, integrated transition design, and integrated target state design.
b. On heat and cool temperature values are selected for integrated propagation design.
c. tempControlOff state is not selected for integrated propagation design.
d. On heat and cool temperature values are selected for stand-alone transition design, integrated transition design, and integrated target state design.
e. Off heat and cool temperature values are selected for integrated propagation design.
f. coolOffWait and tempControlOff states are not selected for integrated propagation design.
g. coolOnWait state is not selected for integrated propagation design.
h. DOWN at minTemp is trigger event for internal do-nothing transition.
i. UP at maxTemp is trigger event for internal do-nothing transition.
j. heatOffWait and tempControlOff states are not selected for integrated propagation design.
k. heatOnWait state is not selected for integrated propagation design.

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