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.