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

-- Subprogram: getPIControllerSignals

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
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 (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> 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:PIControllers.getPIControllerSignals.controllerID:<<MIN>>
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
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 (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> 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:PIControllers.getPIControllerSignals.controllerID:<<MAX>>
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:<<MIN>>
TEST.END

-- Test Case: getPIControllerSignals_CntlSig
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_CntlSig
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.6
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_CONTROL
TEST.EXPECTED:PIControllers.getPIControllerSignals.return:0.6
TEST.END

-- Test Case: getPIControllerSignals_ErrorSig
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_ErrorSig
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:15.0
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_ERROR
TEST.EXPECTED:PIControllers.getPIControllerSignals.return:15.0
TEST.END

-- Test Case: getPIControllerSignals_ErrorSum
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_ErrorSum
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:750.0
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_ERROR_SUM
TEST.EXPECTED:PIControllers.getPIControllerSignals.return:750.0
TEST.END

-- Test Case: getPIControllerSignals_ErrorSumAfterWindUp
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_ErrorSumAfterWindUp
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:750.0
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_ERROR_SUM_AFTER_WINDUP
TEST.EXPECTED:PIControllers.getPIControllerSignals.return:750.0
TEST.END

-- Test Case: getPIControllerSignals_Integral
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_Integral
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.1
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:100.0
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_INTEGRAL_OUTPUT
TEST.EXPECTED:PIControllers.getPIControllerSignals.return:10.0
TEST.END

-- Test Case: getPIControllerSignals_InvalidController
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_InvalidController
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:NUM_OF_PI_CONTROLLERS_IDS
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_REFERENCE
TEST.EXPECTED:PIControllers.getPIControllerSignals.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:51
TEST.END

-- Test Case: getPIControllerSignals_InvalidSignal
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_InvalidSignal
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:NUM_OF_CONTROLLER_SIGNAL
TEST.EXPECTED:PIControllers.getPIControllerSignals.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:52
TEST.END

-- Test Case: getPIControllerSignals_MeasSig
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_MeasSig
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:395.0
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_MEASURED
TEST.EXPECTED:PIControllers.getPIControllerSignals.return:395.0
TEST.END

-- Test Case: getPIControllerSignals_Proportional
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_Proportional
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.1
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:10.0
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_PROPORTIONAL_OUTPUT
TEST.EXPECTED:PIControllers.getPIControllerSignals.return:1.0
TEST.END

-- Test Case: getPIControllerSignals_RefSig
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:getPIControllerSignals
TEST.NEW
TEST.NAME:getPIControllerSignals_RefSig
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:300.0
TEST.VALUE:PIControllers.getPIControllerSignals.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.getPIControllerSignals.signalID:CONTROLLER_SIGNAL_REFERENCE
TEST.EXPECTED:PIControllers.getPIControllerSignals.return:300.0
TEST.END

-- Subprogram: initializePIController

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> 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:PIControllers.initializePIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kP:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kI:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMin:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMax:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> 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:PIControllers.initializePIController.controllerID:<<MAX>>
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kP:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kI:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMin:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMax:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (fabs(kI) > (1.000000000000000021e-08)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 2
      Cannot set local variable controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.initializePIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kP:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kI:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMin:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMax:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (fabs(kI) > (1.000000000000000021e-08)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 2
      Cannot set local variable controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.initializePIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kP:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kI:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMin:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMax:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (fabs(kI) > (1.000000000000000021e-08)) ==> FALSE
      (3) (kI < (0.0)) ==> 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 controller in branch 3
      Cannot set local variable controller in branch 2
      Cannot set return value of function fabs in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.initializePIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kP:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kI:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMin:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMax:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (fabs(kI) > (1.000000000000000021e-08)) ==> FALSE
      (3) (kI < (0.0)) ==> 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 controller in branch 3
      Cannot set local variable controller in branch 2
      Cannot set return value of function fabs in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.initializePIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kP:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.kI:<<MAX>>
TEST.VALUE:PIControllers.initializePIController.controlMin:<<MIN>>
TEST.VALUE:PIControllers.initializePIController.controlMax:<<MIN>>
TEST.END

-- Test Case: initializePIController_InvalidController
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:initializePIController_InvalidController
TEST.VALUE:PIControllers.initializePIController.controllerID:NUM_OF_PI_CONTROLLERS_IDS
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:0.0
TEST.VALUE:PIControllers.initializePIController.kP:0.00005
TEST.VALUE:PIControllers.initializePIController.kI:0.0001
TEST.VALUE:PIControllers.initializePIController.controlMin:0.1
TEST.VALUE:PIControllers.initializePIController.controlMax:0.9
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:51
TEST.END

-- Test Case: initializePIController_NearZeroKINegative
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:initializePIController_NearZeroKINegative
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.0
TEST.VALUE:PIControllers.initializePIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:0.0
TEST.VALUE:PIControllers.initializePIController.kP:0.00005
TEST.VALUE:PIControllers.initializePIController.kI:-0.000000001
TEST.VALUE:PIControllers.initializePIController.controlMin:0.1
TEST.VALUE:PIControllers.initializePIController.controlMax:0.9
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:-0.00000001
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.9
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.1
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:-10000000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:-10000000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.1
TEST.END

-- Test Case: initializePIController_NearZeroKIPositive
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:initializePIController_NearZeroKIPositive
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.0
TEST.VALUE:PIControllers.initializePIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:0.0
TEST.VALUE:PIControllers.initializePIController.kP:0.00005
TEST.VALUE:PIControllers.initializePIController.kI:0.000000001
TEST.VALUE:PIControllers.initializePIController.controlMin:0.1
TEST.VALUE:PIControllers.initializePIController.controlMax:0.9
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.00000001
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.9
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.1
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:10000000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:10000000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.1
TEST.END

-- Test Case: initializePIController_NominalPath
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:initializePIController
TEST.NEW
TEST.NAME:initializePIController_NominalPath
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.0
TEST.VALUE:PIControllers.initializePIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.initializePIController.initialControlSignal:0.0
TEST.VALUE:PIControllers.initializePIController.kP:0.00005
TEST.VALUE:PIControllers.initializePIController.kI:0.0001
TEST.VALUE:PIControllers.initializePIController.controlMin:0.1
TEST.VALUE:PIControllers.initializePIController.controlMax:0.9
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0001
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.9
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.1
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:1000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:1000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.1
TEST.END

-- Subprogram: resetPIController

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> 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:PIControllers.resetPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> 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:PIControllers.resetPIController.controllerID:<<MAX>>
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (initialControlSignal > controller->uMax) ==> 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 controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.resetPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:<<MAX>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (initialControlSignal > controller->uMax) ==> 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 controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.resetPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (initialControlSignal > controller->uMax) ==> FALSE
      (3) (initialControlSignal < controller->uMin) ==> 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 controller in branch 3
      Cannot set local variable controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.resetPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (initialControlSignal > controller->uMax) ==> FALSE
      (3) (initialControlSignal < controller->uMin) ==> 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 controller in branch 3
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
TEST.END_NOTES:
TEST.VALUE:PIControllers.resetPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:<<MIN>>
TEST.END

-- Test Case: resetPIController_InvalidController
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:resetPIController_InvalidController
TEST.VALUE:PIControllers.resetPIController.controllerID:NUM_OF_PI_CONTROLLERS_IDS
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:0.5
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:51
TEST.END

-- Test Case: resetPIController_MaxRangeLimit
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:resetPIController_MaxRangeLimit
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0001
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.9
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.1
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.0
TEST.VALUE:PIControllers.resetPIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:0.91
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:9000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:9000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.9
TEST.END

-- Test Case: resetPIController_MinRangeLimit
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:resetPIController_MinRangeLimit
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0001
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.9
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.1
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.0
TEST.VALUE:PIControllers.resetPIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:0.09
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:1000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:1000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.1
TEST.END

-- Test Case: resetPIController_NominalPath
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:resetPIController
TEST.NEW
TEST.NAME:resetPIController_NominalPath
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0001
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.9
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.1
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:0.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.0
TEST.VALUE:PIControllers.resetPIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.resetPIController.initialControlSignal:0.5
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:0.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:5000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:5000.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.5
TEST.END

-- Subprogram: runPIController

-- Test Case: COND_10_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_10_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:15 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 15
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      (8) if (fabs(windupError) > (1.000000000000000021e-08)) ==> FALSE
      (9) if (controller->controlSignal > controller->uMax) ==> FALSE
      (10) (controller->controlSignal < controller->uMin) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set controller->controlSignal due to assignment
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 10
      Cannot set local variable controller in branch 2
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 6
      Cannot set local variable controller in branch 8
      Cannot set return value of function fabs in branch 8
      Cannot set local variable controller in branch 9
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_10_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_10_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:16 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 16
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      (8) if (fabs(windupError) > (1.000000000000000021e-08)) ==> FALSE
      (9) if (controller->controlSignal > controller->uMax) ==> FALSE
      (10) (controller->controlSignal < controller->uMin) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable controller in branch 10
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 6
      Cannot set local variable controller in branch 8
      Cannot set return value of function fabs in branch 8
      Cannot set local variable controller in branch 9
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> 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:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> 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:PIControllers.runPIController.controllerID:<<MAX>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:4 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:3 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:19 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 19
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> TRUE
      (3) (referenceSignal < (0.0)) ==> 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 controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 3
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:20 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 20
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> TRUE
      (3) (referenceSignal < (0.0)) ==> 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 controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 3
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MAX>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 2
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:18 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 18
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> TRUE
      (5) if (controller->errorSignal < (0.0)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set controller->errorSignal due to assignment
      Cannot set local variable controller in branch 5
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:17 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 17
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> TRUE
      (5) if (controller->errorSignal < (0.0)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set controller->errorSignal due to assignment
      Cannot set local variable controller in branch 5
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set controlSignalBeforeWindup due to assignment
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 6
      Cannot set local variable controller in branch 2
      Cannot set local variable controller in branch 4
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set controlSignalBeforeWindup due to assignment
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 6
      Cannot set local variable controller in branch 2
      Cannot set local variable controller in branch 4
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:9 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 9
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      (7) (controlSignalBeforeWindup < controller->uMin) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set controlSignalBeforeWindup due to assignment
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 7
      Cannot set local variable controller in branch 2
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 6
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:10 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 10
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      (7) (controlSignalBeforeWindup < controller->uMin) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable controller in branch 7
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 6
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:12 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 12
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      (8) if (fabs(windupError) > (1.000000000000000021e-08)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 8
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 6
      Cannot set controlSignalBeforeWindup due to assignment
      Cannot set local variable controller in branch 8
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_8_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:11 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 11
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      (8) if (fabs(windupError) > (1.000000000000000021e-08)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 8
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 6
      Cannot set controlSignalBeforeWindup due to assignment
      Cannot set local variable controller in branch 8
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_9_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:14 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 14
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      (8) if (fabs(windupError) > (1.000000000000000021e-08)) ==> FALSE
      (9) if (controller->controlSignal > controller->uMax) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #9, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable controller in branch 9
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 6
      Cannot set local variable controller in branch 8
      Cannot set return value of function fabs in branch 8
      Cannot set controller->controlSignal due to assignment
      Conflict: Trying to set variable  'less than' and 'greater than' same value in branches 6/9
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:COND_9_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:13 of 20
TEST.NOTES:
This is an automatically generated test case.
   Test Path 13
      (1) if (controllerID < (NUM_OF_PI_CONTROLLERS_IDS)) ==> TRUE
      (2) if (controller->direction == (CONTROLLER_UNIDIRECTIONAL)) ==> FALSE
      (4) if (fabs(controller->errorSignal) > controller->maxErrorSumStep) ==> FALSE
      (6) if (controlSignalBeforeWindup > controller->uMax) ==> FALSE
      (8) if (fabs(windupError) > (1.000000000000000021e-08)) ==> FALSE
      (9) if (controller->controlSignal > controller->uMax) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #9, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable controller in branch 9
      Cannot set local variable controller in branch 2
      Cannot set controller due to assignment
      Cannot set local variable controller in branch 4
      Cannot set local variable controller in branch 6
      Cannot set controlSignalBeforeWindup due to assignment
      Cannot set local variable controller in branch 8
      Cannot set return value of function fabs in branch 8
TEST.END_NOTES:
TEST.VALUE:PIControllers.runPIController.controllerID:<<MIN>>
TEST.VALUE:PIControllers.runPIController.referenceSignal:<<MIN>>
TEST.VALUE:PIControllers.runPIController.measuredSignal:<<MIN>>
TEST.END

-- Test Case: runPIController.001
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:runPIController.001
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_ULTRAFILTRATION].maxErrorSumStep:0.0
TEST.VALUE:PIControllers.runPIController.controllerID:PI_CONTROLLER_ID_ULTRAFILTRATION
TEST.VALUE:PIControllers.runPIController.referenceSignal:1.0
TEST.VALUE:PIControllers.runPIController.measuredSignal:2.0
TEST.END

-- Test Case: runPIController.002
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:runPIController.002
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_ULTRAFILTRATION].uMax:3.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_ULTRAFILTRATION].uMin:3.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_ULTRAFILTRATION].maxErrorSumStep:0.0
TEST.VALUE:PIControllers.runPIController.controllerID:PI_CONTROLLER_ID_ULTRAFILTRATION
TEST.VALUE:PIControllers.runPIController.referenceSignal:1.0
TEST.VALUE:PIControllers.runPIController.measuredSignal:2.0
TEST.END

-- Test Case: runPIController_InvalidController
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:runPIController_InvalidController
TEST.VALUE:PIControllers.runPIController.controllerID:NUM_OF_PI_CONTROLLERS_IDS
TEST.VALUE:PIControllers.runPIController.referenceSignal:400.0
TEST.VALUE:PIControllers.runPIController.measuredSignal:390.0
TEST.EXPECTED:PIControllers.runPIController.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:51
TEST.END

-- Test Case: runPIController_MaxRangeLimit
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:runPIController_MaxRangeLimit
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0001
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.88
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.12
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:400.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:385.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:15.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:8900.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:8800.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.6
TEST.VALUE:PIControllers.runPIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.runPIController.referenceSignal:400.0
TEST.VALUE:PIControllers.runPIController.measuredSignal:390.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:400.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:390.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:10.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:8810.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.88
TEST.EXPECTED:PIControllers.runPIController.return:0.88
TEST.END

-- Test Case: runPIController_MinRangeLimit
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:runPIController_MinRangeLimit
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0001
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.88
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.12
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:400.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:385.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:15.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:1000.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:1000.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.6
TEST.VALUE:PIControllers.runPIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.runPIController.referenceSignal:400.0
TEST.VALUE:PIControllers.runPIController.measuredSignal:390.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:400.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:390.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:10.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:1010.0
TEST.END

-- Test Case: runPIController_NegativeRef
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:runPIController_NegativeRef
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0001
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.88
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.12
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:-400.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:-385.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:15.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:6000.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:6000.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.6
TEST.VALUE:PIControllers.runPIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.runPIController.referenceSignal:-400.0
TEST.VALUE:PIControllers.runPIController.measuredSignal:-390.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:-400.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:-390.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:10.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:6010.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:6010.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.6015
TEST.EXPECTED:PIControllers.runPIController.return:0.6015
TEST.END

-- Test Case: runPIController_NominalPath
TEST.UNIT:PIControllers
TEST.SUBPROGRAM:runPIController
TEST.NEW
TEST.NAME:runPIController_NominalPath
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Kp:0.00005
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].Ki:0.0001
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMax:0.88
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].uMin:0.12
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:400.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:385.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:15.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:6000.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:6000.0
TEST.VALUE:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.6
TEST.VALUE:PIControllers.runPIController.controllerID:PI_CONTROLLER_ID_BLOOD_FLOW
TEST.VALUE:PIControllers.runPIController.referenceSignal:400.0
TEST.VALUE:PIControllers.runPIController.measuredSignal:390.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].referenceSignal:400.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].measuredSignal:390.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSignal:10.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSumBeforeWindUp:6010.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].errorSum:6010.0
TEST.EXPECTED:PIControllers.<<GLOBAL>>.piControllers[PI_CONTROLLER_ID_BLOOD_FLOW].controlSignal:0.6015
TEST.EXPECTED:PIControllers.runPIController.return:0.6015
TEST.END