Testcover.com - Tutorial - Thermostat Example - tempSet Integrated Transition Design

	Testcover.com
		Tutorial - Thermostat Example - tempSet Integrated Transition Design

Home
Existing User Login
Brochure
Sign up for Risk-Free Trial
About Testcover.com
Frequently Asked Questions
Tutorial with Examples
->UML State Machine
--->Thermostat
--->Test Models
--->Design Procedure
--->tempSet Designs
----->Stand-alone Transition
----->Integrated Transition
----->Integrated Target State
----->Integrated Propagation
--->tempControl Designs
--->fanControl Designs
Performance
WSDL Interface
Background
Partners
Registrations
Contact Information

The Thermostat Example illustrates pairwise testing using a Unified Modeling Language (UML) state machine diagram. This test design is for the tempSet region, which allows the user to set the heating and cooling temperatures. It illustrates the integrated transition model, in which states of other regions are included as test factors. Each state transition in this region has one partition.

Requirements summary. Normally the thermostat displays the current room temperature. By pressing the SET button the user can select a state to display and set the temperature for heating or cooling. In these temperature setting states, the user can raise or lower the temperature setting by pressing the UP or DOWN button. Each UP/DOWN press changes the temperature setting by one degree, within operational limits. The thermostat returns to its current temperature display state after a timeout period. Details of the temperature setting operation are defined in the tempSet region of the UML state machine diagram.

Test model. In the tempSet region there are 3 leaf states: idleWait, heatKeyWait, and coolKeyWait. There are 7 state transitions corresponding to partitions:

# idleWait to idleWait
# heatKeyWait to idleWait
# coolKeyWait to idleWait
# idleWait to heatKeyWait
# heatKeyWait to heatKeyWait
# heatKeyWait to coolKeyWait
# coolKeyWait to coolKeyWait

These tempSet state transitions define the partitions for this integrated transition design as well as for the previous, stand-alone transition design. The difference is that the integrated transition design contains 2 additional test factors for the tempControl and fanControl states.

There are 7 test factors with values as follows.

Test Factor	Number of Values	Test Factor Values
1. roomTemp	4	49 70 78 100
2. heatTemp	4	50 51 98 99
3. coolTemp	4	50 51 98 99
4. tempSet state	3	idleWait heatKeyWait coolKeyWait
5. tempControl state	5	heatOffWait heatOnWait coolOffWait coolOnWait tempControlOff
6. fanControl state	3	autoOffWait autoOnWait fanOn
7. event	12	IDLE_TIMEOUT H_KEY_TIMEOUT C_KEY_TIMEOUT SET UP[heatTemp<maxTemp] UP[heatTemp>=maxTemp] DOWN[heatTemp>minTemp] DOWN[heatTemp<=minTemp] UP[coolTemp<maxTemp] UP[coolTemp>=maxTemp] DOWN[coolTemp>minTemp] DOWN[coolTemp<=minTemp]

The test design is constructed following steps 7-11 of the design procedure. The relationship between the blocks of the tempSet stand-alone transition design and those of the integrated transition design is presented in the tempSet mapping table. Generally each block of the tempSet stand-alone transition design is mapped to 2 blocks in the integrated transition model, to test persistent combinations of states when the furnace or air conditioner is either on or off. Usually the roomTemp, heatTemp, and coolTemp values can be selected so that a single block contains either on or off values for both the furnace and air conditioner. However, the blocks for testing the heatTemp and coolTemp limits in partitions 5 and 7 require a mapping to 3 blocks each for consistent program variable values. For example, P5B2 in the stand-alone transition design is mapped to P5B3 (off), P5B4 (furnace on), and P5B6 (air conditioner on) in the integrated transition design.

The test case generator request is given below. The partition prefix TS:II indicates the region, tempSet (TS), and the transition, e.g. idleWait to idleWait (II), for each test case.
Thermostat Example - tempSet integrated transition design roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event #TS:II idleWait to idleWait + idleWait to idleWait (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 50 51 98 99 idleWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn IDLE_TIMEOUT + idleWait to idleWait (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 98 99 50 51 idleWait heatOnWait coolOnWait autoOnWait fanOn IDLE_TIMEOUT #TS:HI heatKeyWait to idleWait + heatKeyWait to idleWait (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 50 51 98 99 heatKeyWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn H_KEY_TIMEOUT + heatKeyWait to idleWait (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 98 99 50 51 heatKeyWait heatOnWait coolOnWait autoOnWait fanOn H_KEY_TIMEOUT #TS:CI coolKeyWait to idleWait + coolKeyWait to idleWait (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 50 51 98 99 coolKeyWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn C_KEY_TIMEOUT SET + coolKeyWait to idleWait (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 98 99 50 51 coolKeyWait heatOnWait coolOnWait autoOnWait fanOn C_KEY_TIMEOUT SET #TS:IH idleWait to heatKeyWait + idleWait to heatKeyWait (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 50 51 98 99 idleWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn SET + idleWait to heatKeyWait (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 98 99 50 51 idleWait heatOnWait coolOnWait autoOnWait fanOn SET #TS:HH heatKeyWait to heatKeyWait + heatKeyWait to heatKeyWait (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 51 98 heatKeyWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn UP[heatTemp<maxTemp] DOWN[heatTemp>minTemp] + heatKeyWait to heatKeyWait (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 98 51 heatKeyWait heatOnWait coolOnWait autoOnWait fanOn UP[heatTemp<maxTemp] DOWN[heatTemp>minTemp] + internal transition down (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 50 99 heatKeyWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn DOWN[heatTemp<=minTemp] + internal transition down heatOnWait x (autoOnWait fanOn) 49 50 50 heatKeyWait heatOnWait autoOnWait fanOn DOWN[heatTemp<=minTemp] + internal transition down coolOnWait x (autoOnWait fanOn) 70 78 50 50 heatKeyWait coolOnWait autoOnWait fanOn DOWN[heatTemp<=minTemp] + internal transition up heatOffWait x (autoOffWait fanOn) 100 99 99 heatKeyWait heatOffWait autoOffWait fanOn UP[heatTemp>=maxTemp] + internal transition up (coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 99 99 heatKeyWait coolOffWait tempControlOff autoOffWait fanOn UP[heatTemp>=maxTemp] + internal transition up (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 99 50 heatKeyWait heatOnWait coolOnWait autoOnWait fanOn UP[heatTemp>=maxTemp] #TS:HC heatKeyWait to coolKeyWait + heatKeyWait to coolKeyWait (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 50 51 98 99 heatKeyWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn SET + heatKeyWait to coolKeyWait (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 98 99 50 51 heatKeyWait heatOnWait coolOnWait autoOnWait fanOn SET #TS:CC coolKeyWait to coolKeyWait + coolKeyWait to coolKeyWait (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 51 98 coolKeyWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn UP[coolTemp<maxTemp] DOWN[coolTemp>minTemp] + coolKeyWait to coolKeyWait (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 98 51 coolKeyWait heatOnWait coolOnWait autoOnWait fanOn UP[coolTemp<maxTemp] DOWN[coolTemp>minTemp] + internal transition down (heatOffWait tempControlOff) x (autoOffWait fanOn) 70 78 50 50 coolKeyWait heatOffWait tempControlOff autoOffWait fanOn DOWN[coolTemp<=minTemp] + internal transition down coolOffWait x (autoOffWait fanOn) 49 50 50 coolKeyWait coolOffWait autoOffWait fanOn DOWN[coolTemp<=minTemp] + internal transition down (heatOnWait coolOnWait) x (autoOnWait fanOn) 70 78 99 50 coolKeyWait heatOnWait coolOnWait autoOnWait fanOn DOWN[coolTemp<=minTemp] + internal transition up (heatOffWait coolOffWait tempControlOff) x (autoOffWait fanOn) 70 78 50 99 coolKeyWait heatOffWait coolOffWait tempControlOff autoOffWait fanOn UP[coolTemp>=maxTemp] + internal transition up heatOnWait x (autoOnWait fanOn) 70 78 99 99 coolKeyWait heatOnWait autoOnWait fanOn UP[coolTemp>=maxTemp] + internal transition up coolOnWait x (autoOnWait fanOn) 100 99 99 coolKeyWait coolOnWait autoOnWait fanOn UP[coolTemp>=maxTemp]

The tempSet region has 105 test cases in 7 partitions in the integrated transition design. The results tables follow.

#1. idleWait to idleWait

Test
Case ID roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown

2 Values 4 Values 4 Values 1 Value 5 Values 3 Values 1 Value 164

TS:II1 70 51 99 idleWait tempControlOff fanOn IDLE_TIMEOUT 143

TS:II2 78 99 51 idleWait heatOnWait autoOnWait IDLE_TIMEOUT 123

TS:II3 78 50 98 idleWait tempControlOff autoOffWait IDLE_TIMEOUT 107

TS:II4 78 98 50 idleWait coolOnWait fanOn IDLE_TIMEOUT 91

TS:II5 78 51 99 idleWait coolOffWait autoOffWait IDLE_TIMEOUT 81

TS:II6 70 50 99 idleWait heatOffWait autoOffWait IDLE_TIMEOUT 72

TS:II7 70 98 50 idleWait heatOnWait autoOnWait IDLE_TIMEOUT 64

TS:II8 70 50 98 idleWait coolOffWait fanOn IDLE_TIMEOUT 57

TS:II9 78 51 98 idleWait heatOffWait fanOn IDLE_TIMEOUT 52

TS:II10 70 99 50 idleWait coolOnWait autoOnWait IDLE_TIMEOUT 47

TS:II11 70 98 51 idleWait heatOnWait fanOn IDLE_TIMEOUT 43

TS:II12 78 99 51 idleWait coolOnWait fanOn IDLE_TIMEOUT 41

The test cases in partition 1 test the timeout transition from the idleWait state with all persistent pairs of tempControl and fanControl states. Set-up for test case TS:II1 is described below.

TS:II1 is set up starting in the idleWait state. The SET button is pressed to take the tempSet state to heatKeyWait, and the UP or DOWN button is pressed as needed to set the heatTemp to 51. Next the SET button is pressed to take the tempSet state to coolKeyWait, and the UP button is pressed repeatedly to set the coolTemp to 99. The SET button is pressed again to take the tempSet state to idleWait. The mode switch is set to OFF, and the fan switch is set to ON. The temperature sensor simulator is set to 70.

#2. heatKeyWait to idleWait

Test
Case ID roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown

2 Values 4 Values 4 Values 1 Value 5 Values 3 Values 1 Value 164

TS:HI1 70 51 99 heatKeyWait tempControlOff fanOn H_KEY_TIMEOUT 143

TS:HI2 78 99 51 heatKeyWait heatOnWait autoOnWait H_KEY_TIMEOUT 123

TS:HI3 78 50 98 heatKeyWait tempControlOff autoOffWait H_KEY_TIMEOUT 107

TS:HI4 78 98 50 heatKeyWait coolOnWait fanOn H_KEY_TIMEOUT 91

TS:HI5 78 51 99 heatKeyWait coolOffWait autoOffWait H_KEY_TIMEOUT 81

TS:HI6 70 50 99 heatKeyWait heatOffWait autoOffWait H_KEY_TIMEOUT 72

TS:HI7 70 98 50 heatKeyWait heatOnWait autoOnWait H_KEY_TIMEOUT 64

TS:HI8 70 50 98 heatKeyWait coolOffWait fanOn H_KEY_TIMEOUT 57

TS:HI9 78 51 98 heatKeyWait heatOffWait fanOn H_KEY_TIMEOUT 52

TS:HI10 70 99 50 heatKeyWait coolOnWait autoOnWait H_KEY_TIMEOUT 47

TS:HI11 70 98 51 heatKeyWait heatOnWait fanOn H_KEY_TIMEOUT 43

TS:HI12 78 99 51 heatKeyWait coolOnWait fanOn H_KEY_TIMEOUT 41

The test cases in partition 2 test the timeout transition from the heatKeyWait state with all persistent pairs of tempControl and fanControl states.

#3. coolKeyWait to idleWait

Test
Case ID roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown

2 Values 4 Values 4 Values 1 Value 5 Values 3 Values 2 Values 183

TS:CI1 70 50 99 coolKeyWait tempControlOff autoOffWait C_KEY_TIMEOUT 162

TS:CI2 78 99 51 coolKeyWait coolOnWait fanOn SET 141

TS:CI3 70 98 50 coolKeyWait heatOnWait autoOnWait C_KEY_TIMEOUT 123

TS:CI4 70 51 98 coolKeyWait coolOffWait autoOffWait SET 106

TS:CI5 78 50 98 coolKeyWait coolOffWait fanOn C_KEY_TIMEOUT 94

TS:CI6 70 50 99 coolKeyWait heatOffWait fanOn SET 84

TS:CI7 78 51 98 coolKeyWait heatOffWait autoOffWait C_KEY_TIMEOUT 76

TS:CI8 78 99 51 coolKeyWait heatOnWait autoOnWait C_KEY_TIMEOUT 68

TS:CI9 78 98 50 coolKeyWait coolOnWait fanOn C_KEY_TIMEOUT 61

TS:CI10 78 51 98 coolKeyWait tempControlOff fanOn SET 55

TS:CI11 70 99 50 coolKeyWait coolOnWait autoOnWait SET 49

TS:CI12 70 98 51 coolKeyWait heatOnWait fanOn SET 44

TS:CI13 78 51 99 coolKeyWait coolOffWait fanOn C_KEY_TIMEOUT 41

The test cases in partition 3 test the timeout and SET transitions from the coolKeyWait state with all persistent pairs of tempControl and fanControl states. Each event value is paired with each of the tempControl and fanControl states. Set-up for test case TS:CI2 is described below.

TS:CI2 is set up starting in the idleWait state. The SET button is pressed to take the tempSet state to heatKeyWait, and the UP button is pressed repeatedly to set the heatTemp to 99. Next the SET button is pressed to take the tempSet state to coolKeyWait, and the UP or DOWN button is pressed as needed to set the coolTemp to 51. The temperature sensor simulator is set to 78. The mode switch is set to COOL, and the fan switch is set to ON. The SET button is pressed again before the coolKeyWait timeout occurs.

#4. idleWait to heatKeyWait

Test
Case ID roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown

2 Values 4 Values 4 Values 1 Value 5 Values 3 Values 1 Value 164

TS:IH1 70 51 99 idleWait tempControlOff fanOn SET 143

TS:IH2 78 99 51 idleWait heatOnWait autoOnWait SET 123

TS:IH3 78 50 98 idleWait tempControlOff autoOffWait SET 107

TS:IH4 78 98 50 idleWait coolOnWait fanOn SET 91

TS:IH5 78 51 99 idleWait coolOffWait autoOffWait SET 81

TS:IH6 70 50 99 idleWait heatOffWait autoOffWait SET 72

TS:IH7 70 98 50 idleWait heatOnWait autoOnWait SET 64

TS:IH8 70 50 98 idleWait coolOffWait fanOn SET 57

TS:IH9 78 51 98 idleWait heatOffWait fanOn SET 52

TS:IH10 70 99 50 idleWait coolOnWait autoOnWait SET 47

TS:IH11 70 98 51 idleWait heatOnWait fanOn SET 43

TS:IH12 78 99 51 idleWait coolOnWait fanOn SET 41

The test cases in partition 4 test the SET transition from the idleWait state with all persistent pairs of tempControl and fanControl states.

#5. heatKeyWait to heatKeyWait

Test
Case ID roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown

4 Values 4 Values 4 Values 1 Value 5 Values 3 Values 4 Values 263

TS:HH1 70 51 98 heatKeyWait tempControlOff fanOn DOWN[heatTemp>minTemp] 242

TS:HH2 78 50 99 heatKeyWait coolOffWait autoOffWait DOWN[heatTemp<=minTemp] 221

TS:HH3 70 98 51 heatKeyWait heatOnWait autoOnWait UP[heatTemp<maxTemp] 201

TS:HH4 100 99 99 heatKeyWait heatOffWait fanOn UP[heatTemp>=maxTemp] 182

TS:HH5 49 50 50 heatKeyWait heatOnWait fanOn DOWN[heatTemp<=minTemp] 166

TS:HH6 78 99 50 heatKeyWait coolOnWait autoOnWait UP[heatTemp>=maxTemp] 151

TS:HH7 78 51 98 heatKeyWait tempControlOff autoOffWait UP[heatTemp<maxTemp] 140

TS:HH8 78 98 51 heatKeyWait coolOnWait fanOn UP[heatTemp<maxTemp] 130

TS:HH9 70 99 99 heatKeyWait coolOffWait autoOffWait UP[heatTemp>=maxTemp] 121

TS:HH10 70 50 50 heatKeyWait coolOnWait autoOnWait DOWN[heatTemp<=minTemp] 113

TS:HH11 70 51 98 heatKeyWait heatOffWait autoOffWait DOWN[heatTemp>minTemp] 107

TS:HH12 78 51 98 heatKeyWait coolOffWait fanOn DOWN[heatTemp>minTemp] 102

TS:HH13 78 98 51 heatKeyWait coolOnWait autoOnWait DOWN[heatTemp>minTemp] 98

TS:HH14 78 50 99 heatKeyWait heatOffWait fanOn DOWN[heatTemp<=minTemp] 95

TS:HH15 70 50 99 heatKeyWait tempControlOff fanOn DOWN[heatTemp<=minTemp] 92

TS:HH16 78 99 50 heatKeyWait heatOnWait fanOn UP[heatTemp>=maxTemp] 89

TS:HH17 78 99 99 heatKeyWait tempControlOff autoOffWait UP[heatTemp>=maxTemp] 87

TS:HH18 70 51 98 heatKeyWait coolOffWait autoOffWait UP[heatTemp<maxTemp] 86

TS:HH19 78 51 98 heatKeyWait heatOffWait fanOn UP[heatTemp<maxTemp] 85

TS:HH20 78 98 51 heatKeyWait heatOnWait fanOn DOWN[heatTemp>minTemp] 84

TS:HH21 49 50 50 heatKeyWait heatOnWait autoOnWait DOWN[heatTemp<=minTemp] 83

TS:HH22 100 99 99 heatKeyWait heatOffWait autoOffWait UP[heatTemp>=maxTemp] 82

In partition 5, 5 test cases lower the heatTemp setting, and 5 test cases raise the heatTemp setting. 6 cases test the lower heatTemp limit, and 6 test the upper limit. All persistent pairs of tempControl and fanControl states are included, and each event value is paired with each of the tempControl and fanControl states.

#6. heatKeyWait to coolKeyWait

Test
Case ID roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown

2 Values 4 Values 4 Values 1 Value 5 Values 3 Values 1 Value 164

TS:HC1 70 51 99 heatKeyWait tempControlOff fanOn SET 143

TS:HC2 78 99 51 heatKeyWait heatOnWait autoOnWait SET 123

TS:HC3 78 50 98 heatKeyWait tempControlOff autoOffWait SET 107

TS:HC4 78 98 50 heatKeyWait coolOnWait fanOn SET 91

TS:HC5 78 51 99 heatKeyWait coolOffWait autoOffWait SET 81

TS:HC6 70 50 99 heatKeyWait heatOffWait autoOffWait SET 72

TS:HC7 70 98 50 heatKeyWait heatOnWait autoOnWait SET 64

TS:HC8 70 50 98 heatKeyWait coolOffWait fanOn SET 57

TS:HC9 78 51 98 heatKeyWait heatOffWait fanOn SET 52

TS:HC10 70 99 50 heatKeyWait coolOnWait autoOnWait SET 47

TS:HC11 70 98 51 heatKeyWait heatOnWait fanOn SET 43

TS:HC12 78 99 51 heatKeyWait coolOnWait fanOn SET 41

The test cases in partition 6 test the SET transition from the heatKeyWait state with all persistent pairs of tempControl and fanControl states.

#7. coolKeyWait to coolKeyWait

Test
Case ID roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown

4 Values 4 Values 4 Values 1 Value 5 Values 3 Values 4 Values 263

TS:CC1 70 51 98 coolKeyWait tempControlOff fanOn DOWN[coolTemp>minTemp] 242

TS:CC2 49 50 50 coolKeyWait coolOffWait autoOffWait DOWN[coolTemp<=minTemp] 221

TS:CC3 78 99 99 coolKeyWait heatOnWait autoOnWait UP[coolTemp>=maxTemp] 200

TS:CC4 78 98 51 coolKeyWait coolOnWait fanOn UP[coolTemp<maxTemp] 181

TS:CC5 70 50 99 coolKeyWait heatOffWait autoOffWait UP[coolTemp>=maxTemp] 167

TS:CC6 70 99 50 coolKeyWait coolOnWait fanOn DOWN[coolTemp<=minTemp] 155

TS:CC7 78 51 98 coolKeyWait tempControlOff autoOffWait UP[coolTemp<maxTemp] 144

TS:CC8 70 98 51 coolKeyWait heatOnWait autoOnWait UP[coolTemp<maxTemp] 133

TS:CC9 100 99 99 coolKeyWait coolOnWait fanOn UP[coolTemp>=maxTemp] 123

TS:CC10 78 50 50 coolKeyWait heatOffWait fanOn DOWN[coolTemp<=minTemp] 115

TS:CC11 78 51 98 coolKeyWait coolOffWait fanOn DOWN[coolTemp>minTemp] 109

TS:CC12 78 98 51 coolKeyWait coolOnWait autoOnWait DOWN[coolTemp>minTemp] 104

TS:CC13 70 51 98 coolKeyWait heatOffWait autoOffWait DOWN[coolTemp>minTemp] 100

TS:CC14 70 99 50 coolKeyWait heatOnWait autoOnWait DOWN[coolTemp<=minTemp] 96

TS:CC15 78 50 50 coolKeyWait tempControlOff autoOffWait DOWN[coolTemp<=minTemp] 93

TS:CC16 70 50 99 coolKeyWait coolOffWait fanOn UP[coolTemp>=maxTemp] 90

TS:CC17 78 98 51 coolKeyWait heatOnWait fanOn DOWN[coolTemp>minTemp] 88

TS:CC18 70 50 99 coolKeyWait tempControlOff fanOn UP[coolTemp>=maxTemp] 86

TS:CC19 70 51 98 coolKeyWait coolOffWait autoOffWait UP[coolTemp<maxTemp] 85

TS:CC20 78 51 98 coolKeyWait heatOffWait fanOn UP[coolTemp<maxTemp] 84

TS:CC21 49 50 50 coolKeyWait coolOffWait fanOn DOWN[coolTemp<=minTemp] 83

TS:CC22 100 99 99 coolKeyWait coolOnWait autoOnWait UP[coolTemp>=maxTemp] 82

In partition 7, 5 test cases lower the coolTemp setting, and 5 test cases raise the coolTemp setting. 6 cases test the lower coolTemp limit, and 6 test the upper limit. All persistent pairs of tempControl and fanControl states are included, and each event value is paired with each of the tempControl and fanControl states.