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.