-- 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.VALUE:Temperatures.calculateThemristorTemperature.adcValue:100
TEST.VALUE:Temperatures.calculateThemristorTemperature.return:-48.2689
TEST.EXPECTED:Temperatures.calculateThemristorTemperature.adcValue:100
TEST.EXPECTED:Temperatures.calculateThemristorTemperature.return:-48.2688
TEST.END

-- Subprogram: convertADC2Temperature

-- Test Case: convertADC2Temperature.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:convertADC2Temperature
TEST.NEW
TEST.NAME:convertADC2Temperature.001
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

-- Subprogram: execTemperatures

-- Test Case: execTemperatures.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:execTemperatures
TEST.NEW
TEST.NAME:execTemperatures.001
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesExecState:TEMPERATURES_EXEC_STATE_WAIT_FOR_POST_STATE
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesExecState:TEMPERATURES_EXEC_STATE_WAIT_FOR_POST_STATE
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.EXPECTED: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.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesExecState:TEMPERATURES_EXEC_STATE_GET_ADC_VALUES_STATE
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.END

-- Test Case: execTemperatures.004
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:execTemperatures
TEST.NEW
TEST.NAME:execTemperatures.004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> TRUE
      (4) case temperaturesExecState ==> default
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesExecState:NUM_OF_TEMPERATURES_EXEC_STATES
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesExecState:TEMPERATURES_EXEC_STATE_GET_ADC_VALUES_STATE
TEST.END

-- Subprogram: execTemperaturesSelfTest

-- Test Case: execTemperaturesSelfTest.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:execTemperaturesSelfTest
TEST.NEW
TEST.NAME:execTemperaturesSelfTest.001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == calStatus) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:<<MIN>>
TEST.END

-- Test Case: execTemperaturesSelfTest.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:execTemperaturesSelfTest
TEST.NEW
TEST.NAME:execTemperaturesSelfTest.002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == calStatus) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getNVRecord2Driver.return:1
TEST.END

-- Subprogram: getPublishTemperaturesDataInterval

-- Test Case: getPublishTemperaturesDataInterval.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getPublishTemperaturesDataInterval
TEST.NEW
TEST.NAME:getPublishTemperaturesDataInterval.001
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.ovData:100
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesPublishInterval.override:3435346995
TEST.EXPECTED:Temperatures.getPublishTemperaturesDataInterval.return:100
TEST.END

-- Test Case: getPublishTemperaturesDataInterval.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getPublishTemperaturesDataInterval
TEST.NEW
TEST.NAME:getPublishTemperaturesDataInterval.002
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.data:100
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesPublishInterval.override:<<MIN>>
TEST.EXPECTED:Temperatures.getPublishTemperaturesDataInterval.return:100
TEST.END

-- Subprogram: getTemperatureValue

-- Test Case: getTemperatureValue.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getTemperatureValue
TEST.NEW
TEST.NAME:getTemperatureValue.001
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.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].rawADCRead:134
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.data:34.0
TEST.VALUE:Temperatures.getTemperatureValue.sensorID:<<MIN>>
TEST.VALUE:Temperatures.getTemperatureValue.return:1.0
TEST.EXPECTED:Temperatures.getTemperatureValue.return:34.0
TEST.END

-- Test Case: getTemperatureValue.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getTemperatureValue
TEST.NEW
TEST.NAME:getTemperatureValue.002
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.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.data:45.0
TEST.VALUE:Temperatures.getTemperatureValue.sensorID:<<MAX>>
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:MACRO=SW_FAULT_ID_HD_INVALID_TEMPERATURE_SENSOR_SELECTED
TEST.EXPECTED:Temperatures.getTemperatureValue.return:0.0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:MACRO=SW_FAULT_ID_HD_INVALID_TEMPERATURE_SENSOR_SELECTED
TEST.END

-- Test Case: getTemperatureValue.003
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:getTemperatureValue
TEST.NEW
TEST.NAME:getTemperatureValue.003
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].rawADCRead:12
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.data:123.0
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.override:3435346995
TEST.VALUE:Temperatures.getTemperatureValue.sensorID:THERMISTOR_ONBOARD_NTC
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].rawADCRead:12
TEST.EXPECTED:Temperatures.getTemperatureValue.return:0.0
TEST.END

-- Subprogram: handleExecGetADCValues

-- Test Case: handleExecGetADCValues.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecGetADCValues
TEST.NEW
TEST.NAME:handleExecGetADCValues.001
TEST.VALUE:Temperatures.<<GLOBAL>>.adcReadCounter:10
TEST.VALUE:Temperatures.handleExecGetADCValues.return:TEMPERATURES_EXEC_STATE_WAIT_FOR_POST_STATE
TEST.EXPECTED:Temperatures.<<GLOBAL>>.adcReadCounter:0
TEST.EXPECTED:Temperatures.handleExecGetADCValues.return:TEMPERATURES_EXEC_STATE_GET_ADC_VALUES_STATE
TEST.END

-- Test Case: handleExecGetADCValues.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecGetADCValues
TEST.NEW
TEST.NAME:handleExecGetADCValues.002
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.VALUE:Temperatures.<<GLOBAL>>.adcReadCounter:12
TEST.VALUE:Temperatures.handleExecGetADCValues.return:TEMPERATURES_EXEC_STATE_GET_ADC_VALUES_STATE
TEST.EXPECTED:Temperatures.<<GLOBAL>>.adcReadCounter:0
TEST.EXPECTED:Temperatures.handleExecGetADCValues.return:TEMPERATURES_EXEC_STATE_GET_ADC_VALUES_STATE
TEST.END

-- Subprogram: handleExecWaitForPOST

-- Test Case: handleExecStart.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecWaitForPOST
TEST.NEW
TEST.NAME:handleExecStart.001
TEST.VALUE:Temperatures.<<GLOBAL>>.adcReadCounter:1
TEST.VALUE:Temperatures.handleExecWaitForPOST.return:TEMPERATURES_EXEC_STATE_WAIT_FOR_POST_STATE
TEST.EXPECTED:Temperatures.<<GLOBAL>>.adcReadCounter:2
TEST.EXPECTED:Temperatures.handleExecWaitForPOST.return:TEMPERATURES_EXEC_STATE_WAIT_FOR_POST_STATE
TEST.END

-- Test Case: handleExecStart.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecWaitForPOST
TEST.NEW
TEST.NAME:handleExecStart.002
TEST.BASIS_PATH:1 of 2 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++adcReadCounter > (1.0F) && (1) == isPOSTComplete) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Temperatures.<<GLOBAL>>.isPOSTComplete:<<MIN>>
TEST.EXPECTED:Temperatures.<<GLOBAL>>.isPOSTComplete:0
TEST.END

-- Test Case: handleExecStart.003
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecWaitForPOST
TEST.NEW
TEST.NAME:handleExecStart.003
TEST.BASIS_PATH:2 of 2 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++adcReadCounter > (1.0F) && (1) == isPOSTComplete) ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.VALUE:Temperatures.<<GLOBAL>>.isPOSTComplete:1
TEST.EXPECTED:Temperatures.<<GLOBAL>>.isPOSTComplete:1
TEST.END

-- Test Case: handleExecStart.004
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:handleExecWaitForPOST
TEST.NEW
TEST.NAME:handleExecStart.004
TEST.VALUE:Temperatures.<<GLOBAL>>.adcReadCounter:1
TEST.VALUE:Temperatures.<<GLOBAL>>.isPOSTComplete:1
TEST.VALUE:Temperatures.handleExecWaitForPOST.return:TEMPERATURES_EXEC_STATE_WAIT_FOR_POST_STATE
TEST.EXPECTED:Temperatures.<<GLOBAL>>.adcReadCounter:0
TEST.EXPECTED:Temperatures.<<GLOBAL>>.isPOSTComplete:1
TEST.EXPECTED:Temperatures.handleExecWaitForPOST.return:TEMPERATURES_EXEC_STATE_GET_ADC_VALUES_STATE
TEST.END

-- Subprogram: initTemperatures

-- Test Case: initTemperatures.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:initTemperatures
TEST.NEW
TEST.NAME:initTemperatures.001
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.VALUE:Temperatures.<<GLOBAL>>.temperaturesExecState:TEMPERATURES_EXEC_STATE_WAIT_FOR_POST_STATE
TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_HD_TEMPERATURES_OUT_OF_RANGE
TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.persistentClearPeriod:5000
TEST.VALUE:uut_prototype_stubs.initPersistentAlarm.persistentTriggerPeriod:5000
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesExecState:TEMPERATURES_EXEC_STATE_WAIT_FOR_POST_STATE
TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.alarmIndex:ALARM_ID_HD_TEMPERATURES_OUT_OF_RANGE
TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.persistentClearPeriod:5000
TEST.EXPECTED:uut_prototype_stubs.initPersistentAlarm.persistentTriggerPeriod:5000
TEST.END

-- Subprogram: monitorTemperatures

-- Test Case: monitorTemperatures.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:monitorTemperatures.001
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.sensorID:THERMISTOR_ONBOARD_NTC,THERMISTOR_POWER_SUPPLY_1,TEMPSENSOR_FPGA_BOARD_SENSOR,TEMPSENSOR_VENOUS_PRESSURE_SENSOR,TEMPSENSOR_PBA_ADC_SENSOR
TEST.VALUE:Temperatures.getTemperatureValue.return:<<MAX>>
TEST.EXPECTED:Temperatures.getTemperatureValue.sensorID:THERMISTOR_ONBOARD_NTC,THERMISTOR_POWER_SUPPLY_1,TEMPSENSOR_FPGA_BOARD_SENSOR,TEMPSENSOR_VENOUS_PRESSURE_SENSOR,TEMPSENSOR_PBA_ADC_SENSOR,TEMPSENSOR_ARTERIAL_PRESSURE_SENSOR
TEST.END

-- Test Case: monitorTemperatures.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:monitorTemperatures.002
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.sensorID:THERMISTOR_ONBOARD_NTC,THERMISTOR_POWER_SUPPLY_1,TEMPSENSOR_FPGA_BOARD_SENSOR,TEMPSENSOR_VENOUS_PRESSURE_SENSOR,TEMPSENSOR_PBA_ADC_SENSOR
TEST.VALUE:Temperatures.getTemperatureValue.return:<<MIN>>
TEST.EXPECTED:Temperatures.getTemperatureValue.sensorID:THERMISTOR_ONBOARD_NTC,THERMISTOR_POWER_SUPPLY_1,TEMPSENSOR_FPGA_BOARD_SENSOR,TEMPSENSOR_VENOUS_PRESSURE_SENSOR,TEMPSENSOR_PBA_ADC_SENSOR,TEMPSENSOR_ARTERIAL_PRESSURE_SENSOR
TEST.END

-- Test Case: monitorTemperatures.003
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:monitorTemperatures
TEST.NEW
TEST.NAME:monitorTemperatures.003
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.activateAlarm2Data.alarm:ALARM_ID_HD_TEMPERATURES_OUT_OF_RANGE
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:0.0
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0
TEST.VALUE:uut_prototype_stubs.isPersistentAlarmTriggered.return:1
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:0.0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0
TEST.END

-- Subprogram: publishTemperaturesData

-- Test Case: publishTemperaturesData.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:publishTemperaturesData
TEST.NEW
TEST.NAME:publishTemperaturesData.001
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.getTemperatureValue
TEST.STUB:Temperatures.getPublishTemperaturesDataInterval
TEST.VALUE:Temperatures.getTemperatureValue.sensorID:THERMISTOR_ONBOARD_NTC,THERMISTOR_POWER_SUPPLY_1,TEMPSENSOR_VENOUS_PRESSURE_SENSOR,TEMPSENSOR_FPGA_BOARD_SENSOR,TEMPSENSOR_PBA_ADC_SENSOR
TEST.VALUE:Temperatures.getPublishTemperaturesDataInterval.return:<<MIN>>
TEST.VALUE:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TEMPERATURES_DATA
TEST.VALUE:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.VALUE:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.VALUE:uut_prototype_stubs.broadcastData.length:20
TEST.EXPECTED:Temperatures.getTemperatureValue.sensorID:THERMISTOR_ONBOARD_NTC,THERMISTOR_POWER_SUPPLY_1,TEMPSENSOR_VENOUS_PRESSURE_SENSOR,TEMPSENSOR_FPGA_BOARD_SENSOR,TEMPSENSOR_PBA_ADC_SENSOR,TEMPSENSOR_ARTERIAL_PRESSURE_SENSOR
TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_TEMPERATURES_DATA
TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST
TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:""
TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:24
TEST.END

-- Test Case: publishTemperaturesData.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:publishTemperaturesData
TEST.NEW
TEST.NAME:publishTemperaturesData.002
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: testResetMeasuredTemperatureOverride.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:testResetMeasuredTemperatureOverride.001
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.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.ovInitData:100.0
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.override:0x0
TEST.VALUE:Temperatures.testResetMeasuredTemperatureOverride.sensorID:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.ovData:100.0
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.override:0x0
TEST.EXPECTED:Temperatures.testResetMeasuredTemperatureOverride.return:1
TEST.END

-- Test Case: testResetMeasuredTemperatureOverride.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:testResetMeasuredTemperatureOverride.002
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.EXPECTED:Temperatures.testResetMeasuredTemperatureOverride.return:0
TEST.END

-- Test Case: testResetMeasuredTemperatureOverride.003
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:testResetMeasuredTemperatureOverride.003
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.EXPECTED:Temperatures.testResetMeasuredTemperatureOverride.return:0
TEST.END

-- Subprogram: testResetTemperaturesPublishIntervalOverride

-- Test Case: testResetTemperaturesPublishIntervalOverride.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetTemperaturesPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetTemperaturesPublishIntervalOverride.001
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.STUB:Temperatures.testSetTemperaturesPublishIntervalOverride
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesPublishInterval.ovInitData:100
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesPublishInterval.override:0x0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesPublishInterval.ovData:100
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesPublishInterval.override:0x0
TEST.EXPECTED:Temperatures.testResetTemperaturesPublishIntervalOverride.return:1
TEST.END

-- Test Case: testResetTemperaturesPublishIntervalOverride.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testResetTemperaturesPublishIntervalOverride
TEST.NEW
TEST.NAME:testResetTemperaturesPublishIntervalOverride.002
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.EXPECTED:Temperatures.testResetTemperaturesPublishIntervalOverride.return:0
TEST.END

-- Subprogram: testSetMeasuredTemperatureOverride

-- Test Case: testSetMeasuredTemperatureOverride.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:testSetMeasuredTemperatureOverride.001
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.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.ovInitData:100.0
TEST.VALUE:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.override:0xCCC33C33
TEST.VALUE:Temperatures.testSetMeasuredTemperatureOverride.sensorID:<<MIN>>
TEST.VALUE:Temperatures.testSetMeasuredTemperatureOverride.temperature:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.ovInitData:100.0
TEST.EXPECTED:Temperatures.<<GLOBAL>>.temperaturesStatus[THERMISTOR_ONBOARD_NTC].temperatureValue.override:0xCCC33C33
TEST.EXPECTED:Temperatures.testSetMeasuredTemperatureOverride.return:1
TEST.END

-- Test Case: testSetMeasuredTemperatureOverride.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:testSetMeasuredTemperatureOverride.002
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:Temperatures.testSetMeasuredTemperatureOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.EXPECTED:Temperatures.testSetMeasuredTemperatureOverride.return:0
TEST.END

-- Test Case: testSetMeasuredTemperatureOverride.003
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetMeasuredTemperatureOverride
TEST.NEW
TEST.NAME:testSetMeasuredTemperatureOverride.003
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:Temperatures.testSetMeasuredTemperatureOverride.return:0
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Temperatures.testSetMeasuredTemperatureOverride.return:0
TEST.END

-- Subprogram: testSetTemperaturesPublishIntervalOverride

-- Test Case: testSetTemperaturesPublishIntervalOverride.001
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetTemperaturesPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetTemperaturesPublishIntervalOverride.001
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.STUB:Temperatures.testResetTemperaturesPublishIntervalOverride
TEST.VALUE:Temperatures.testSetTemperaturesPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:Temperatures.testResetTemperaturesPublishIntervalOverride.return:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:Temperatures.testSetTemperaturesPublishIntervalOverride.return:1
TEST.END

-- Test Case: testSetTemperaturesPublishIntervalOverride.002
TEST.UNIT:Temperatures
TEST.SUBPROGRAM:testSetTemperaturesPublishIntervalOverride
TEST.NEW
TEST.NAME:testSetTemperaturesPublishIntervalOverride.002
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.EXPECTED:Temperatures.testSetTemperaturesPublishIntervalOverride.return:0
TEST.ATTRIBUTES:Temperatures.testResetTemperaturesPublishIntervalOverride.return:INPUT_BASE=16
TEST.END