-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : TEMPERATURES
-- Unit(s) Under Test: Temperatures
-- 
-- 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: Temperatures

-- Subprogram: calculateThemristorTemperature

-- Test Case: calculateThemristorTemperature.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:calculateThemristorTemperature
TEST.NEW
TEST.NAME:calculateThemristorTemperature.001
TEST.END

-- Subprogram: convertADC2Temperature

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:convertADC2Temperature
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 (sensor < (NUM_OF_TEMPERATURES)) ==> 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:Temperatures
TEST.SUBPROGRAM:convertADC2Temperature
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 (sensor < (NUM_OF_TEMPERATURES)) ==> 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: execTemperatures

-- Test Case: execTemperatures.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:execTemperatures
TEST.NEW
TEST.NAME:execTemperatures.001
TEST.END

-- Test Case: execTemperatures.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:execTemperatures
TEST.NEW
TEST.NAME:execTemperatures.002
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesExecState:TEMPERATURES_EXEC_STATE_GET_ADC_VALUES_STATE
TEST.END

-- Test Case: execTemperatures.003
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:execTemperatures
TEST.NEW
TEST.NAME:execTemperatures.003
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesExecState:NUM_OF_TEMPERATURES_EXEC_STATES
TEST.END

-- Subprogram: execTemperaturesSelfTest

-- Test Case: execTemperaturesSelfTest.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:execTemperaturesSelfTest
TEST.NEW
TEST.NAME:execTemperaturesSelfTest.001
TEST.END

-- Subprogram: getPublishTemperaturesDataInterval

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getPublishTemperaturesDataInterval
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 == temperaturesPublishInterval.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:Temperatures.<<GLOBAL>>.temperaturesPublishInterval.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getPublishTemperaturesDataInterval
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 == temperaturesPublishInterval.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:Temperatures.<<GLOBAL>>.temperaturesPublishInterval.override:<<MIN>>
TEST.END

-- Subprogram: getTemperatureValue

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getTemperatureValue
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 (sensorID < (NUM_OF_TEMPERATURES)) ==> 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:Temperatures.getTemperatureValue.sensorID:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getTemperatureValue
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 (sensorID < (NUM_OF_TEMPERATURES)) ==> 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:Temperatures.getTemperatureValue.sensorID:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getTemperatureValue
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 (sensorID < (NUM_OF_TEMPERATURES)) ==> TRUE
      (2) if (0xccc33c33U == ((temperaturesStatus[sensorID]).temperatureValue).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:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.override:3435346995
TEST.VALUE:Temperatures.getTemperatureValue.sensorID:THERMISTOR_ONBOARD_NTC
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getTemperatureValue
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 (sensorID < (NUM_OF_TEMPERATURES)) ==> TRUE
      (2) if (0xccc33c33U == ((temperaturesStatus[sensorID]).temperatureValue).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:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.override:<<MIN>>
TEST.VALUE:Temperatures.getTemperatureValue.sensorID:THERMISTOR_ONBOARD_NTC
TEST.END

-- Subprogram: handleExecGetADCValues

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecGetADCValues
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) if (++adcReadCounter >= 1000 / (2 * 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:Temperatures
TEST.SUBPROGRAM:handleExecGetADCValues
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) if (++adcReadCounter >= 1000 / (2 * 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: handleExecGetADCValues.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecGetADCValues
TEST.NEW
TEST.NAME:handleExecGetADCValues.001
TEST.VALUE:Temperatures.<<GLOBAL>>.adcReadCounter:10
TEST.END

-- Subprogram: handleExecStart

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecStart
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) if (++adcReadCounter > (1.0)) ==> 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:Temperatures
TEST.SUBPROGRAM:handleExecStart
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) if (++adcReadCounter > (1.0)) ==> 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: handleExecStart.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecStart
TEST.NEW
TEST.NAME:handleExecStart.001
TEST.VALUE:Temperatures.<<GLOBAL>>.adcReadCounter:1
TEST.END

-- Subprogram: initTemperatures

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:initTemperatures
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 (i < (NUM_OF_TEMPERATURES)) ==> 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:Temperatures
TEST.SUBPROGRAM:initTemperatures
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 (i < (NUM_OF_TEMPERATURES)) ==> 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: monitorTemperatures

-- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE
TEST.MCDC_BASIS_PATH:2 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (sensor < (NUM_OF_TEMPERATURES)) ==> 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:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE
TEST.MCDC_BASIS_PATH:1 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (sensor < (NUM_OF_TEMPERATURES)) ==> 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_2_PAIR_a_TF-PARTIAL
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_TF-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) for (sensor < (NUM_OF_TEMPERATURES)) ==> TRUE
      (2) if (temperature > (80.0) || temperature < (0.0)) ==> TRUE
      Row number 2 forms a pair with Row 4 for Condition #2, subcondition "a".
         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.STUB:Temperatures.getTemperatureValue
TEST.VALUE:Temperatures.getTemperatureValue.return:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:COND_2_ROW_3_PAIR_b_FT-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) for (sensor < (NUM_OF_TEMPERATURES)) ==> TRUE
      (2) if (temperature > (80.0) || temperature < (0.0)) ==> TRUE
      Row number 3 forms a pair with Row 4 for Condition #2, subcondition "b".
         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.STUB:Temperatures.getTemperatureValue
TEST.VALUE:Temperatures.getTemperatureValue.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_4_PAIR_a_FF-PARTIAL
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:COND_2_ROW_4_PAIR_a_FF-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) for (sensor < (NUM_OF_TEMPERATURES)) ==> TRUE
      (2) if (temperature > (80.0) || temperature < (0.0)) ==> FALSE
      Row number 4 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.STUB:Temperatures.getTemperatureValue
TEST.VALUE:Temperatures.getTemperatureValue.return:0.0
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (sensor < (NUM_OF_TEMPERATURES)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_TEMPERATURES_OUT_OF_RANGE, isTempOutOfRange)) ==> 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 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 7
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (sensor < (NUM_OF_TEMPERATURES)) ==> FALSE
      (3) if ((1) == isPersistentAlarmTriggered(ALARM_ID_HD_TEMPERATURES_OUT_OF_RANGE, isTempOutOfRange)) ==> 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 1
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:<<MIN>>
TEST.END

-- Subprogram: publishTemperaturesData

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:publishTemperaturesData
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 (++dataPublishCounter > getPublishTemperaturesDataInterval()) ==> 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:Temperatures.getPublishTemperaturesDataInterval
TEST.VALUE:Temperatures.getPublishTemperaturesDataInterval.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:publishTemperaturesData
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 (++dataPublishCounter > getPublishTemperaturesDataInterval()) ==> 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:Temperatures.getPublishTemperaturesDataInterval
TEST.VALUE:Temperatures.getPublishTemperaturesDataInterval.return:<<MAX>>
TEST.END

-- Subprogram: testResetMeasuredTemperatureOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetMeasuredTemperatureOverride
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 ((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:Temperatures.testResetMeasuredTemperatureOverride.sensorID:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetMeasuredTemperatureOverride
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 ((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:Temperatures.testResetMeasuredTemperatureOverride.sensorID:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetMeasuredTemperatureOverride
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 ((1) == isTestingActivated()) ==> TRUE
      (2) if (sensorID < (NUM_OF_TEMPERATURES)) ==> 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:Temperatures.testResetMeasuredTemperatureOverride.sensorID:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetMeasuredTemperatureOverride
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 ((1) == isTestingActivated()) ==> TRUE
      (2) if (sensorID < (NUM_OF_TEMPERATURES)) ==> 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:Temperatures.testResetMeasuredTemperatureOverride.sensorID:<<MAX>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Subprogram: testResetTemperaturesPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetTemperaturesPublishIntervalOverride
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:Temperatures
TEST.SUBPROGRAM:testResetTemperaturesPublishIntervalOverride
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: testSetMeasuredTemperatureOverride

-- Test Case: COND_1_ROW_1_PAIR_a_TT
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_TT
TEST.MCDC_BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (sensorID < (NUM_OF_TEMPERATURES) && (1) == isTestingActivated()) ==> TRUE
      Row number 1 forms a pair with Row 3 for Condition #1, subcondition "a".
         Condition a ==> TRUE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Temperatures.testSetMeasuredTemperatureOverride.sensorID:<<MIN>>
TEST.VALUE:Temperatures.testSetMeasuredTemperatureOverride.temperature:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_b_TF
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_b_TF
TEST.MCDC_BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (sensorID < (NUM_OF_TEMPERATURES) && (1) == isTestingActivated()) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b".
         Condition a ==> TRUE
         Condition b ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Temperatures.testSetMeasuredTemperatureOverride.sensorID:<<MIN>>
TEST.VALUE:Temperatures.testSetMeasuredTemperatureOverride.temperature:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_3_PAIR_a_FT
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:COND_1_ROW_3_PAIR_a_FT
TEST.MCDC_BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (sensorID < (NUM_OF_TEMPERATURES) && (1) == isTestingActivated()) ==> FALSE
      Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a".
         Condition a ==> FALSE
         Condition b ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Temperatures.testSetMeasuredTemperatureOverride.sensorID:<<MAX>>
TEST.VALUE:Temperatures.testSetMeasuredTemperatureOverride.temperature:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Subprogram: testSetTemperaturesPublishIntervalOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetTemperaturesPublishIntervalOverride
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:Temperatures.testSetTemperaturesPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetTemperaturesPublishIntervalOverride
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:Temperatures.testSetTemperaturesPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END