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

-- Subprogram: adcNotification

-- Test Case: adcNotification.001
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:adcNotification
TEST.NEW
TEST.NAME:adcNotification.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (1U == group) ==> 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:InternalADC.<<GLOBAL>>.adcRawReadingsCount:0
TEST.VALUE:InternalADC.adcNotification.adc:<<malloc 1>>
TEST.VALUE:InternalADC.adcNotification.group:1
TEST.VALUE:uut_prototype_stubs.adcGetData.group:1
TEST.VALUE:uut_prototype_stubs.adcGetData.data[0].id:0
TEST.VALUE:uut_prototype_stubs.adcGetData.data[0].value:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadingsCount:0
TEST.EXPECTED:uut_prototype_stubs.adcGetData.group:1
TEST.END

-- Test Case: adcNotification.002
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:adcNotification
TEST.NEW
TEST.NAME:adcNotification.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (1U == group) ==> 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:InternalADC.<<GLOBAL>>.adcRawReadingsCount:0
TEST.VALUE:InternalADC.adcNotification.adc:<<malloc 1>>
TEST.VALUE:InternalADC.adcNotification.group:<<MIN>>
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadingsCount:0
TEST.END

-- Subprogram: execInternalADC

-- Test Case: execInternalADC.001
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:execInternalADC
TEST.NEW
TEST.NAME:execInternalADC.001
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadingsCount:1
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsIdx[INT_ADC_DIAL_IN_PUMP_SPEED]:16
TEST.VALUE:uut_prototype_stubs.adcStartConversion.group:1
TEST.EXPECTED:uut_prototype_stubs.adcStartConversion.group:1
TEST.END

-- Test Case: execInternalADC.002
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:execInternalADC
TEST.NEW
TEST.NAME:execInternalADC.002
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (adcRawReadingsCount < (NUM_OF_INT_ADC_CHANNELS)) ==> 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:InternalADC.<<GLOBAL>>.adcRawReadingsCount:<<MAX>>
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:8
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4294967295
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:8
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:4294967295
TEST.END

-- Test Case: execInternalADC.003
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:execInternalADC
TEST.NEW
TEST.NAME:execInternalADC.003
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (adcRawReadingsCount < (NUM_OF_INT_ADC_CHANNELS)) ==> TRUE
      (2) for (i < adcRawReadingsCount) ==> 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:InternalADC.<<GLOBAL>>.adcRawReadingsCount:1
TEST.VALUE:uut_prototype_stubs.adcStartConversion.group:1
TEST.EXPECTED:uut_prototype_stubs.adcStartConversion.group:1
TEST.END

-- Subprogram: getIntADCReading

-- Test Case: getIntADCReading.001
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:getIntADCReading
TEST.NEW
TEST.NAME:getIntADCReading.001
TEST.IMPORT_FAILURES:
(E) Errors from previous script import(s)
    >>> (E) @LINE: 142 TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_BACKUP_ALARM_CURRENT]:0
    >>>     >>> Invalid array index value INT_ADC_BACKUP_ALARM_CURRENT
    >>>     >>> Command Ignored.
    >>> (E) @LINE: 150 TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_BACKUP_ALARM_CURRENT]:0
    >>>     >>> Invalid array index value INT_ADC_BACKUP_ALARM_CURRENT
    >>>     >>> Command Ignored.
TEST.END_IMPORT_FAILURES:
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (channel < (NUM_OF_INT_ADC_CHANNELS)) ==> 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:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_NOT_USED]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_BLOOD_PUMP_MOTOR_CURRENT]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_DIAL_OUT_PUMP_MOTOR_CURRENT..INT_ADC_PS_THERMISTOR]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_1_2V_PROCESSOR]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_3_3V]:0
TEST.VALUE:InternalADC.getIntADCReading.channel:<<MIN>>
TEST.VALUE:InternalADC.getIntADCReading.return:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_NOT_USED]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_BLOOD_PUMP_MOTOR_CURRENT]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_DIAL_OUT_PUMP_MOTOR_CURRENT..INT_ADC_PS_THERMISTOR]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_1_2V_PROCESSOR]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_3_3V]:0
TEST.EXPECTED:InternalADC.getIntADCReading.return:0
TEST.END

-- Test Case: getIntADCReading.002
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:getIntADCReading
TEST.NEW
TEST.NAME:getIntADCReading.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (channel < (NUM_OF_INT_ADC_CHANNELS)) ==> 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:InternalADC.getIntADCReading.channel:<<MAX>>
TEST.VALUE:InternalADC.getIntADCReading.return:0
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:9
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:21
TEST.EXPECTED:InternalADC.getIntADCReading.return:0
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:9
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:21
TEST.END

-- Subprogram: getIntADCVoltageConverted

-- Test Case: getIntADCVoltageConverted.001
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:getIntADCVoltageConverted
TEST.NEW
TEST.NAME:getIntADCVoltageConverted.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (channel < (NUM_OF_INT_ADC_CHANNELS)) ==> 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:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_NOT_USED]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_BLOOD_PUMP_MOTOR_CURRENT]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_DIAL_OUT_PUMP_MOTOR_CURRENT]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_5V_SENSORS]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_1_25_FPGA_ADC_REF]:0
TEST.VALUE:InternalADC.getIntADCVoltageConverted.channel:<<MIN>>
TEST.VALUE:InternalADC.getIntADCVoltageConverted.return:0.0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_NOT_USED]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_BLOOD_PUMP_MOTOR_CURRENT]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_DIAL_OUT_PUMP_MOTOR_CURRENT]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_5V_SENSORS]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsAvgs[INT_ADC_1_25_FPGA_ADC_REF]:0
TEST.EXPECTED:InternalADC.getIntADCVoltageConverted.return:0.0
TEST.END

-- Test Case: getIntADCVoltageConverted.002
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:getIntADCVoltageConverted
TEST.NEW
TEST.NAME:getIntADCVoltageConverted.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (channel < (NUM_OF_INT_ADC_CHANNELS)) ==> 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:InternalADC.getIntADCVoltageConverted.channel:<<MAX>>
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:9
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:21
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:9
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:21
TEST.END

-- Subprogram: initInternalADC

-- Test Case: initInternalADC.001
TEST.UNIT:InternalADC
TEST.SUBPROGRAM:initInternalADC
TEST.NEW
TEST.NAME:initInternalADC.001
TEST.MCDC_BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (c < (NUM_OF_INT_ADC_CHANNELS)) ==> 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:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_NOT_USED].id:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_NOT_USED].value:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT].id:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT].value:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_PBA_ADC_REF].id:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_PBA_ADC_REF].value:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_5V_SENSORS].id:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_5V_SENSORS].value:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcRawReadingsCount:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsIdx[INT_ADC_NOT_USED]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsIdx[INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT]:0
TEST.VALUE:InternalADC.<<GLOBAL>>.adcReadingsIdx[INT_ADC_PBA_ADC_REF]:0
TEST.VALUE:uut_prototype_stubs.adcEnableNotification.group:1
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_NOT_USED].id:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT].id:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT].value:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_PBA_ADC_REF].id:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_PBA_ADC_REF].value:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_5V_SENSORS].id:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadings[INT_ADC_5V_SENSORS].value:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcRawReadingsCount:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsIdx[INT_ADC_NOT_USED]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsIdx[INT_ADC_DIAL_IN_PUMP_MOTOR_CURRENT]:0
TEST.EXPECTED:InternalADC.<<GLOBAL>>.adcReadingsIdx[INT_ADC_PBA_ADC_REF]:0
TEST.END