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

Home
Existing User Login
Brochure
Sign up for Risk-Free Trial
About Testcover.com
Frequently Asked Questions
Tutorial with Examples
->Equivalence Partitioning
->UML State Machines
--->Shopping Cart Example
--->Thermostat Example
--->Test Models, 3 Regions
--->Design Procedure
--->tempSet Designs
--->tempControl Designs
--->fanControl Designs
----->Stand-alone Transition
----->Integrated Transition
----->Integrated Target State
->Definitions of Terms
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 fanControl region, which controls the operation of the fan circulating the air. 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. Control of the air circulation fan is set with a sliding switch having two positions: AUTO and ON. In the AUTO position the fan is on whenever the furnace or air conditioner is on. In the ON position, the fan circulates air continually. Details of the fan control operation are defined in the fanControl region of the UML state machine diagram.

Test model. In the fanControl region there are 3 leaf states: autoOffWait, autoOnWait, fanOn. There are 8 state transitions corresponding to partitions:

# autoOffWait to autoOffWait
# autoOnWait to autoOffWait
# fanOn to autoOffWait
# autoOffWait to autoOnWait
# autoOnWait to autoOnWait
# fanOn to autoOn
# autoOffWait to fanOn
# autoOnWait to fanOn

There are 7 test factors with values as follows.

Test FactorNumber of ValuesTest Factor Values
1. roomTemp4 49 70 78 100
2. heatTemp4 50 69 79 99
3. coolTemp4 50 69 79 99
4. tempSet state3 idleWait heatKeyWait coolKeyWait
5. tempControl state5 heatOffWait heatOnWait coolOffWait coolOnWait tempControlOff
6. fanControl state3 autoOffWait autoOnWait fanOn
7. event10 A_OFF_TIMEOUT[tempControl->is_in(heatOnWait)]
A_OFF_TIMEOUT[tempControl->is_in(coolOnWait)]
A_OFF_TIMEOUT[else]
A_ON_TIMEOUT[tempControl->is_in(heatOnWait)]
A_ON_TIMEOUT[tempControl->is_in(coolOnWait)]
A_ON_TIMEOUT[else]
AUTO[tempControl->is_in(heatOnWait)]
AUTO[tempControl->is_in(coolOnWait)]
AUTO[else] ON

The else trigger events represent events with tempControl in any state other than heatOnWait or coolOnWait.

The test design is constructed following steps 7-11 of the design procedure. The relationship between the blocks of the fanControl stand-alone transition design and those of the integrated transition design are shown in the fanControl mapping table. Partition 2 of the stand-alone transition design is split into 3 blocks in the integrated transition design to distinguish among the tempControl else states. Also partitions 3 and 7 are split to allow the association of on temperatures with the tempControlOff state.

The test case generator request is given below. The partition prefix FC:aa indicates the region, fanControl (FC), and the transition, e.g. autoOffWait to autoOffWait (aa), for each test case.
Thermostat Example - fanControl integrated transition design
roomTemp
heatTemp
coolTemp
tempSet state
tempControl state
fanControl state
event
#FC:aa autoOffWait to autoOffWait
+ autoOffWait to autoOffWait (off temps)
70 78
50 69
79 99
idleWait heatKeyWait coolKeyWait
heatOffWait coolOffWait tempControlOff
autoOffWait
A_OFF_TIMEOUT[else]
#FC:Aa autoOnWait to autoOffWait
+ autoOnWait to autoOffWait (off temps, after heatOnWait)
70
69
79 99
idleWait heatKeyWait coolKeyWait
heatOffWait
autoOnWait
A_ON_TIMEOUT[else]
+ autoOnWait to autoOffWait (off temps, after coolOnWait)
78
50 69
79
idleWait heatKeyWait coolKeyWait
coolOffWait
autoOnWait
A_ON_TIMEOUT[else]
+ autoOnWait to autoOffWait (on temps)
70 78
79 99
50 69
idleWait heatKeyWait coolKeyWait
tempControlOff
autoOnWait
A_ON_TIMEOUT[else]
#FC:Fa fanOn to autoOffWait
+ fanOn to autoOffWait (off temps)
70 78
50 69
79 99
idleWait heatKeyWait coolKeyWait
heatOffWait coolOffWait tempControlOff
fanOn
AUTO[else]
+ fanOn to autoOffWait (on temps)
70 78
79 99
50 69
idleWait heatKeyWait coolKeyWait
tempControlOff
fanOn
AUTO[else]
#FC:aA autoOffWait to autoOnWait
+ autoOffWait to autoOnWait (heat)
49 78
79 99
50 69
idleWait heatKeyWait coolKeyWait
heatOnWait
autoOffWait
A_OFF_TIMEOUT[tempControl->is_in(heatOnWait)]
+ autoOffWait to autoOnWait (cool)
70 100
79 99
50 69
idleWait heatKeyWait coolKeyWait
coolOnWait
autoOffWait
A_OFF_TIMEOUT[tempControl->is_in(coolOnWait)]
#FC:AA autoOnWait to autoOnWait
+ autoOnWait to autoOnWait (heat)
49 78
79 99
50 69
idleWait heatKeyWait coolKeyWait
heatOnWait
autoOnWait
A_ON_TIMEOUT[tempControl->is_in(heatOnWait)]
+ autoOnWait to autoOnWait (cool)
70 100
79 99
50 69
idleWait heatKeyWait coolKeyWait
coolOnWait
autoOnWait
A_ON_TIMEOUT[tempControl->is_in(coolOnWait)]
#FC:FA fanOn to autoOnWait
+ fanOn to autoOnWait (heat)
49 78
79 99
50 69
idleWait heatKeyWait coolKeyWait
heatOnWait
fanOn
AUTO[tempControl->is_in(heatOnWait)]
+ fanOn to autoOnWait (cool)
70 100
79 99
50 69
idleWait heatKeyWait coolKeyWait
coolOnWait
fanOn
AUTO[tempControl->is_in(coolOnWait)]
#FC:aF autoOffWait to fanOn
+ autoOffWait to fanOn (off temps)
70 78
50 69
79 99
idleWait heatKeyWait coolKeyWait
heatOffWait coolOffWait tempControlOff
autoOffWait
ON
+ autoOffWait to fanOn (on temps)
70 78
79 99
50 69
idleWait heatKeyWait coolKeyWait
tempControlOff
autoOffWait
ON
#FC:AF autoOnWait to fanOn
+ autoOnWait to fanOn (on temps)
70 78
79 99
50 69
idleWait heatKeyWait coolKeyWait
heatOnWait coolOnWait tempControlOff
autoOnWait
ON

The fanControl region has 96 test cases in 8 partitions in the integrated transition design. The results tables follow.

#1. autoOffWait to autoOffWait
Test
Case ID
roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown
2 Values2 Values2 Values3 Values3 Values1 Value1 Value82
FC:aa1706979coolKeyWaittempControlOffautoOffWaitA_OFF_TIMEOUT[else]61
FC:aa2785099idleWaittempControlOffautoOffWaitA_OFF_TIMEOUT[else]43
FC:aa3785079heatKeyWaitcoolOffWaitautoOffWaitA_OFF_TIMEOUT[else]30
FC:aa4706999heatKeyWaitheatOffWaitautoOffWaitA_OFF_TIMEOUT[else]19
FC:aa5706999idleWaitcoolOffWaitautoOffWaitA_OFF_TIMEOUT[else]13
FC:aa6786999coolKeyWaitheatOffWaitautoOffWaitA_OFF_TIMEOUT[else]8
FC:aa7785079idleWaitheatOffWaitautoOffWaitA_OFF_TIMEOUT[else]4
FC:aa8705099coolKeyWaitcoolOffWaitautoOffWaitA_OFF_TIMEOUT[else]1
FC:aa9705079heatKeyWaittempControlOffautoOffWaitA_OFF_TIMEOUT[else]0

The test cases in partition 1 test the timeout transition from autoOffWait to autoOffWait with all pairs of tempSet and tempControl else states (not heatOnWait or coolOnWait). Test case set-up is illustrated for FC:aa1 below.

FC:aa1 is set up by setting the temperature sensor simulator to 70, heatTemp to 69, and coolTemp to 79. The mode switch is set to OFF, and the fan switch is set to AUTO. After the tempSet, tempControl, and fanControl states are idleWait, tempControlOff, and autoOffWait, the SET button is pressed twice to take the tempSet state to coolKeyWait before the autoOffWait timeout occurs.

#2. autoOnWait to autoOffWait
Test
Case ID
roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown
2 Values4 Values4 Values3 Values3 Values1 Value1 Value134
FC:Aa1706979idleWaitheatOffWaitautoOnWaitA_ON_TIMEOUT[else]113
FC:Aa2789969heatKeyWaittempControlOffautoOnWaitA_ON_TIMEOUT[else]93
FC:Aa3785079coolKeyWaitcoolOffWaitautoOnWaitA_ON_TIMEOUT[else]77
FC:Aa4707950heatKeyWaittempControlOffautoOnWaitA_ON_TIMEOUT[else]64
FC:Aa5706999coolKeyWaitheatOffWaitautoOnWaitA_ON_TIMEOUT[else]55
FC:Aa6789950idleWaittempControlOffautoOnWaitA_ON_TIMEOUT[else]49
FC:Aa7786979heatKeyWaitcoolOffWaitautoOnWaitA_ON_TIMEOUT[else]44
FC:Aa8709969coolKeyWaittempControlOffautoOnWaitA_ON_TIMEOUT[else]39
FC:Aa9707969idleWaittempControlOffautoOnWaitA_ON_TIMEOUT[else]36
FC:Aa10787950coolKeyWaittempControlOffautoOnWaitA_ON_TIMEOUT[else]33
FC:Aa11706999heatKeyWaitheatOffWaitautoOnWaitA_ON_TIMEOUT[else]31
FC:Aa12785079idleWaitcoolOffWaitautoOnWaitA_ON_TIMEOUT[else]29
FC:Aa13706999idleWaitheatOffWaitautoOnWaitA_ON_TIMEOUT[else]28
FC:Aa14785079heatKeyWaitcoolOffWaitautoOnWaitA_ON_TIMEOUT[else]27

The test cases in partition 2 test the timeout transition from autoOnWait to autoOffWait with all pairs of tempSet and tempControl else states (not heatOnWait or coolOnWait). Each of these test cases includes a transient pair of current states, a tempControl else state with autoOnWait, before the autoOnWait timeout. The test cases are set up with tempControl in the heatOnWait or coolOnWait state, as illustrated for FC:Aa2 and FC:Aa3 below.

FC:Aa2 is set up by setting the temperature sensor simulator to 78, heatTemp to 99, and coolTemp to 69. The mode switch is set to HEAT, and the fan switch is set to AUTO. After the tempSet, tempControl, and fanControl states are idleWait, heatOnWait, and autoOnWait, the SET button is pressed to take the tempSet state to heatKeyWait. The mode switch is moved from HEAT to OFF before the heatkeyWait and autoOnWait timeouts occur.

FC:Aa3 is set up by setting the temperature sensor simulator to 100, heatTemp to 50, and coolTemp to 79. The mode switch is set to COOL, and the fan switch is set to AUTO. After the tempSet, tempControl, and fanControl states are idleWait, coolOnWait, and autoOnWait, the SET button is pressed twice to take the tempSet state to coolKeyWait. The temperature sensor simulator is set to 78, and the SET button is pressed three times, to set the roomTemp value in the idleWait state and to return the tempSet region to the coolKeyWait state before the autoOnWait timeout occurs.

#3. fanOn to autoOffWait
Test
Case ID
roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown
2 Values4 Values4 Values3 Values3 Values1 Value1 Value134
FC:Fa1706979coolKeyWaittempControlOfffanOnAUTO[else]113
FC:Fa2785099idleWaittempControlOfffanOnAUTO[else]95
FC:Fa3789969heatKeyWaittempControlOfffanOnAUTO[else]80
FC:Fa4707950heatKeyWaittempControlOfffanOnAUTO[else]68
FC:Fa5706999idleWaitcoolOffWaitfanOnAUTO[else]58
FC:Fa6786999coolKeyWaitheatOffWaitfanOnAUTO[else]49
FC:Fa7785079heatKeyWaitcoolOffWaitfanOnAUTO[else]41
FC:Fa8706999heatKeyWaitheatOffWaitfanOnAUTO[else]37
FC:Fa9785079idleWaitheatOffWaitfanOnAUTO[else]33
FC:Fa10709969coolKeyWaittempControlOfffanOnAUTO[else]29
FC:Fa11787950coolKeyWaittempControlOfffanOnAUTO[else]25
FC:Fa12705099coolKeyWaitcoolOffWaitfanOnAUTO[else]22
FC:Fa13707969idleWaittempControlOfffanOnAUTO[else]19
FC:Fa14789950idleWaittempControlOfffanOnAUTO[else]16

The test cases in partition 3 test the fan switch transition from fanOn to autoOffWait with all pairs of tempSet and tempControl else states (not heatOnWait or coolOnWait). Test case set-up is illustrated for FC:Fa1 below.

FC:Fa1 is set up by setting the temperature sensor simulator to 70, heatTemp to 69, and coolTemp to 79. The mode switch is set to OFF, and the fan switch is set to ON. After the tempSet, tempControl, and fanControl states are idleWait, tempControlOff, and fanOn, the SET button is pressed twice to take the tempSet state to coolKeyWait. The fan switch is moved from ON to AUTO before the coolkeyWait timeout occurs.

#4. autoOffWait to autoOnWait
Test
Case ID
roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown
4 Values2 Values2 Values3 Values2 Values1 Value2 Values107
FC:aA1499969coolKeyWaitheatOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(heatOnWait)]86
FC:aA2707950heatKeyWaitcoolOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(coolOnWait)]65
FC:aA3789950idleWaitheatOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(heatOnWait)]51
FC:aA41009969heatKeyWaitcoolOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(coolOnWait)]39
FC:aA5497969idleWaitheatOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(heatOnWait)]32
FC:aA61007950coolKeyWaitcoolOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(coolOnWait)]25
FC:aA7789969heatKeyWaitheatOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(heatOnWait)]21
FC:aA8707969idleWaitcoolOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(coolOnWait)]17
FC:aA9497950heatKeyWaitheatOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(heatOnWait)]15
FC:aA10787950coolKeyWaitheatOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(heatOnWait)]13
FC:aA11709969coolKeyWaitcoolOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(coolOnWait)]11
FC:aA121009950idleWaitcoolOnWaitautoOffWaitA_OFF_TIMEOUT[tempControl->is_in(coolOnWait)]10

The test cases in partition 4 test the timeout transition from autoOffWait to autoOnWait with all pairs of tempSet and tempControl on states (heatOnWait or coolOnWait). Each of these test cases includes a transient pair of current states, a tempControl on state with autoOffWait, before the autoOffWait timeout. Test case set-up is illustrated for FC:aA1 below.

FC:aA1 is set up by setting the temperature sensor simulator to 49, heatTemp to 99, and coolTemp to 69. The mode switch is set to OFF, and the fan switch is set to AUTO. After the tempSet, tempControl, and fanControl states are idleWait, tempControlOff, and autoOffWait, the SET button is pressed twice to take the tempSet state to coolKeyWait. The mode switch is moved from OFF to HEAT before the coolkeyWait and autoOffWait timeouts occur.

#5. autoOnWait to autoOnWait
Test
Case ID
roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown
4 Values2 Values2 Values3 Values2 Values1 Value2 Values107
FC:AA1499969coolKeyWaitheatOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(heatOnWait)]86
FC:AA2707950heatKeyWaitcoolOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(coolOnWait)]65
FC:AA3789950idleWaitheatOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(heatOnWait)]51
FC:AA41009969heatKeyWaitcoolOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(coolOnWait)]39
FC:AA5497969idleWaitheatOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(heatOnWait)]32
FC:AA61007950coolKeyWaitcoolOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(coolOnWait)]25
FC:AA7789969heatKeyWaitheatOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(heatOnWait)]21
FC:AA8707969idleWaitcoolOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(coolOnWait)]17
FC:AA9497950heatKeyWaitheatOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(heatOnWait)]15
FC:AA10787950coolKeyWaitheatOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(heatOnWait)]13
FC:AA11709969coolKeyWaitcoolOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(coolOnWait)]11
FC:AA121009950idleWaitcoolOnWaitautoOnWaitA_ON_TIMEOUT[tempControl->is_in(coolOnWait)]10

The test cases in partition 5 test the timeout transition from autoOnWait to autoOnWait with all pairs of tempSet and tempControl on states (heatOnWait or coolOnWait). Test case set-up is illustrated for FC:AA1 below.

FC:AA1 is set up by setting the temperature sensor simulator to 49, heatTemp to 99, and coolTemp to 69. The mode switch is set to HEAT, and the fan switch is set to AUTO. After the tempSet, tempControl, and fanControl states are idleWait, heatOnWait, and autoOnWait, the SET button is pressed twice to take the tempSet state to coolKeyWait before the autoOnWait timeout occurs.

#6. fanOn to autoOnWait
Test
Case ID
roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown
4 Values2 Values2 Values3 Values2 Values1 Value2 Values107
FC:FA1499969coolKeyWaitheatOnWaitfanOnAUTO[tempControl->is_in(heatOnWait)]86
FC:FA2707950heatKeyWaitcoolOnWaitfanOnAUTO[tempControl->is_in(coolOnWait)]65
FC:FA3789950idleWaitheatOnWaitfanOnAUTO[tempControl->is_in(heatOnWait)]51
FC:FA41009969heatKeyWaitcoolOnWaitfanOnAUTO[tempControl->is_in(coolOnWait)]39
FC:FA5497969idleWaitheatOnWaitfanOnAUTO[tempControl->is_in(heatOnWait)]32
FC:FA61007950coolKeyWaitcoolOnWaitfanOnAUTO[tempControl->is_in(coolOnWait)]25
FC:FA7789969heatKeyWaitheatOnWaitfanOnAUTO[tempControl->is_in(heatOnWait)]21
FC:FA8707969idleWaitcoolOnWaitfanOnAUTO[tempControl->is_in(coolOnWait)]17
FC:FA9497950heatKeyWaitheatOnWaitfanOnAUTO[tempControl->is_in(heatOnWait)]15
FC:FA10787950coolKeyWaitheatOnWaitfanOnAUTO[tempControl->is_in(heatOnWait)]13
FC:FA11709969coolKeyWaitcoolOnWaitfanOnAUTO[tempControl->is_in(coolOnWait)]11
FC:FA121009950idleWaitcoolOnWaitfanOnAUTO[tempControl->is_in(coolOnWait)]10

The test cases in partition 6 test the fan switch transition from fanOn to autoOnWait with all pairs of tempSet and tempControl on states (heatOnWait or coolOnWait). Test case set-up is illustrated for FC:FA1 below.

FC:FA1 is set up by setting the temperature sensor simulator to 49, heatTemp to 99, and coolTemp to 69. The mode switch is set to HEAT, and the fan switch is set to ON. After the tempSet, tempControl, and fanControl states are idleWait, heatOnWait, and fanOn, the SET button is pressed twice to take the tempSet state to coolKeyWait. The fan switch is moved from ON to AUTO before the coolkeyWait timeout occurs.

#7. autoOffWait to fanOn
Test
Case ID
roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown
2 Values4 Values4 Values3 Values3 Values1 Value1 Value134
FC:aF1706979coolKeyWaittempControlOffautoOffWaitON113
FC:aF2785099idleWaittempControlOffautoOffWaitON95
FC:aF3789969heatKeyWaittempControlOffautoOffWaitON80
FC:aF4707950heatKeyWaittempControlOffautoOffWaitON68
FC:aF5706999idleWaitcoolOffWaitautoOffWaitON58
FC:aF6786999coolKeyWaitheatOffWaitautoOffWaitON49
FC:aF7785079heatKeyWaitcoolOffWaitautoOffWaitON41
FC:aF8706999heatKeyWaitheatOffWaitautoOffWaitON37
FC:aF9785079idleWaitheatOffWaitautoOffWaitON33
FC:aF10709969coolKeyWaittempControlOffautoOffWaitON29
FC:aF11787950coolKeyWaittempControlOffautoOffWaitON25
FC:aF12705099coolKeyWaitcoolOffWaitautoOffWaitON22
FC:aF13707969idleWaittempControlOffautoOffWaitON19
FC:aF14789950idleWaittempControlOffautoOffWaitON16

The test cases in partition 7 test the fan switch transition from autoOffWait to fanOn with all pairs of tempSet and tempControl else states (not heatOnWait or coolOnWait). Test case set-up is illustrated for FC:aF1 below.

FC:aF1 is set up by setting the temperature sensor simulator to 70, heatTemp to 69, and coolTemp to 79. The mode switch is set to OFF, and the fan switch is set to AUTO. After the tempSet, tempControl, and fanControl states are idleWait, tempControlOff, and autoOffWait, the SET button is pressed twice to take the tempSet state to coolKeyWait. The fan switch is moved from AUTO to ON before the coolkeyWait and autoOffWait timeouts occur.

#8. autoOnWait to fanOn
Test
Case ID
roomTemp heatTemp coolTemp tempSet state tempControl state fanControl state event Combo
Countdown
2 Values2 Values2 Values3 Values3 Values1 Value1 Value82
FC:AF1709950coolKeyWaittempControlOffautoOnWaitON61
FC:AF2787969idleWaittempControlOffautoOnWaitON43
FC:AF3787950heatKeyWaitcoolOnWaitautoOnWaitON30
FC:AF4709969heatKeyWaitheatOnWaitautoOnWaitON19
FC:AF5709969idleWaitcoolOnWaitautoOnWaitON13
FC:AF6789969coolKeyWaitheatOnWaitautoOnWaitON8
FC:AF7787950idleWaitheatOnWaitautoOnWaitON4
FC:AF8707969coolKeyWaitcoolOnWaitautoOnWaitON1
FC:AF9707950heatKeyWaittempControlOffautoOnWaitON0

The test cases in partition 8 test the fan switch transition from autoOnWait to fanOn with all pairs of tempSet states and the tempControl states heatOnWait, coolOnWait, and tempControlOff. Test cases FC:AF1, FC:AF2, and FC:AF9 include the transient pair of current states tempControlOff with autoOnWait before the autoOnWait timeout. The test cases are set up with tempControl in the heatOnWait or coolOnWait state, as illustrated for FC:AF2 and FC:AF3 below.

FC:AF2 is set up by setting the temperature sensor simulator to 78, heatTemp to 79, and coolTemp to 69. The mode switch is set to HEAT, and the fan switch is set to AUTO. After the tempSet, tempControl, and fanControl states are idleWait, heatOnWait, and autoOnWait, the mode switch is moved from HEAT to OFF, and the fan switch is moved from AUTO to ON before the autoOnWait timeout occurs.

FC:AF3 is set up by setting the temperature sensor simulator to 78, heatTemp to 79, and coolTemp to 50. The mode switch is set to COOL, and the fan switch is set to AUTO. After the tempSet, tempControl, and fanControl states are idleWait, coolOnWait, and autoOnWait, the SET button is pressed to take the tempSet state to heatKeyWait. The fan switch is moved from AUTO to ON before the heatKeyWait and autoOnWait timeouts occur.

<fanControl Stand-alone Transition fanControl Integrated Target State>

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