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.