-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : FANS
-- Unit(s) Under Test: Fans
-- 
-- Script Features
TEST.SCRIPT_FEATURE:C_DIRECT_ARRAY_INDEXING
TEST.SCRIPT_FEATURE:CPP_CLASS_OBJECT_REVISION
TEST.SCRIPT_FEATURE:MULTIPLE_UUT_SUPPORT
TEST.SCRIPT_FEATURE:MIXED_CASE_NAMES
TEST.SCRIPT_FEATURE:STATIC_HEADER_FUNCS_IN_UUTS
TEST.SCRIPT_FEATURE:VCAST_MAIN_NOT_RENAMED
--

-- Unit: Fans

-- Subprogram: convertTogglePeriod2RPM

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:convertTogglePeriod2RPM
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:convertTogglePeriod2RPM
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:convertTogglePeriod2RPM
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if ((0xffff) == togglePeriods[fan]) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set fan due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFPGAInletFan1TogglePeriod.return:65535
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:convertTogglePeriod2RPM
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if ((0xffff) == togglePeriods[fan]) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set fan due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getFPGAInletFan1TogglePeriod.return:<<MIN>>
TEST.END

-- Subprogram: execFans

-- Test Case: execFans.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:execFans
TEST.NEW
TEST.NAME:execFans.001
TEST.END

-- Test Case: execFans.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:execFans
TEST.NEW
TEST.NAME:execFans.002
TEST.VALUE:Fans.<<GLOBAL>>.fansExecState:FANS_EXEC_STATE_RUN_STATE
TEST.END

-- Test Case: execFans.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:execFans
TEST.NEW
TEST.NAME:execFans.003
TEST.VALUE:Fans.<<GLOBAL>>.fansExecState:NUM_OF_FANS_EXEC_STATES
TEST.END

-- Subprogram: execFansSelfTest

-- Test Case: execFansSelfTest.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:execFansSelfTest
TEST.NEW
TEST.NAME:execFansSelfTest.001
TEST.END

-- Subprogram: getMaximumTemperature

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:1 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) (temperature > maxTemperature) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MAX>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:2 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) (temperature > maxTemperature) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:3 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (2) (temperature > maxTemperature) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:4 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (2) (temperature > maxTemperature) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) (temperature > maxTemperature) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MAX>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (3) (temperature > maxTemperature) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (4) (temperature > maxTemperature) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MAX>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (4) (temperature > maxTemperature) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:<<MIN>>
TEST.END

-- Test Case: getMaximumTemperature.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.001
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:-10.0
TEST.END

-- Test Case: getMaximumTemperature.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.002
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:0.0,10.0
TEST.END

-- Test Case: getMaximumTemperature.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.003
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:(2)0.0,10.0
TEST.END

-- Test Case: getMaximumTemperature.004
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMaximumTemperature
TEST.NEW
TEST.NAME:getMaximumTemperature.004
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:(3)0.0,10.0
TEST.END

-- Subprogram: getMeasuredFanRPM

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMeasuredFanRPM
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.getMeasuredFanRPM.fan:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMeasuredFanRPM
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.getMeasuredFanRPM.fan:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMeasuredFanRPM
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if (0xccc33c33U == (fansStatus.rpm[fan]).override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.rpm[FAN_INLET_1].override:3435346995
TEST.VALUE:Fans.getMeasuredFanRPM.fan:FAN_INLET_1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:getMeasuredFanRPM
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if (0xccc33c33U == (fansStatus.rpm[fan]).override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.rpm[FAN_INLET_1].override:<<MIN>>
TEST.VALUE:Fans.getMeasuredFanRPM.fan:FAN_INLET_1
TEST.END

-- Subprogram: getPublishFansDataInterval

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:getPublishFansDataInterval
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == fansPublishInterval.override) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansPublishInterval.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:getPublishFansDataInterval
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == fansPublishInterval.override) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansPublishInterval.override:<<MIN>>
TEST.END

-- Subprogram: handleExecStateRun

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++fansControlCounter > 1000 / 50) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:4 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable dutyCycle in branch 2
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:3 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable dutyCycle in branch 2
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:6 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      (3) if (dutyCycle > (0.9499999999999999556)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable dutyCycle in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable dutyCycle in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:5 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      (3) if (dutyCycle > (0.9499999999999999556)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable dutyCycle in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable dutyCycle in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      (3) if (dutyCycle > (0.9499999999999999556)) ==> FALSE
      (4) if (dutyCycle >= fansStatus.targetDutyCycle) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable dutyCycle in branch 2
      Cannot set local variable dutyCycle in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      (3) if (dutyCycle > (0.9499999999999999556)) ==> FALSE
      (4) if (dutyCycle >= fansStatus.targetDutyCycle) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable dutyCycle in branch 2
      Cannot set local variable dutyCycle in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:<<MAX>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      (3) if (dutyCycle > (0.9499999999999999556)) ==> FALSE
      (4) if (dutyCycle >= fansStatus.targetDutyCycle) ==> TRUE
      (5) if (dutyCycle - fansStatus.targetDutyCycle >= (0.2999999999999999889)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 5
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable dutyCycle in branch 2
      Cannot set local variable dutyCycle in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      (3) if (dutyCycle > (0.9499999999999999556)) ==> FALSE
      (4) if (dutyCycle >= fansStatus.targetDutyCycle) ==> TRUE
      (5) if (dutyCycle - fansStatus.targetDutyCycle >= (0.2999999999999999889)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 5
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable dutyCycle in branch 2
      Cannot set local variable dutyCycle in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      (3) if (dutyCycle > (0.9499999999999999556)) ==> FALSE
      (4) if (dutyCycle >= fansStatus.targetDutyCycle) ==> FALSE
      (6) if (fansStatus.targetDutyCycle - dutyCycle >= (0.005000000000000000104)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 6
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable dutyCycle in branch 2
      Cannot set local variable dutyCycle in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:<<MAX>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 12
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (++fansControlCounter > 1000 / 50) ==> TRUE
      (2) if (dutyCycle < (0.1000000000000000056)) ==> FALSE
      (3) if (dutyCycle > (0.9499999999999999556)) ==> FALSE
      (4) if (dutyCycle >= fansStatus.targetDutyCycle) ==> FALSE
      (6) if (fansStatus.targetDutyCycle - dutyCycle >= (0.005000000000000000104)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 6
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set local variable dutyCycle in branch 2
      Cannot set local variable dutyCycle in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:<<MAX>>
TEST.END

-- Test Case: handleExecStateRun.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.001
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:40.0
TEST.END

-- Test Case: handleExecStateRun.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.002
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:20.0
TEST.END

-- Test Case: handleExecStateRun.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.003
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:19.0
TEST.END

-- Test Case: handleExecStateRun.004
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.004
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:100.0
TEST.END

-- Test Case: handleExecStateRun.005
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.005
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:1.0
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:100.0
TEST.END

-- Test Case: handleExecStateRun.006
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateRun
TEST.NEW
TEST.NAME:handleExecStateRun.006
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:0.950001
TEST.VALUE:Fans.<<GLOBAL>>.fansControlCounter:1000
TEST.VALUE:uut_prototype_stubs.getTemperatureValue.return:100.0
TEST.END

-- Subprogram: handleExecStateWaitForPOST

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateWaitForPOST
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isPOSTComplete) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.isPOSTComplete:<<MIN>>
TEST.END

-- Test Case: handleExecStateWaitForPOST.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:handleExecStateWaitForPOST
TEST.NEW
TEST.NAME:handleExecStateWaitForPOST.001
TEST.STUB:Fans.setInletFansDutyCycle
TEST.VALUE:Fans.<<GLOBAL>>.isPOSTComplete:1
TEST.END

-- Subprogram: initFans

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:initFans
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:initFans
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Subprogram: monitorFans

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:1
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_TF-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_TF-PARTIAL
TEST.MCDC_BASIS_PATH:15 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (4) (rpm < fansMinAllowedRPM || rpm > fansMaxAllowedRPM) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #4, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:Fans.getMeasuredFanRPM
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.VALUE:Fans.getMeasuredFanRPM.return:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_4_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (4) (rpm < fansMinAllowedRPM || rpm > fansMaxAllowedRPM) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #4, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:Fans.getMeasuredFanRPM
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.VALUE:Fans.getMeasuredFanRPM.return:<<MAX>>
TEST.END

-- Test Case: COND_4_ROW_4_PAIR_a_FF-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_4_ROW_4_PAIR_a_FF-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (4) (rpm < fansMinAllowedRPM || rpm > fansMaxAllowedRPM) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set variable TEST.VALUE:Fans.getMeasuredFanRPM.return: in branch 4 to unknown value
      Cannot set local variable fansMinAllowedRPM in branch 4
      Cannot set local variable fansMaxAllowedRPM in branch 4
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:Fans.getMeasuredFanRPM
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.END

-- Test Case: COND_4_ROW_4_PAIR_b_FF-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_4_ROW_4_PAIR_b_FF-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> TRUE
      (4) (rpm < fansMinAllowedRPM || rpm > fansMaxAllowedRPM) ==> FALSE
      Row number 4 forms a pair with Row 3 for Condition #4, subcondition "b".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Cannot set variable TEST.VALUE:Fans.getMeasuredFanRPM.return: in branch 4 to unknown value
      Cannot set local variable fansMinAllowedRPM in branch 4
      Cannot set local variable fansMaxAllowedRPM in branch 4
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.STUB:Fans.getMeasuredFanRPM
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      (5) if ((1) == isAlarmTriggered) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      (5) if ((1) == isAlarmTriggered) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      (5) if ((1) == isAlarmTriggered) ==> FALSE
      (6) if ((1) == hasAlarmBeenRaised && (0) == rpmAlarmStartTimer) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #6, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Multiple equality operators with different values (Fans.<<GLOBAL>>.hasAlarmBeenRaised) in branches 2/6
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:1
TEST.VALUE:Fans.<<GLOBAL>>.rpmAlarmStartTimer:0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      (5) if ((1) == isAlarmTriggered) ==> FALSE
      (6) if ((1) == hasAlarmBeenRaised && (0) == rpmAlarmStartTimer) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
      Conflict: Multiple equality operators with different values (Fans.<<GLOBAL>>.hasAlarmBeenRaised) in branches 2/6
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:1
TEST.VALUE:Fans.<<GLOBAL>>.rpmAlarmStartTimer:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_6_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> TRUE
      (3) for (fan < (NUM_OF_FANS_NAMES)) ==> FALSE
      (5) if ((1) == isAlarmTriggered) ==> FALSE
      (6) if ((1) == hasAlarmBeenRaised && (0) == rpmAlarmStartTimer) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 3
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:0
TEST.VALUE:Fans.<<GLOBAL>>.rpmAlarmStartTimer:0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_TT-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_TT-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> FALSE
      (7) if ((1) == hasAlarmBeenRaised && (1) == didTimeout(rpmAlarmStartTimer, 86400)) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #7, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_b_TF-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_b_TF-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> FALSE
      (7) if ((1) == hasAlarmBeenRaised && (1) == didTimeout(rpmAlarmStartTimer, 86400)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:1
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_3_PAIR_a_FT-PARTIAL
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:COND_7_ROW_3_PAIR_a_FT-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 18
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (++fansMonitorCounter >= 1000 / 50) ==> TRUE
      (2) if ((0) == hasAlarmBeenRaised) ==> FALSE
      (7) if ((1) == hasAlarmBeenRaised && (1) == didTimeout(rpmAlarmStartTimer, 86400)) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:2
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: monitorFans.001
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.001
TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
TEST.END

-- Test Case: monitorFans.002
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.002
TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
TEST.VALUE:Fans.<<GLOBAL>>.hasAlarmBeenRaised:1
TEST.END

-- Test Case: monitorFans.003
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.003
TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: monitorFans.004
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.004
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:1.0
TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
TEST.END

-- Test Case: monitorFans.005
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.005
TEST.STUB:Fans.getMeasuredFanRPM
TEST.VALUE:Fans.<<GLOBAL>>.fansStatus.targetDutyCycle:1.0
TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
TEST.VALUE:Fans.getMeasuredFanRPM.return:10000.0
TEST.END

-- Test Case: monitorFans.006
TEST.UNIT:Fans
TEST.SUBPROGRAM:monitorFans
TEST.NEW
TEST.NAME:monitorFans.006
TEST.VALUE:Fans.<<GLOBAL>>.fansMonitorCounter:1000
TEST.VALUE:Fans.<<GLOBAL>>.rpmAlarmStartTimer:1
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Subprogram: publishFansData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:publishFansData
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++fansPublishCounter > getPublishFansDataInterval()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Fans.getPublishFansDataInterval
TEST.VALUE:Fans.getPublishFansDataInterval.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:publishFansData
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++fansPublishCounter > getPublishFansDataInterval()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Fans.getPublishFansDataInterval
TEST.VALUE:Fans.getPublishFansDataInterval.return:<<MAX>>
TEST.END

-- Subprogram: testResetFanPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanPublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanPublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testResetFanRPMOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanRPMOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testResetFanRPMOverride.fanId:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanRPMOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testResetFanRPMOverride.fanId:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanRPMOverride
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testResetFanRPMOverride.fanId:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:testResetFanRPMOverride
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testResetFanRPMOverride.fanId:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetFanPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanPublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testSetFanPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanPublishIntervalOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testSetFanPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Subprogram: testSetFanRPMOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanRPMOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testSetFanRPMOverride.fanId:<<MIN>>
TEST.VALUE:Fans.testSetFanRPMOverride.rpm:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanRPMOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testSetFanRPMOverride.fanId:<<MAX>>
TEST.VALUE:Fans.testSetFanRPMOverride.rpm:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanRPMOverride
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testSetFanRPMOverride.fanId:<<MIN>>
TEST.VALUE:Fans.testSetFanRPMOverride.rpm:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Fans
TEST.SUBPROGRAM:testSetFanRPMOverride
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (fanId < (NUM_OF_FANS_NAMES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Fans.testSetFanRPMOverride.fanId:<<MIN>>
TEST.VALUE:Fans.testSetFanRPMOverride.rpm:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END