-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : SELFTESTS -- Unit(s) Under Test: SelfTests -- -- 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: SelfTests -- Subprogram: execDrySelfTests -- Test Case: execDrySelfTests.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 204 TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE" >>> >>> Command Ignored >>> (E) @LINE: 206 TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:7 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 7 (4) case currentDrySelfTestsState ==> DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE (5) if ((SELF_TEST_STATUS_PASSED) == execPresOcclDryTest()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.handleDrySelfTestStartState TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_START_STATE TEST.VALUE:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.execPresOcclDryTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_START_STATE TEST.END -- Test Case: execDrySelfTests.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.002 TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.END -- Test Case: execDrySelfTests.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 53 TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:SelfTests.handleDrySelfTestUsedCartridgeCheckState TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.VALUE:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.END -- Test Case: execDrySelfTests.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.004 TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleDrySelfTestCartridgeLoadedCheckState TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_CARTRIDGE_LOADED_CHECK_STATE TEST.VALUE:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_CARTRIDGE_LOADED_CHECK_STATE TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_CARTRIDGE_LOADED_CHECK_STATE TEST.END -- Test Case: execDrySelfTests.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.005 TEST.BASIS_PATH:10 of 21 TEST.NOTES: This is an automatically generated test case. Test Path 10 (7) case currentDrySelfTestsState ==> DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE (20) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.END -- Test Case: execDrySelfTests.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.006 TEST.BASIS_PATH:11 of 21 TEST.NOTES: This is an automatically generated test case. Test Path 11 (8) case currentDrySelfTestsState ==> DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS_SETUP_STATE (20) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS_SETUP_STATE TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.END -- Test Case: execDrySelfTests.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.007 TEST.BASIS_PATH:12 of 21 TEST.NOTES: This is an automatically generated test case. Test Path 12 (9) case currentDrySelfTestsState ==> DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS (20) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.END -- Test Case: execDrySelfTests.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.008 TEST.BASIS_PATH:13 of 21 TEST.NOTES: This is an automatically generated test case. Test Path 13 (10) case currentDrySelfTestsState ==> DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL_SETUP_STATE (20) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL_SETUP_STATE TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.END -- Test Case: execDrySelfTests.009 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.009 TEST.BASIS_PATH:14 of 21 TEST.NOTES: This is an automatically generated test case. Test Path 14 (11) case currentDrySelfTestsState ==> DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL (20) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.END -- Test Case: execDrySelfTests.010 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.010 TEST.BASIS_PATH:15 of 21 TEST.NOTES: This is an automatically generated test case. Test Path 15 (12) case currentDrySelfTestsState ==> DRY_SELF_TESTS_PRESSURE_SENSORS_DECAY_STATE (20) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_DECAY_STATE TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_DECAY_STATE TEST.END -- Test Case: execDrySelfTests.011 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.011 TEST.BASIS_PATH:16 of 21 TEST.NOTES: This is an automatically generated test case. Test Path 16 (13) case currentDrySelfTestsState ==> DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE (20) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE TEST.END -- Test Case: execDrySelfTests.012 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.012 TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_SYRINGE_PUMP_PRIME_STATE TEST.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_COMPLETE_STATE TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.data.uInt.data:13 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.data.uInt.data:16 TEST.END -- Test Case: execDrySelfTests.013 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.013 TEST.BASIS_PATH:17 of 21 TEST.NOTES: This is an automatically generated test case. Test Path 17 (14) case currentDrySelfTestsState ==> DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE (20) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleDrySelfTestPressureSensorsNormalState TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE TEST.END -- Test Case: execDrySelfTests.014 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.014 TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_SYRINGE_PUMP_OCCLUSION_DETECTION_STATE TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_SYRINGE_PUMP_OCCLUSION_DETECTION_STATE TEST.END -- Test Case: execDrySelfTests.015 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.015 TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: execDrySelfTests.016 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.016 TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_COMPLETE_STATE TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_COMPLETE_STATE TEST.END -- Test Case: execDrySelfTests.017 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.017 TEST.MCDC_BASIS_PATH:5 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 5 (12) case currentDrySelfTestsState ==> default (13) if ((SELF_TEST_STATUS_FAILED) == result) ==> FALSE (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE (15) if (elapsedSelfTestTimeInSecs <= 3 * 60) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #15, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable elapsedSelfTestTimeInSecs in branch 15 Cannot set local variable result in branch 13 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES 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.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES 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:104 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:17 TEST.END -- Test Case: execDrySelfTests.018 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.018 TEST.NOTES: This is an automatically generated test case. Test Path 5 (12) case currentDrySelfTestsState ==> default (13) if ((SELF_TEST_STATUS_FAILED) == result) ==> FALSE (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE (15) if (elapsedSelfTestTimeInSecs <= 3 * 60) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #15, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable elapsedSelfTestTimeInSecs in branch 15 Cannot set local variable result in branch 13 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES 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.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1000 TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:NUM_OF_DRY_SELF_TESTS_STATES 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:104 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:17 TEST.END -- Test Case: execDrySelfTests.019 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execDrySelfTests TEST.NEW TEST.NAME:execDrySelfTests.019 TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleDrySelfTestCartridgeLoadedCheckState TEST.VALUE:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_SYRINGE_PUMP_SEEK_STATE TEST.VALUE:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_SYRINGE_PUMP_SEEK_STATE TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.END -- Subprogram: execNoCartSelfTests -- Test Case: execNoCartSelfTests.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 420 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NO_CART_SELF_TESTS_START_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleNoCartSelfTestsWaitForClosedDoor TEST.VALUE:SelfTests.handleNoCartSelfTestsWaitForClosedDoor.return:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.VALUE:uut_prototype_stubs.broadcastData.return:0 TEST.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1000,30 TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.EXPECTED:uut_prototype_stubs.broadcastData.msgID:MSG_ID_HD_NO_CART_SELF_TEST_PROGRESS_DATA TEST.EXPECTED:uut_prototype_stubs.broadcastData.buffer:COMM_BUFFER_OUT_CAN_HD_BROADCAST TEST.EXPECTED:uut_prototype_stubs.broadcastData.dataPtr:"\36" TEST.EXPECTED:uut_prototype_stubs.broadcastData.length:8 TEST.END -- Test Case: execNoCartSelfTests.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.002 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_PRESSURE_CHECKS_STATE TEST.END -- Test Case: execNoCartSelfTests.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.003 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_VALVES_STATE TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_SYRINGE_PUMP_STATE TEST.END -- Test Case: execNoCartSelfTests.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.004 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_SYRINGE_PUMP_STATE TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_PUMPS_STATE TEST.END -- Test Case: execNoCartSelfTests.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.005 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_PUMPS_STATE TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_PUMPS_STATE TEST.END -- Test Case: execNoCartSelfTests.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.006 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_IDLE_STATE TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_COMPLETE_STATE TEST.END -- Test Case: execNoCartSelfTests.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.007 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: execNoCartSelfTests.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.008 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_COMPLETE_STATE TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_COMPLETE_STATE TEST.END -- Test Case: execNoCartSelfTests.009 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.009 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_PRESSURE_CHECKS_STATE TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_HOME_VALVES_STATE TEST.END -- Test Case: execNoCartSelfTests.010 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execNoCartSelfTests TEST.NEW TEST.NAME:execNoCartSelfTests.010 TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (13) case currentNoCartSelfTestsState ==> default (14) if (calcTimeSince(selfTestPreviousPublishDataTime) >= (1000)) ==> TRUE (15) if (elapsedSelfTestTimeInSecs <= (30)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #15, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable elapsedSelfTestTimeInSecs in branch 15 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NUM_OF_NO_CART_SELF_TESTS_STATES TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NUM_OF_NO_CART_SELF_TESTS_STATES TEST.END -- Subprogram: execWetSelfTests -- Test Case: execWetSelfTests.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 570 TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SETUP_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "WET_SELF_TESTS_SETUP_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleWetSelfTestStartState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_START_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_START_STATE TEST.END -- Test Case: execWetSelfTests.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.002 TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleWetSelfTestStartState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE TEST.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.EXPECTED:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.END -- Test Case: execWetSelfTests.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.003 TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleWetSelfTestStartState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.VALUE:uut_prototype_stubs.sendEvent.event:HD_EVENT_SUB_STATE_CHANGE TEST.VALUE:uut_prototype_stubs.sendEvent.dat1.dataType:EVENT_DATA_TYPE_U32 TEST.VALUE:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.END -- Test Case: execWetSelfTests.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.004 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.END -- Test Case: execWetSelfTests.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.005 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE TEST.END -- Test Case: execWetSelfTests.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.006 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: execWetSelfTests.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.007 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE TEST.END -- Test Case: execWetSelfTests.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.008 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: execWetSelfTests.009 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.009 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: execWetSelfTests.010 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.010 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.END -- Test Case: execWetSelfTests.011 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.011 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE TEST.END -- Test Case: execWetSelfTests.012 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.012 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: execWetSelfTests.013 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.013 TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE TEST.END -- Test Case: execWetSelfTests.014 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.014 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (14) case currentWetSelfTestsState ==> default (15) if ((SELF_TEST_STATUS_FAILED) == result) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #15, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable result in branch 15 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:NUM_OF_WET_SELF_TESTS_STATES TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:NUM_OF_WET_SELF_TESTS_STATES TEST.END -- Test Case: execWetSelfTests.015 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.015 TEST.BASIS_PATH:1 of 16 (template) TEST.NOTES: This is an automatically generated test case. Test Path 1 (15) case currentWetSelfTestsState ==> default (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( SelfTests.<>.currentWetSelfTestsState ) in branches 1/16 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:NUM_OF_WET_SELF_TESTS_STATES TEST.END -- Test Case: execWetSelfTests.016 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.016 TEST.BASIS_PATH:2 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 2 (15) case currentWetSelfTestsState ==> default (16) if (priorSubState != currentWetSelfTestsState) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:NUM_OF_WET_SELF_TESTS_STATES TEST.END -- Test Case: execWetSelfTests.017 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.017 TEST.BASIS_PATH:3 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) case currentWetSelfTestsState ==> WET_SELF_TESTS_START_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_START_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_START_STATE TEST.END -- Test Case: execWetSelfTests.018 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.018 TEST.BASIS_PATH:4 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 4 (2) case currentWetSelfTestsState ==> WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE TEST.END -- Test Case: execWetSelfTests.019 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.019 TEST.BASIS_PATH:5 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 5 (3) case currentWetSelfTestsState ==> WET_SELF_TESTS_BUBBLE_CHECK_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.END -- Test Case: execWetSelfTests.020 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.020 TEST.BASIS_PATH:6 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 6 (4) case currentWetSelfTestsState ==> WET_SELF_TESTS_PRIME_CHECK_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.END -- Test Case: execWetSelfTests.021 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.021 TEST.BASIS_PATH:7 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 7 (5) case currentWetSelfTestsState ==> WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE TEST.END -- Test Case: execWetSelfTests.022 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.022 TEST.BASIS_PATH:8 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 8 (6) case currentWetSelfTestsState ==> WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE TEST.END -- Test Case: execWetSelfTests.023 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.023 TEST.BASIS_PATH:9 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 9 (7) case currentWetSelfTestsState ==> WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: execWetSelfTests.025 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.025 TEST.BASIS_PATH:10 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 10 (8) case currentWetSelfTestsState ==> WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE TEST.END -- Test Case: execWetSelfTests.026 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.026 TEST.BASIS_PATH:11 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 11 (9) case currentWetSelfTestsState ==> WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.END -- Test Case: execWetSelfTests.027 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.027 TEST.BASIS_PATH:12 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 12 (10) case currentWetSelfTestsState ==> WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: execWetSelfTests.028 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.028 TEST.BASIS_PATH:13 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 13 (11) case currentWetSelfTestsState ==> WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.END -- Test Case: execWetSelfTests.029 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.029 TEST.BASIS_PATH:14 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 14 (12) case currentWetSelfTestsState ==> WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.END -- Test Case: execWetSelfTests.030 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.030 TEST.BASIS_PATH:15 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 15 (13) case currentWetSelfTestsState ==> WET_SELF_TESTS_STOPPED_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_STOPPED_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: execWetSelfTests.032 TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW TEST.NAME:execWetSelfTests.032 TEST.BASIS_PATH:16 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 16 (14) case currentWetSelfTestsState ==> WET_SELF_TESTS_COMPLETE_STATE (16) if (priorSubState != currentWetSelfTestsState) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_COMPLETE_STATE TEST.END -- Subprogram: getDrySelfTestsState -- Test Case: getDrySelfTestsState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:getDrySelfTestsState TEST.NEW TEST.NAME:getDrySelfTestsState.001 TEST.EXPECTED:SelfTests.getDrySelfTestsState.return:0 TEST.END -- Subprogram: getNoCartSelfTestsState -- Test Case: getNoCartSelfTestsState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:getNoCartSelfTestsState TEST.NEW TEST.NAME:getNoCartSelfTestsState.001 TEST.EXPECTED:SelfTests.getNoCartSelfTestsState.return:0 TEST.END -- Subprogram: getWetSelfTestState -- Test Case: getWetSelfTestState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:getWetSelfTestState TEST.NEW TEST.NAME:getWetSelfTestState.001 TEST.BASIS_PATH:1 of 1 TEST.NOTES: No branches in subprogram TEST.END_NOTES: TEST.EXPECTED:SelfTests.getWetSelfTestState.return:0 TEST.END -- Subprogram: handleDoorCloseAfterCartridgeInsertion -- Test Case: handleDoorCloseAfterCartridgeInsertion.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDoorCloseAfterCartridgeInsertion TEST.NEW TEST.NAME:handleDoorCloseAfterCartridgeInsertion.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_OPEN) == frontDoor && (1) == doorStateAfterCartridgeInstall) ==> FALSE (2) if (((STATE_CLOSED) == frontDoor && (STATE_CLOSED) == pumpTrack) && (0) == doorStateAfterCartridgeInstall) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.doorStateAfterCartridgeInstall:2 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:NUM_OF_OPN_CLS_STATES TEST.EXPECTED:SelfTests.<>.doorStateAfterCartridgeInstall:2 TEST.END -- Test Case: handleDoorCloseAfterCartridgeInsertion.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDoorCloseAfterCartridgeInsertion TEST.NEW TEST.NAME:handleDoorCloseAfterCartridgeInsertion.002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_OPEN) == frontDoor && (1) == doorStateAfterCartridgeInstall) ==> FALSE (2) if (((STATE_CLOSED) == frontDoor && (STATE_CLOSED) == pumpTrack) && (0) == doorStateAfterCartridgeInstall) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.doorStateAfterCartridgeInstall:0 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:SelfTests.<>.doorStateAfterCartridgeInstall:1 TEST.END -- Test Case: handleDoorCloseAfterCartridgeInsertion.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDoorCloseAfterCartridgeInsertion TEST.NEW TEST.NAME:handleDoorCloseAfterCartridgeInsertion.003 TEST.BASIS_PATH:3 of 3 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((STATE_OPEN) == frontDoor && (1) == doorStateAfterCartridgeInstall) ==> TRUE (2) if (((STATE_CLOSED) == frontDoor && (STATE_CLOSED) == pumpTrack) && (0) == doorStateAfterCartridgeInstall) ==> FALSE Test Case Generation Notes: Cannot set doorStateAfterCartridgeInstall due to assignment TEST.END_NOTES: TEST.VALUE:SelfTests.<>.doorStateAfterCartridgeInstall:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:SelfTests.<>.doorStateAfterCartridgeInstall:0 TEST.END -- Test Case: handleDoorCloseAfterCartridgeInsertion.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDoorCloseAfterCartridgeInsertion TEST.NEW TEST.NAME:handleDoorCloseAfterCartridgeInsertion.004 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_OPEN) == frontDoor && (1) == doorStateAfterCartridgeInstall) ==> FALSE (2) if (((STATE_CLOSED) == frontDoor && (STATE_CLOSED) == pumpTrack) && (0) == doorStateAfterCartridgeInstall) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.doorStateAfterCartridgeInstall:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:SelfTests.<>.doorStateAfterCartridgeInstall:0 TEST.END -- Test Case: handleDoorCloseAfterCartridgeInsertion.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDoorCloseAfterCartridgeInsertion TEST.NEW TEST.NAME:handleDoorCloseAfterCartridgeInsertion.005 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((STATE_OPEN) == frontDoor && (1) == doorStateAfterCartridgeInstall) ==> TRUE (2) if (((STATE_CLOSED) == frontDoor && (STATE_CLOSED) == pumpTrack) && (0) == doorStateAfterCartridgeInstall) ==> FALSE Test Case Generation Notes: Cannot set doorStateAfterCartridgeInstall due to assignment TEST.END_NOTES: TEST.VALUE:SelfTests.<>.doorStateAfterCartridgeInstall:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:SelfTests.<>.doorStateAfterCartridgeInstall:1 TEST.END -- Test Case: handleDoorCloseAfterCartridgeInsertion.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDoorCloseAfterCartridgeInsertion TEST.NEW TEST.NAME:handleDoorCloseAfterCartridgeInsertion.006 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((STATE_OPEN) == frontDoor && (1) == doorStateAfterCartridgeInstall) ==> TRUE (2) if (((STATE_CLOSED) == frontDoor && (STATE_CLOSED) == pumpTrack) && (0) == doorStateAfterCartridgeInstall) ==> FALSE Test Case Generation Notes: Cannot set doorStateAfterCartridgeInstall due to assignment TEST.END_NOTES: TEST.VALUE:SelfTests.<>.doorStateAfterCartridgeInstall:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED,STATE_OPEN TEST.EXPECTED:SelfTests.<>.doorStateAfterCartridgeInstall:1 TEST.END -- Subprogram: handleDrySelfTestCartridgeLoadedCheckState -- Test Case: handleDrySelfTestCartridgeLoadedCheckState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestCartridgeLoadedCheckState TEST.NEW TEST.NAME:handleDrySelfTestCartridgeLoadedCheckState.001 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((SELF_TEST_STATUS_PASSED) == execPresOcclDryTest()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.execPresOcclDryTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_CARTRIDGE_LOADED_CHECK_STATE TEST.END -- Test Case: handleDrySelfTestCartridgeLoadedCheckState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestCartridgeLoadedCheckState TEST.NEW TEST.NAME:handleDrySelfTestCartridgeLoadedCheckState.002 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((SELF_TEST_STATUS_PASSED) == execPresOcclDryTest()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.execPresOcclDryTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestCartridgeLoadedCheckState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestCartridgeLoadedCheckState TEST.NEW TEST.NAME:handleDrySelfTestCartridgeLoadedCheckState.003 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((SELF_TEST_STATUS_PASSED) == execPresOcclDryTest()) ==> TRUE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.pressureSelfTestPreNormalStartTime:1 TEST.VALUE:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.execPresOcclDryTest.return:SELF_TEST_STATUS_PASSED TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0 TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.pressureSelfTestPreNormalStartTime:1 TEST.EXPECTED:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_SYRINGE_PUMP_SEEK_STATE TEST.END -- Test Case: handleDrySelfTestCartridgeLoadedCheckState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestCartridgeLoadedCheckState TEST.NEW TEST.NAME:handleDrySelfTestCartridgeLoadedCheckState.004 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((SELF_TEST_STATUS_PASSED) == execPresOcclDryTest()) ==> TRUE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.pressureSelfTestPreNormalStartTime:1 TEST.VALUE:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.execPresOcclDryTest.return:SELF_TEST_STATUS_PASSED TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0 TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.pressureSelfTestPreNormalStartTime:1 TEST.EXPECTED:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_SYRINGE_PUMP_SEEK_STATE TEST.END -- Test Case: handleDrySelfTestCartridgeLoadedCheckState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestCartridgeLoadedCheckState TEST.NEW TEST.NAME:handleDrySelfTestCartridgeLoadedCheckState.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((SELF_TEST_STATUS_PASSED) == execPresOcclDryTest()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.execPresOcclDryTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:SelfTests.handleDrySelfTestCartridgeLoadedCheckState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Subprogram: handleDrySelfTestPressureSensorsArterialSetupState -- Test Case: handleDrySelfTestPressureSensorsArterialSetupState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsArterialSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsArterialSetupState.001 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsArterialSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsArterialSetupState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsArterialSetupState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsArterialSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsArterialSetupState.002 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.pressureSelfTestBloodPumpRunStartTime:10 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsArterialSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:0 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,VALVE_POSITION_B_OPEN,VALVE_POSITION_C_CLOSE TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0 TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_OPEN TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.EXPECTED:SelfTests.<>.pressureSelfTestBloodPumpRunStartTime:100 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsArterialSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100 TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,VALVE_POSITION_B_OPEN,VALVE_POSITION_C_CLOSE TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.END -- Subprogram: handleDrySelfTestPressureSensorsArterialState -- Test Case: handleDrySelfTestPressureSensorsArterialState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsArterialState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsArterialState.001 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (-(200.0F) >= arterialPressure && (200.0F) <= venousPressure) ==> FALSE (2) if ((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 20 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsArterialState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsArterialState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsArterialState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsArterialState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsArterialState.002 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (-(200.0F) >= arterialPressure && (200.0F) <= venousPressure) ==> FALSE (2) if ((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 20 * 1000)) ==> TRUE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsArterialState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsArterialState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:-3.40282E+38 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:3.40282E+38 TEST.END -- Test Case: handleDrySelfTestPressureSensorsArterialState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsArterialState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsArterialState.003 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (-(200.0F) >= arterialPressure && (200.0F) <= venousPressure) ==> TRUE (2) if ((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 20 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.pressureSelfTestDecayStartTime:10 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsArterialState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.pressureSelfTestDecayStartTime:100 TEST.EXPECTED:SelfTests.<>.peakArterialPressure:<> TEST.EXPECTED:SelfTests.<>.peakVenousPressure:<> TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsArterialState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_DECAY_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsArterialState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsArterialState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsArterialState.004 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (-(200.0F) >= arterialPressure && (200.0F) <= venousPressure) ==> TRUE (2) if ((1) == didTimeout(pressureSelfTestBloodPumpRunStartTime, 20 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.pressureSelfTestDecayStartTime:10 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsArterialState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:-200.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:0.0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.pressureSelfTestDecayStartTime:10 TEST.EXPECTED:SelfTests.<>.peakArterialPressure:0.0 TEST.EXPECTED:SelfTests.<>.peakVenousPressure:0.0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsArterialState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL TEST.END -- Subprogram: handleDrySelfTestPressureSensorsDecayState -- Test Case: handleDrySelfTestPressureSensorsDecayState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsDecayState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsDecayState.001 TEST.BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (arterialPressure < peakArterialPressure) ==> FALSE (2) if (venousPressure > peakVenousPressure) ==> FALSE (3) if ((1) == didTimeout(pressureSelfTestDecayStartTime, 4 * 1000)) ==> FALSE (5) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.peakArterialPressure:<> TEST.VALUE:SelfTests.<>.peakVenousPressure:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.peakArterialPressure:-3.40282E+38 TEST.EXPECTED:SelfTests.<>.peakVenousPressure:3.40282E+38 TEST.END -- Test Case: handleDrySelfTestPressureSensorsDecayState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsDecayState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsDecayState.002 TEST.BASIS_PATH:3 of 6 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (arterialPressure < peakArterialPressure) ==> FALSE (2) if (venousPressure > peakVenousPressure) ==> FALSE (3) if ((1) == didTimeout(pressureSelfTestDecayStartTime, 4 * 1000)) ==> TRUE (4) if (arterialDecayDiff < (5.0F) && venousDecayDiff < (5.0F)) ==> FALSE (5) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 4 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.peakArterialPressure:<> TEST.VALUE:SelfTests.<>.peakVenousPressure:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.peakArterialPressure:-3.40282E+38 TEST.EXPECTED:SelfTests.<>.peakVenousPressure:3.40282E+38 TEST.END -- Test Case: handleDrySelfTestPressureSensorsDecayState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsDecayState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsDecayState.003 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (arterialPressure < peakArterialPressure) ==> FALSE (2) if (venousPressure > peakVenousPressure) ==> FALSE (3) if ((1) == didTimeout(pressureSelfTestDecayStartTime, 4 * 1000)) ==> TRUE (4) if (arterialDecayDiff < (5.0F) && venousDecayDiff < (5.0F)) ==> FALSE (5) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 4 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.peakArterialPressure:<> TEST.VALUE:SelfTests.<>.peakVenousPressure:10.0 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:5.0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.peakArterialPressure:-3.40282E+38 TEST.EXPECTED:SelfTests.<>.peakVenousPressure:10.0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:4000 TEST.END -- Test Case: handleDrySelfTestPressureSensorsDecayState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsDecayState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsDecayState.004 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (arterialPressure < peakArterialPressure) ==> FALSE (2) if (venousPressure > peakVenousPressure) ==> FALSE (3) if ((1) == didTimeout(pressureSelfTestDecayStartTime, 4 * 1000)) ==> TRUE (4) if (arterialDecayDiff < (5.0F) && venousDecayDiff < (5.0F)) ==> FALSE (5) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 4 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.peakArterialPressure:<> TEST.VALUE:SelfTests.<>.peakVenousPressure:0.0 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:5.0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.peakArterialPressure:-3.40282E+38 TEST.EXPECTED:SelfTests.<>.peakVenousPressure:5.0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:0 TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:4000 TEST.END -- Test Case: handleDrySelfTestPressureSensorsDecayState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsDecayState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsDecayState.005 TEST.BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (arterialPressure < peakArterialPressure) ==> FALSE (2) if (venousPressure > peakVenousPressure) ==> TRUE (3) if ((1) == didTimeout(pressureSelfTestDecayStartTime, 4 * 1000)) ==> FALSE (5) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.peakArterialPressure:<> TEST.VALUE:SelfTests.<>.peakVenousPressure:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.peakArterialPressure:-3.40282E+38 TEST.EXPECTED:SelfTests.<>.peakVenousPressure:3.40282E+38 TEST.END -- Test Case: handleDrySelfTestPressureSensorsDecayState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsDecayState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsDecayState.006 TEST.BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (arterialPressure < peakArterialPressure) ==> TRUE (2) if (venousPressure > peakVenousPressure) ==> FALSE (3) if ((1) == didTimeout(pressureSelfTestDecayStartTime, 4 * 1000)) ==> FALSE (5) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.peakArterialPressure:<> TEST.VALUE:SelfTests.<>.peakVenousPressure:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.peakArterialPressure:-3.40282E+38 TEST.EXPECTED:SelfTests.<>.peakVenousPressure:3.40282E+38 TEST.END -- Subprogram: handleDrySelfTestPressureSensorsNormalSetupState -- Test Case: handleDrySelfTestPressureSensorsNormalSetupState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalSetupState.001 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:9.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:9.0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsNormalSetupState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalSetupState.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1012 TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY,LOAD_CELL_RESERVOIR_2_PRIMARY >>> >>> Could not find function getLoadCellWeight >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1013 TEST.VALUE:uut_prototype_stubs.getLoadCellWeight.return:14.0,16.0 >>> >>> Could not find function getLoadCellWeight >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1017 TEST.EXPECTED:uut_prototype_stubs.getLoadCellWeight.loadCellID:LOAD_CELL_RESERVOIR_1_PRIMARY,LOAD_CELL_RESERVOIR_2_PRIMARY >>> >>> Could not find function getLoadCellWeight >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:9.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:9.0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsNormalSetupState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalSetupState.003 TEST.BASIS_PATH:2 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == didTimeout(pressureSelfTestPreNormalStartTime, 1 * 1000)) ==> TRUE (3) if (fabs(previousNormalArterialPressure) > (10.0F) || fabs(previousNormalVenousPressure) > (10.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 3 TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:10.5 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:10.5 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.previousNormalArterialPressure:0.0 TEST.EXPECTED:SelfTests.<>.previousNormalVenousPressure:0.0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS_SETUP_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsNormalSetupState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalSetupState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == didTimeout(pressureSelfTestPreNormalStartTime, 1 * 1000)) ==> TRUE (3) if (fabs(previousNormalArterialPressure) > (10.0F) || fabs(previousNormalVenousPressure) > (10.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 3 TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:9.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:10.5 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.previousNormalArterialPressure:0.0 TEST.EXPECTED:SelfTests.<>.previousNormalVenousPressure:0.0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS_SETUP_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsNormalSetupState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalSetupState.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == didTimeout(pressureSelfTestPreNormalStartTime, 1 * 1000)) ==> TRUE (3) if (fabs(previousNormalArterialPressure) > (10.0F) || fabs(previousNormalVenousPressure) > (10.0F)) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 3 TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:9.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:9.0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.previousNormalArterialPressure:0.0 TEST.EXPECTED:SelfTests.<>.previousNormalVenousPressure:0.0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS_SETUP_STATE TEST.END -- Subprogram: handleDrySelfTestPressureSensorsNormalState -- Test Case: handleDrySelfTestPressureSensorsNormalState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalState.001 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:22.0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsNormalState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalState.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 723 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsNormalState.result:<> >>> >>> Unknown parameter/object name result >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == didTimeout(pressureSelfTestNormalizedStartTime, 2 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsNormalState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalState.003 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:22.0 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsNormalState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalState.004 TEST.VALUE:SelfTests.<>.previousNormalVenousPressure:2.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:22.0 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.previousNormalVenousPressure:2.0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalState.return:DRY_SELF_TESTS_SYRINGE_PUMP_PRIME_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsNormalState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsNormalState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsNormalState.005 TEST.VALUE:SelfTests.<>.previousNormalArterialPressure:1.0 TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:22.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:22.0 TEST.VALUE:uut_prototype_stubs.getValveAirTrapStatus.return:STATE_OPEN TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsNormalState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE TEST.END -- Subprogram: handleDrySelfTestPressureSensorsStabilityState -- Test Case: handleDrySelfTestPressureSensorsStabilityState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsStabilityState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsStabilityState.001 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(pressureSelfTestStabilityStartTime, 5 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsStabilityState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsStabilityState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsStabilityState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsStabilityState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsStabilityState.002 TEST.BASIS_PATH:3 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == didTimeout(pressureSelfTestStabilityStartTime, 5 * 1000)) ==> TRUE (2) if (arterialStabilityDiff < (5.0F) && venousStabilityDiff < (5.0F)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 2 TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsStabilityState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.pressureSelfTestNormalizedStartTime:100 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsStabilityState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_STATE TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN TEST.END -- Test Case: handleDrySelfTestPressureSensorsStabilityState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsStabilityState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsStabilityState.003 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == didTimeout(pressureSelfTestStabilityStartTime, 5 * 1000)) ==> TRUE (2) if (arterialStabilityDiff < (5.0F) && venousStabilityDiff < (5.0F)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 2 TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsStabilityState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:5.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:5.0 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.pressureSelfTestNormalizedStartTime:0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsStabilityState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:5.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:5.0 TEST.END -- Test Case: handleDrySelfTestPressureSensorsStabilityState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsStabilityState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsStabilityState.004 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == didTimeout(pressureSelfTestStabilityStartTime, 5 * 1000)) ==> TRUE (2) if (arterialStabilityDiff < (5.0F) && venousStabilityDiff < (5.0F)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: Cannot set return value of function fabs in branch 2 TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsStabilityState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredArterialPressure.return:4.0 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:5.0 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.pressureSelfTestNormalizedStartTime:0 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsStabilityState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_STABILITY_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:4.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:5.0 TEST.END -- Subprogram: handleDrySelfTestPressureSensorsVenousSetupState -- Test Case: handleDrySelfTestPressureSensorsVenousSetupState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsVenousSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsVenousSetupState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1209 TEST.VALUE:SelfTests.<>.pressureSelfTestDialInPumpRunStartTime:11 >>> >>> Unknown parameter/object name pressureSelfTestDialInPumpRunStartTime >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1218 TEST.EXPECTED:SelfTests.<>.pressureSelfTestDialInPumpRunStartTime:10 >>> >>> Unknown parameter/object name pressureSelfTestDialInPumpRunStartTime >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.pressureSelfTestVenousTestStartTime:10 TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsVenousSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:0 TEST.VALUE:uut_prototype_stubs.setAirPumpState.state:AIR_PUMP_STATE_ON TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.return:0 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_B_OPEN,VALVE_POSITION_C_CLOSE,VALVE_POSITION_B_OPEN,VALVE_POSITION_C_CLOSE TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0 TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_OPEN TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.pressureSelfTestVenousTestStartTime:10 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsVenousSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.EXPECTED:uut_prototype_stubs.setAirPumpState.state:AIR_PUMP_STATE_ON TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,VALVE_POSITION_B_OPEN,VALVE_POSITION_C_CLOSE TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.END -- Test Case: handleDrySelfTestPressureSensorsVenousSetupState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsVenousSetupState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsVenousSetupState.002 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsVenousSetupState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsVenousSetupState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Subprogram: handleDrySelfTestPressureSensorsVenousState -- Test Case: handleDrySelfTestPressureSensorsVenousState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsVenousState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsVenousState.001 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((200.0F) <= venousPressure) ==> FALSE (2) if ((1) == didTimeout(pressureSelfTestDialInPumpRunStartTime, 20 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsVenousState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsVenousState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestPressureSensorsVenousState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsVenousState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsVenousState.002 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((200.0F) <= venousPressure) ==> FALSE (2) if ((1) == didTimeout(pressureSelfTestDialInPumpRunStartTime, 20 * 1000)) ==> TRUE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsVenousState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.setAirPumpState.state:AIR_PUMP_STATE_ON TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsVenousState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_DRY_PRESSURE_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:-3.40282E+38 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:250.0 TEST.EXPECTED:uut_prototype_stubs.setAirPumpState.state:AIR_PUMP_STATE_OFF TEST.END -- Test Case: handleDrySelfTestPressureSensorsVenousState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestPressureSensorsVenousState TEST.NEW TEST.NAME:handleDrySelfTestPressureSensorsVenousState.003 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((200.0F) <= venousPressure) ==> TRUE (2) if ((1) == didTimeout(pressureSelfTestDialInPumpRunStartTime, 20 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestPressureSensorsVenousState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_VENOUS TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleDrySelfTestPressureSensorsVenousState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_ARTERIAL_SETUP_STATE TEST.END -- Subprogram: handleDrySelfTestStartState -- Test Case: handleDrySelfTestStartState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStartState TEST.NEW TEST.NAME:handleDrySelfTestStartState.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_CLOSED) == pumpTrack) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_START_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:PUMP_TRACK_SWITCH,FRONT_DOOR,PUMP_TRACK_SWITCH TEST.END -- Test Case: handleDrySelfTestStartState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStartState TEST.NEW TEST.NAME:handleDrySelfTestStartState.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_CLOSED) == pumpTrack) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:PUMP_TRACK_SWITCH,FRONT_DOOR,PUMP_TRACK_SWITCH TEST.END -- Test Case: handleDrySelfTestStartState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStartState TEST.NEW TEST.NAME:handleDrySelfTestStartState.003 TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((STATE_CLOSED) == pumpTrack) ==> TRUE (2) if ((1) == didTimeout(selfTestCartridgeSettleTime, 10 * 1000)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_START_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:PUMP_TRACK_SWITCH,FRONT_DOOR,PUMP_TRACK_SWITCH TEST.END -- Test Case: handleDrySelfTestStartState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStartState TEST.NEW TEST.NAME:handleDrySelfTestStartState.004 TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_CLOSED) == pumpTrack) ==> TRUE (2) if ((1) == didTimeout(selfTestCartridgeSettleTime, 10 * 1000)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.doorClosedRequired.door:0 TEST.VALUE:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestStartState.return:DRY_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1 TEST.END -- Subprogram: handleDrySelfTestStoppedState -- Test Case: handleDrySelfTestStoppedState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.001 TEST.BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:<> TEST.VALUE:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.END -- Test Case: handleDrySelfTestStoppedState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.002 TEST.BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> TRUE (6) if ((1) == dryPressureTestsCompleted) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:<> TEST.VALUE:SelfTests.<>.selfTestCartridgeSettleTime:1 TEST.VALUE:SelfTests.<>.selfTestStartTime:1 TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.dryPressureTestsCompleted:0 TEST.EXPECTED:SelfTests.<>.selfTestCartridgeSettleTime:10 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:10 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0,1,0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0,(2)1 TEST.END -- Test Case: handleDrySelfTestStoppedState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.003 TEST.BASIS_PATH:3 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> TRUE (6) if ((1) == dryPressureTestsCompleted) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:1 TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.dryPressureTestsCompleted:1 TEST.EXPECTED:SelfTests.<>.selfTestCartridgeSettleTime:10 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:10 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_SYRINGE_PUMP_PRIME_STATE TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0,1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0,1 TEST.END -- Test Case: handleDrySelfTestStoppedState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.004 TEST.BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> TRUE (2) if (isSyringePumpRunning() != (1)) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:<> TEST.VALUE:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RINSEBACK TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:1 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:(2)ALARM_USER_ACTION_RESUME TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1,0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.END -- Test Case: handleDrySelfTestStoppedState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.005 TEST.BASIS_PATH:5 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> TRUE (2) if (isSyringePumpRunning() != (1)) ==> TRUE (3) if ((1) == isSyringePumpHome()) ==> FALSE (4) if ((1) == isSyringePumpPreLoaded()) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:<> TEST.VALUE:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_ACK TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:<> TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:(2)ALARM_USER_ACTION_RESUME TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1,0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.END -- Test Case: handleDrySelfTestStoppedState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.006 TEST.BASIS_PATH:6 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> TRUE (2) if (isSyringePumpRunning() != (1)) ==> TRUE (3) if ((1) == isSyringePumpHome()) ==> FALSE (4) if ((1) == isSyringePumpPreLoaded()) ==> TRUE (5) if ((1) == selfTestsResumeRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:<> TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RINSEBACK TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.doorClosedRequired.door:1 TEST.VALUE:uut_prototype_stubs.doorClosedRequired.pumpTrack:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:1 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:(3)ALARM_USER_ACTION_RESUME TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1,0,1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.END -- Test Case: handleDrySelfTestStoppedState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.007 TEST.BASIS_PATH:7 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> TRUE (2) if (isSyringePumpRunning() != (1)) ==> TRUE (3) if ((1) == isSyringePumpHome()) ==> TRUE (5) if ((1) == selfTestsResumeRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:<> TEST.VALUE:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RINSEBACK TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.doorClosedRequired.door:1 TEST.VALUE:uut_prototype_stubs.doorClosedRequired.pumpTrack:1 TEST.VALUE:uut_prototype_stubs.preloadSyringePlunger.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:<> TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:(2)ALARM_USER_ACTION_RESUME TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1,0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.END -- Test Case: handleDrySelfTestStoppedState.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.008 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> TRUE (6) if ((1) == dryPressureTestsCompleted) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:<> TEST.VALUE:SelfTests.<>.selfTestCartridgeSettleTime:1 TEST.VALUE:SelfTests.<>.selfTestStartTime:1 TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:SelfTests.<>.cartridgeUsedTestRun:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.dryPressureTestsCompleted:0 TEST.EXPECTED:SelfTests.<>.selfTestCartridgeSettleTime:10 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:10 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:SelfTests.<>.cartridgeUsedTestRun:1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0,1,0,1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0,(3)1 TEST.END -- Test Case: handleDrySelfTestStoppedState.009 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.009 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> TRUE (6) if ((1) == dryPressureTestsCompleted) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:<> TEST.VALUE:SelfTests.<>.selfTestCartridgeSettleTime:1 TEST.VALUE:SelfTests.<>.selfTestStartTime:1 TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:SelfTests.<>.occlusionBaselineWasSet:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.dryPressureTestsCompleted:0 TEST.EXPECTED:SelfTests.<>.selfTestCartridgeSettleTime:10 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:10 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0,1,0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0,(2)1 TEST.END -- Test Case: handleDrySelfTestStoppedState.010 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.010 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:<> TEST.VALUE:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getFilteredVenousPressure.return:25.0 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:SelfTests.handleDrySelfTestStoppedState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.END -- Test Case: handleDrySelfTestStoppedState.011 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestStoppedState TEST.NEW TEST.NAME:handleDrySelfTestStoppedState.011 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (5) if ((1) == selfTestsResumeRequested) ==> TRUE (6) if ((1) == dryPressureTestsCompleted) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:<> TEST.VALUE:SelfTests.<>.selfTestCartridgeSettleTime:1 TEST.VALUE:SelfTests.<>.selfTestStartTime:1 TEST.VALUE:SelfTests.<>.heparinOcclusionTestRun:1 TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.dryPressureTestsCompleted:0 TEST.EXPECTED:SelfTests.<>.selfTestCartridgeSettleTime:10 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:10 TEST.EXPECTED:SelfTests.<>.heparinOcclusionTestRun:1 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:0,1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:0,1 TEST.END -- Subprogram: handleDrySelfTestSyringePumpOcclusionDetectionState -- Test Case: handleDrySelfTestSyringePumpOcclusionDetectionState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpOcclusionDetectionState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpOcclusionDetectionState.001 TEST.BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == didTimeout(syringeOcclusionDelayStartTime, 3 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleDrySelfTestSyringePumpOcclusionDetectionState.return:DRY_SELF_TESTS_SYRINGE_PUMP_OCCLUSION_DETECTION_STATE TEST.END -- Test Case: handleDrySelfTestSyringePumpOcclusionDetectionState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpOcclusionDetectionState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpOcclusionDetectionState.002 TEST.BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(syringeOcclusionDelayStartTime, 3 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleDrySelfTestSyringePumpOcclusionDetectionState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestSyringePumpOcclusionDetectionState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpOcclusionDetectionState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpOcclusionDetectionState.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1828 TEST.VALUE:uut_prototype_stubs.checkForPrimeOcclusion.return:1 >>> >>> Could not find function checkForPrimeOcclusion >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == didTimeout(syringeOcclusionDelayStartTime, 3 * 1000)) ==> TRUE (2) if ((0) == checkForPrimeOcclusion()) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestSyringePumpOcclusionDetectionState.return:DRY_SELF_TESTS_COMPLETE_STATE TEST.END -- Test Case: handleDrySelfTestSyringePumpOcclusionDetectionState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpOcclusionDetectionState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpOcclusionDetectionState.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1848 TEST.VALUE:uut_prototype_stubs.checkForPrimeOcclusion.return:0 >>> >>> Could not find function checkForPrimeOcclusion >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == didTimeout(syringeOcclusionDelayStartTime, 3 * 1000)) ==> TRUE (2) if ((0) == checkForPrimeOcclusion()) ==> TRUE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.checkForSyringeOcclusion.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestSyringePumpOcclusionDetectionState.return:DRY_SELF_TESTS_SYRINGE_PUMP_OCCLUSION_DETECTION_STATE TEST.EXPECTED:uut_prototype_stubs.checkForSyringeOcclusion.stopPump:0 TEST.END -- Subprogram: handleDrySelfTestSyringePumpPrimeState -- Test Case: handleDrySelfTestSyringePumpPrimeState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpPrimeState.002 TEST.MCDC_BASIS_PATH:6 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == useHeparin) ==> TRUE (2) if ((1) == isSyringePlungerFound()) ==> 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:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.END -- Test Case: handleDrySelfTestSyringePumpPrimeState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpPrimeState.003 TEST.MCDC_BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((1) == useHeparin) ==> TRUE (2) if ((1) == isSyringePlungerFound()) ==> TRUE (3) if ((1) == isSyringePumpPrimed()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpPrimed.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.END -- Test Case: handleDrySelfTestSyringePumpPrimeState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpPrimeState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == useHeparin) ==> 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:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.END -- Test Case: handleDrySelfTestSyringePumpPrimeState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpPrimeState.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == useHeparin) ==> 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:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.END -- Test Case: handleDrySelfTestSyringePumpPrimeState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpPrimeState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpPrimeState.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == useHeparin) ==> 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:SelfTests.<>.useHeparin:1 TEST.VALUE:SelfTests.handleDrySelfTestSyringePumpPrimeState.return:DRY_SELF_TESTS_SYRINGE_PUMP_PRIME_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.seekSyringePlunger.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.EXPECTED:SelfTests.handleDrySelfTestSyringePumpPrimeState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Subprogram: handleDrySelfTestSyringePumpSeekState -- Test Case: handleDrySelfTestSyringePumpSeekState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpSeekState.001 TEST.BASIS_PATH:1 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == useHeparin) ==> FALSE (6) if ((1) == done) ==> FALSE Test Case Generation Notes: Cannot set done due to assignment TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.END -- Test Case: handleDrySelfTestSyringePumpSeekState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpSeekState.002 TEST.BASIS_PATH:2 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == useHeparin) ==> FALSE (6) if ((1) == done) ==> TRUE (7) if ((1) == getTestConfigStatus(TEST_CONFIG_USE_WET_CARTRIDGE)) ==> FALSE Test Case Generation Notes: Cannot set done due to assignment TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:<> TEST.END -- Test Case: handleDrySelfTestSyringePumpSeekState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpSeekState.003 TEST.BASIS_PATH:3 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == useHeparin) ==> FALSE (6) if ((1) == done) ==> TRUE (7) if ((1) == getTestConfigStatus(TEST_CONFIG_USE_WET_CARTRIDGE)) ==> TRUE Test Case Generation Notes: Cannot set done due to assignment TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.END -- Test Case: handleDrySelfTestSyringePumpSeekState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpSeekState.004 TEST.BASIS_PATH:4 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == useHeparin) ==> TRUE (3) if ((0) == isSyringePumpRunning()) ==> FALSE (6) if ((1) == done) ==> FALSE Test Case Generation Notes: Cannot set local variable done in branch 6 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:1 TEST.END -- Test Case: handleDrySelfTestSyringePumpSeekState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpSeekState.005 TEST.BASIS_PATH:5 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == useHeparin) ==> TRUE (3) if ((0) == isSyringePumpRunning()) ==> TRUE (4) if ((1) == isSyringePlungerFound()) ==> FALSE (5) if ((1) == isSyringePumpPreLoaded()) ==> FALSE (6) if ((1) == done) ==> FALSE Test Case Generation Notes: Cannot set local variable done in branch 6 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:<> TEST.END -- Test Case: handleDrySelfTestSyringePumpSeekState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpSeekState.006 TEST.BASIS_PATH:6 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == useHeparin) ==> TRUE (3) if ((0) == isSyringePumpRunning()) ==> TRUE (4) if ((1) == isSyringePlungerFound()) ==> FALSE (5) if ((1) == isSyringePumpPreLoaded()) ==> TRUE (6) if ((1) == done) ==> FALSE Test Case Generation Notes: Cannot set local variable done in branch 6 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:1 TEST.END -- Test Case: handleDrySelfTestSyringePumpSeekState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpSeekState.007 TEST.BASIS_PATH:7 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE (2) if ((1) == useHeparin) ==> TRUE (3) if ((0) == isSyringePumpRunning()) ==> TRUE (4) if ((1) == isSyringePlungerFound()) ==> TRUE (6) if ((1) == done) ==> FALSE Test Case Generation Notes: Cannot set done due to assignment TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:0 TEST.END -- Test Case: handleDrySelfTestSyringePumpSeekState.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW TEST.NAME:handleDrySelfTestSyringePumpSeekState.008 TEST.BASIS_PATH:8 of 8 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE (6) if ((1) == done) ==> FALSE Test Case Generation Notes: Cannot set local variable done in branch 6 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.END -- Subprogram: handleDrySelfTestUsedCartridgeCheckState -- Test Case: handleDrySelfTestUsedCartridgeCheckState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState TEST.NEW TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.001 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.EXPECTED:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.END -- Test Case: handleDrySelfTestUsedCartridgeCheckState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState TEST.NEW TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.002 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.EXPECTED:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleDrySelfTestUsedCartridgeCheckState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState TEST.NEW TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.003 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1546 TEST.EXPECTED:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "DRY_SELF_TESTS_OCCLUSION_SENSORS_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED,BUBBLE_NOT_DETECTED TEST.END -- Test Case: handleDrySelfTestUsedCartridgeCheckState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState TEST.NEW TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.004 TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_FLUID TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.EXPECTED:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.END -- Test Case: handleDrySelfTestUsedCartridgeCheckState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState TEST.NEW TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.005 TEST.VALUE:uut_prototype_stubs.getAirTrapLevel.return:AIR_TRAP_LEVEL_AIR,AIR_TRAP_LEVEL_FLUID TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.EXPECTED:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.END -- Test Case: handleDrySelfTestUsedCartridgeCheckState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState TEST.NEW TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.006 TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.EXPECTED:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_CARTRIDGE_LOADED_CHECK_STATE TEST.EXPECTED:uut_prototype_stubs.getTestConfigStatus.config:TEST_CONFIG_USE_WET_CARTRIDGE TEST.END -- Subprogram: handleDrySelfTestWaitForDoorCloseState -- Test Case: handleDrySelfTestWaitForDoorCloseState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestWaitForDoorCloseState TEST.NEW TEST.NAME:handleDrySelfTestWaitForDoorCloseState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1429 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN >>> >>> Could not find function getFPGADoorState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.EXPECTED:SelfTests.handleDrySelfTestWaitForDoorCloseState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV,VDI,VDO,VBV,VBA TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE,VALVE_POSITION_B_OPEN,(5)VALVE_POSITION_A_INSERT_EJECT TEST.END -- Test Case: handleDrySelfTestWaitForDoorCloseState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestWaitForDoorCloseState TEST.NEW TEST.NAME:handleDrySelfTestWaitForDoorCloseState.002 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:NUM_OF_OPN_CLS_STATES TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.EXPECTED:SelfTests.handleDrySelfTestWaitForDoorCloseState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBV,VBA TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_A_INSERT_EJECT TEST.END -- Test Case: handleDrySelfTestWaitForDoorCloseState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestWaitForDoorCloseState TEST.NEW TEST.NAME:handleDrySelfTestWaitForDoorCloseState.003 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED,STATE_OPEN TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.EXPECTED:SelfTests.handleDrySelfTestWaitForDoorCloseState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBV,VBA TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_A_INSERT_EJECT TEST.END -- Subprogram: handleNoCartSelfTestHomeIdleState -- Test Case: handleNoCartSelfTestHomeIdleState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeIdleState.001 TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "c". Condition a ==> TRUE Condition b ==> TRUE Condition c ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:0 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeIdleState.return:NO_CART_SELF_TESTS_HOME_IDLE_STATE TEST.END -- Test Case: handleNoCartSelfTestHomeIdleState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeIdleState.002 TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Condition c ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeIdleState.return:NO_CART_SELF_TESTS_HOME_IDLE_STATE TEST.END -- Test Case: handleNoCartSelfTestHomeIdleState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeIdleState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeIdleState.003 TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (((0) == isDialInPumpRunning() && (0) == isDialOutPumpRunning()) && (0) == isBloodPumpRunning()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.isBloodPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isDialInPumpRunning.return:1 TEST.VALUE:uut_prototype_stubs.isDialOutPumpRunning.return:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeIdleState.return:NO_CART_SELF_TESTS_STOPPED_STATE TEST.END -- Subprogram: handleNoCartSelfTestHomeSyringePumpState -- Test Case: handleNoCartSelfTestHomeSyringePumpState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.001 TEST.MCDC_BASIS_PATH:9 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((1) == useHeparin) ==> TRUE (2) if ((1) == isSyringePumpStopped()) ==> 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:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.END -- Test Case: handleNoCartSelfTestHomeSyringePumpState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.002 TEST.MCDC_BASIS_PATH:5 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == useHeparin) ==> FALSE (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #3, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable SelfTests.<>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.END -- Test Case: handleNoCartSelfTestHomeSyringePumpState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.003 TEST.MCDC_BASIS_PATH:7 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((1) == useHeparin) ==> FALSE (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable SelfTests.<>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:<> TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:<> TEST.EXPECTED:SelfTests.<>.useHeparin:0 TEST.END -- Test Case: handleNoCartSelfTestHomeSyringePumpState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.004 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((1) == useHeparin) ==> TRUE (2) if ((1) == isSyringePumpStopped()) ==> 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:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:0 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.END -- Test Case: handleNoCartSelfTestHomeSyringePumpState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.005 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((1) == useHeparin) ==> TRUE (2) if ((1) == isSyringePumpStopped()) ==> 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:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeSyringePumpState.return:NO_CART_SELF_TESTS_PUMPS_STATE TEST.END -- Test Case: handleNoCartSelfTestHomeSyringePumpState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.006 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == useHeparin) ==> FALSE (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #3, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable SelfTests.<>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.preloadSyringePlunger.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeSyringePumpState.return:NO_CART_SELF_TESTS_HOME_SYRINGE_PUMP_STATE TEST.END -- Test Case: handleNoCartSelfTestHomeSyringePumpState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.007 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == useHeparin) ==> FALSE (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #3, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable SelfTests.<>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.preloadSyringePlunger.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeSyringePumpState.return:NO_CART_SELF_TESTS_PUMPS_STATE TEST.END -- Test Case: handleNoCartSelfTestHomeSyringePumpState.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeSyringePumpState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeSyringePumpState.008 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == useHeparin) ==> FALSE (3) if ((1) != useHeparin || (1) == isSyringePumpHome()) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #3, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable SelfTests.<>.useHeparin 'equal to' and 'not equal to' same value in branches 1/3 TEST.END_NOTES: TEST.VALUE:SelfTests.<>.useHeparin:1 TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_NO_ALARM TEST.VALUE:uut_prototype_stubs.preloadSyringePlunger.return:0 TEST.VALUE:uut_prototype_stubs.isSyringeDetected.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpHome.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpStopped.return:1 TEST.EXPECTED:SelfTests.<>.useHeparin:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeSyringePumpState.return:NO_CART_SELF_TESTS_HOME_SYRINGE_PUMP_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_SYRINGE_DETECTED TEST.END -- Subprogram: handleNoCartSelfTestHomeValvesState -- Test Case: handleNoCartSelfTestHomeValvesState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeValvesState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeValvesState.001 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (valve < (NUM_OF_VALVES)) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:SelfTests.handleNoCartSelfTestHomeValvesState.return:NO_CART_SELF_TESTS_HOME_SYRINGE_PUMP_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeValvesState.return:NO_CART_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleNoCartSelfTestHomeValvesState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestHomeValvesState TEST.NEW TEST.NAME:handleNoCartSelfTestHomeValvesState.002 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (valve < (NUM_OF_VALVES)) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:SelfTests.handleNoCartSelfTestHomeValvesState.return:NO_CART_SELF_TESTS_HOME_SYRINGE_PUMP_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:0 TEST.EXPECTED:SelfTests.handleNoCartSelfTestHomeValvesState.return:NO_CART_SELF_TESTS_HOME_SYRINGE_PUMP_STATE TEST.END -- Subprogram: handleNoCartSelfTestPumpsState -- Test Case: handleNoCartSelfTestPumpsState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState TEST.NEW TEST.NAME:handleNoCartSelfTestPumpsState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1934 TEST.VALUE:SelfTests.<>.havePumpsStarted:1 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1936 TEST.EXPECTED:SelfTests.<>.havePumpsStarted:1 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == havePumpsStarted) ==> FALSE (2) if ((1) == didTimeout(runPumpStartTime, 15 * 1000)) ==> 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:SelfTests.<>.havePumpsStartedForNCST:0 TEST.VALUE:SelfTests.<>.pumpHomingRequestedForNCST:0 TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.return:0 TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.runPumpStartTime:10 TEST.EXPECTED:SelfTests.<>.havePumpsStartedForNCST:1 TEST.EXPECTED:SelfTests.<>.pumpHomingRequestedForNCST:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestPumpsState.return:NO_CART_SELF_TESTS_PUMPS_STATE TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100 TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:100 TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.flowRate:100 TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.END -- Test Case: handleNoCartSelfTestPumpsState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState TEST.NEW TEST.NAME:handleNoCartSelfTestPumpsState.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1955 TEST.VALUE:SelfTests.<>.havePumpsStarted:1 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 1958 TEST.EXPECTED:SelfTests.<>.havePumpsStarted:1 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((0) == havePumpsStarted) ==> FALSE (2) if ((1) == didTimeout(runPumpStartTime, 15 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.setupForSelfTestsStop TEST.VALUE:SelfTests.handleNoCartSelfTestPumpsState.return:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.setBloodPumpTargetFlowRate.return:0 TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.return:0 TEST.VALUE:uut_prototype_stubs.setDialOutPumpTargetRate.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.runPumpStartTime:10 TEST.EXPECTED:SelfTests.<>.havePumpsStartedForNCST:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestPumpsState.return:NO_CART_SELF_TESTS_STOPPED_STATE TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.flowRate:100 TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setBloodPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.flowRate:100 TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setDialInPumpTargetFlowRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.flowRate:100 TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.dir:MOTOR_DIR_FORWARD TEST.EXPECTED:uut_prototype_stubs.setDialOutPumpTargetRate.mode:PUMP_CONTROL_MODE_OPEN_LOOP TEST.END -- Test Case: handleNoCartSelfTestPumpsState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestPumpsState TEST.NEW TEST.NAME:handleNoCartSelfTestPumpsState.003 TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == havePumpsStartedForNCST) ==> FALSE (2) if ((1) == pumpHomingRequestedForNCST) ==> TRUE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.havePumpsStartedForNCST:1 TEST.VALUE:SelfTests.<>.pumpHomingRequestedForNCST:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.END -- Subprogram: handleNoCartSelfTestStoppedState -- Test Case: handleNoCartSelfTestStoppedState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestStoppedState TEST.NEW TEST.NAME:handleNoCartSelfTestStoppedState.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == selfTestsResumeRequested) ==> 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:SelfTests.<>.selfTestsResumeRequested:1 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.END -- Test Case: handleNoCartSelfTestStoppedState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestStoppedState TEST.NEW TEST.NAME:handleNoCartSelfTestStoppedState.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == selfTestsResumeRequested) ==> 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:SelfTests.<>.selfTestsResumeRequested:<> TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.END -- Subprogram: handleNoCartSelfTestsWaitForClosedDoor -- Test Case: handleNoCartSelfTestsWaitForClosedDoor.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor TEST.NEW TEST.NAME:handleNoCartSelfTestsWaitForClosedDoor.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2001 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_CLOSED >>> >>> Could not find function getFPGADoorState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> 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:SelfTests.handleNoCartSelfTestsWaitForClosedDoor.return:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.EXPECTED:SelfTests.handleNoCartSelfTestsWaitForClosedDoor.return:NO_CART_SELF_TESTS_PRESSURE_CHECKS_STATE TEST.END -- Test Case: handleNoCartSelfTestsWaitForClosedDoor.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor TEST.NEW TEST.NAME:handleNoCartSelfTestsWaitForClosedDoor.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2037 TEST.VALUE:uut_prototype_stubs.getFPGADoorState.return:STATE_OPEN >>> >>> Could not find function getFPGADoorState >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:SelfTests.handleNoCartSelfTestsWaitForClosedDoor.return:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.EXPECTED:SelfTests.handleNoCartSelfTestsWaitForClosedDoor.return:NO_CART_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleNoCartSelfTestsWaitForClosedDoor.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleNoCartSelfTestsWaitForClosedDoor TEST.NEW TEST.NAME:handleNoCartSelfTestsWaitForClosedDoor.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_CLOSED) == getFPGADoorState()) ==> 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:SelfTests.handleNoCartSelfTestsWaitForClosedDoor.return:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:PUMP_TRACK_SWITCH TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:SelfTests.handleNoCartSelfTestsWaitForClosedDoor.return:NO_CART_SELF_TESTS_WAIT_FOR_DOOR_CLOSE_STATE TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR TEST.END -- Subprogram: handleWetSelfTestBloodLeakDetectorDebubbleState -- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.001 TEST.BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == didTimeout(bloodLeakDebubbleStartTimeMS, 5 * 1000)) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.002 TEST.BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(bloodLeakDebubbleStartTimeMS, 5 * 1000)) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.003 TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == didTimeout(bloodLeakDebubbleStartTimeMS, 5 * 1000)) ==> TRUE (2) if (getMeasuredDialInPumpSpeed() <= (9.999999939e-09F)) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.004 TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == didTimeout(bloodLeakDebubbleStartTimeMS, 5 * 1000)) ==> TRUE (2) if (getMeasuredDialInPumpSpeed() <= (9.999999939e-09F)) ==> TRUE (3) if ((1) == zeroBloodLeak()) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.zeroBloodLeak.return:<> TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.005 TEST.BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == didTimeout(bloodLeakDebubbleStartTimeMS, 5 * 1000)) ==> TRUE (2) if (getMeasuredDialInPumpSpeed() <= (9.999999939e-09F)) ==> TRUE (3) if ((1) == zeroBloodLeak()) ==> TRUE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.zeroBloodLeak.return:1 TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.END -- Subprogram: handleWetSelfTestBloodLeakDetectorState -- Test Case: handleWetSelfTestBloodLeakDetectorState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorState.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((SELF_TEST_STATUS_PASSED) == getBloodLeakSelfTestStatus()) ==> 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:SelfTests.handleWetSelfTestBloodLeakDetectorState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_PASSED TEST.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorState.002 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((SELF_TEST_STATUS_PASSED) == getBloodLeakSelfTestStatus()) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:SelfTests.handleWetSelfTestBloodLeakDetectorState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorState.003 TEST.BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((SELF_TEST_STATUS_PASSED) == status) ==> FALSE (2) if ((SELF_TEST_STATUS_FAILED) == status) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorState.004 TEST.BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((SELF_TEST_STATUS_PASSED) == status) ==> FALSE (2) if ((SELF_TEST_STATUS_FAILED) == status) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorState.005 TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((SELF_TEST_STATUS_PASSED) == status) ==> FALSE (2) if ((SELF_TEST_STATUS_FAILED) == status) ==> TRUE (3) if ((1) == hasBloodLeakZeroSequenceFailed()) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.hasBloodLeakZeroSequenceFailed.return:<> TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_FAILED TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorState.006 TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((SELF_TEST_STATUS_PASSED) == status) ==> FALSE (2) if ((SELF_TEST_STATUS_FAILED) == status) ==> TRUE (3) if ((1) == hasBloodLeakZeroSequenceFailed()) ==> TRUE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.hasBloodLeakZeroSequenceFailed.return:1 TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_FAILED TEST.END -- Test Case: handleWetSelfTestBloodLeakDetectorState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW TEST.NAME:handleWetSelfTestBloodLeakDetectorState.007 TEST.BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((SELF_TEST_STATUS_PASSED) == status) ==> TRUE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_PASSED TEST.END -- Subprogram: handleWetSelfTestBubblesState -- Test Case: handleWetSelfTestBubblesState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBubblesState TEST.NEW TEST.NAME:handleWetSelfTestBubblesState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2132 TEST.VALUE:SelfTests.handleWetSelfTestBubblesState.return:WET_SELF_TESTS_BUBBLES_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "WET_SELF_TESTS_BUBBLES_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADA) && (SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADV)) ==> 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:uut_prototype_stubs.getBubbleSelfTestStatus.return:SELF_TEST_STATUS_PASSED TEST.EXPECTED:SelfTests.handleWetSelfTestBubblesState.return:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.END -- Test Case: handleWetSelfTestBubblesState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBubblesState TEST.NEW TEST.NAME:handleWetSelfTestBubblesState.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2152 TEST.VALUE:SelfTests.handleWetSelfTestBubblesState.return:WET_SELF_TESTS_BUBBLES_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "WET_SELF_TESTS_BUBBLES_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADA) && (SELF_TEST_STATUS_PASSED) == getBubbleSelfTestStatus(ADV)) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getBubbleSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS TEST.EXPECTED:SelfTests.handleWetSelfTestBubblesState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Subprogram: handleWetSelfTestFirstDisplacementSetupState -- Test Case: handleWetSelfTestFirstDisplacementSetupState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.001 TEST.MCDC_BASIS_PATH:2 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.isValvesSettingSent:0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:1 TEST.END -- Test Case: handleWetSelfTestFirstDisplacementSetupState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.002 TEST.MCDC_BASIS_PATH:5 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.END -- Test Case: handleWetSelfTestFirstDisplacementSetupState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.003 TEST.MCDC_BASIS_PATH:8 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:2 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:2 TEST.END -- Test Case: handleWetSelfTestFirstDisplacementSetupState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.isValvesSettingSent:0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:1 TEST.END -- Test Case: handleWetSelfTestFirstDisplacementSetupState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.005 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.END -- Test Case: handleWetSelfTestFirstDisplacementSetupState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.006 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementSetupState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejected:0 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.displacementStartTime:0 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementSetupState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: handleWetSelfTestFirstDisplacementSetupState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementSetupState.007 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((0) == isValvesSettingSent && (1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.END -- Subprogram: handleWetSelfTestFirstDisplacementState -- Test Case: handleWetSelfTestFirstDisplacementState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementState.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> 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:SelfTests.handleWetSelfTestFirstDisplacementState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE TEST.VALUE:uut_prototype_stubs.getMeasuredDialInFlowRate.return:100.0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.END -- Test Case: handleWetSelfTestFirstDisplacementState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementState.002 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:SelfTests.handleWetSelfTestFirstDisplacementState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestFirstDisplacementState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementState.003 TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((0) == settleStartTime) ==> FALSE (3) if ((1) == didTimeout(settleStartTime, 5 * 1000) && settleStartTime != (0)) ==> TRUE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.settleStartTime:1 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementState.return:WET_SELF_TESTS_START_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:10.5 TEST.VALUE:uut_prototype_stubs.getMeasuredDialInFlowRate.return:0.0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.settleStartTime:0 TEST.EXPECTED:SelfTests.<>.displacementStartTime:10 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1..DG_RESERVOIR_2]:10.5 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE TEST.EXPECTED:uut_prototype_stubs.getReservoirWeight.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 TEST.END -- Subprogram: handleWetSelfTestFirstDisplacementVerifyState -- Test Case: handleWetSelfTestFirstDisplacementVerifyState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2632 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.result:<> >>> >>> Unknown parameter/object name result >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestFirstDisplacementVerifyState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: handleWetSelfTestFirstDisplacementVerifyState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.004 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2405 TEST.VALUE:uut_prototype_stubs.getReservoirWeightLargeFilter.resID:DG_RESERVOIR_1 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2406 TEST.VALUE:uut_prototype_stubs.getReservoirWeightLargeFilter.return:0.0 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2416 TEST.EXPECTED:uut_prototype_stubs.getReservoirWeightLargeFilter.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:22.0 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_LC_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:22.0 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_LC_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:22.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.END -- Test Case: handleWetSelfTestFirstDisplacementVerifyState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.005 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2438 TEST.VALUE:uut_prototype_stubs.getReservoirWeightLargeFilter.resID:DG_RESERVOIR_1 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2439 TEST.VALUE:uut_prototype_stubs.getReservoirWeightLargeFilter.return:10.0 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2449 TEST.EXPECTED:uut_prototype_stubs.getReservoirWeightLargeFilter.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:<> TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:22.0 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:3.40282E+38 TEST.EXPECTED:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:22.0 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_LC_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:22.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.END -- Test Case: handleWetSelfTestFirstDisplacementVerifyState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.006 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2472 TEST.VALUE:uut_prototype_stubs.getReservoirWeightLargeFilter.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2473 TEST.VALUE:uut_prototype_stubs.getReservoirWeightLargeFilter.return:5.0,8.0 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2482 TEST.EXPECTED:uut_prototype_stubs.getReservoirWeightLargeFilter.resID:DG_RESERVOIR_1,DG_RESERVOIR_2 >>> >>> Could not find function getReservoirWeightLargeFilter >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:25.0 TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:10.0 TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_2]:4.0 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:25.0 TEST.EXPECTED:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:10.0 TEST.EXPECTED:SelfTests.<>.reservoirVolume[DG_RESERVOIR_2]:4.0 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.END -- Test Case: handleWetSelfTestFirstDisplacementVerifyState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:22.0 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_LC_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:22.0 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.END -- Test Case: handleWetSelfTestFirstDisplacementVerifyState.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestFirstDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestFirstDisplacementVerifyState.008 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:950.0 TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:2000.0 TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_2]:1000.0 TEST.VALUE:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_LC_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:1000.0,2000.0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleWetSelfTestFirstDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.END -- Subprogram: handleWetSelfTestPrimeCheckState -- Test Case: handleWetSelfTestPrimeCheckState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2733 TEST.VALUE:SelfTests.handleWetSelfTestPrimeCheckState.result:<> >>> >>> Unknown parameter/object name result >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.EXPECTED:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.002 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.EXPECTED:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.003 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:0 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.EXPECTED:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.004 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((BUBBLE_NOT_DETECTED) == ADABubbleStatus && (BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.VALUE:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_PRIME_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.zeroBloodLeak.return:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.EXPECTED:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.005 TEST.BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE (5) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.006 TEST.BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE (5) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.007 TEST.BASIS_PATH:3 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> FALSE (5) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> TRUE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.008 TEST.BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> TRUE (2) if ((0) == isAlarmActive(ALARM_ID_HD_PRE_TREATMENT_WET_PRIME_TEST_FAILURE)) ==> FALSE (4) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.009 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.009 TEST.BASIS_PATH:5 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> TRUE (2) if ((0) == isAlarmActive(ALARM_ID_HD_PRE_TREATMENT_WET_PRIME_TEST_FAILURE)) ==> FALSE (4) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> TRUE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.010 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.010 TEST.BASIS_PATH:6 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> TRUE (2) if ((0) == isAlarmActive(ALARM_ID_HD_PRE_TREATMENT_WET_PRIME_TEST_FAILURE)) ==> TRUE (3) if ((1) == zeroBloodLeak()) ==> FALSE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.zeroBloodLeak.return:<> TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.END -- Test Case: handleWetSelfTestPrimeCheckState.011 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW TEST.NAME:handleWetSelfTestPrimeCheckState.011 TEST.BASIS_PATH:7 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((BUBBLE_NOT_DETECTED) == ADVBubbleStatus) ==> TRUE (2) if ((0) == isAlarmActive(ALARM_ID_HD_PRE_TREATMENT_WET_PRIME_TEST_FAILURE)) ==> TRUE (3) if ((1) == zeroBloodLeak()) ==> TRUE (6) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:0 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.zeroBloodLeak.return:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.END -- Subprogram: handleWetSelfTestSecondDisplacementSetupState -- Test Case: handleWetSelfTestSecondDisplacementSetupState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.001 TEST.MCDC_BASIS_PATH:4 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == isValvesSettingSent) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.END -- Test Case: handleWetSelfTestSecondDisplacementSetupState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.002 TEST.MCDC_BASIS_PATH:5 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((0) == isValvesSettingSent) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:1 TEST.END -- Test Case: handleWetSelfTestSecondDisplacementSetupState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.003 TEST.MCDC_BASIS_PATH:7 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((0) == isValvesSettingSent) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:2 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:2 TEST.END -- Test Case: handleWetSelfTestSecondDisplacementSetupState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.004 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == isValvesSettingSent) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:0 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.END -- Test Case: handleWetSelfTestSecondDisplacementSetupState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.005 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == isValvesSettingSent) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejected:0 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.setDialInPumpTargetFlowRate.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.displacementStartTime:0 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.END -- Test Case: handleWetSelfTestSecondDisplacementSetupState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementSetupState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementSetupState.006 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == isValvesSettingSent) ==> FALSE (2) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #2, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].commandID:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejected:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejectCode:MACRO=DG_CMD_REQUEST_REJECT_REASON_NONE TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.END -- Subprogram: handleWetSelfTestSecondDisplacementState -- Test Case: handleWetSelfTestSecondDisplacementState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementState.001 TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> 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:SelfTests.handleWetSelfTestSecondDisplacementState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.END -- Test Case: handleWetSelfTestSecondDisplacementState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementState.002 TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> 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:SelfTests.handleWetSelfTestSecondDisplacementState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestSecondDisplacementState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> 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:SelfTests.<>.settleStartTime:1 TEST.VALUE:SelfTests.<>.fmdIntegratedVolume:1.0 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.settleStartTime:10 TEST.EXPECTED:SelfTests.<>.displacementStartTime:10 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.END -- Test Case: handleWetSelfTestSecondDisplacementState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(displacementStartTime, 60 * 1000)) ==> 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:SelfTests.<>.settleStartTime:1 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.VALUE:uut_prototype_stubs.didTimeout.return:0 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.END -- Subprogram: handleWetSelfTestSecondDisplacementVerifyState -- Test Case: handleWetSelfTestSecondDisplacementVerifyState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 3028 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<> >>> >>> Unknown parameter/object name result >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:2 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_COMPLETE_STATE TEST.END -- Test Case: handleWetSelfTestSecondDisplacementVerifyState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 3131 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.result:<> >>> >>> Unknown parameter/object name result >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> FALSE (3) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestSecondDisplacementVerifyState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.003 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:<> TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:3.40282E+38 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:0.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:3.40282E+38 TEST.END -- Test Case: handleWetSelfTestSecondDisplacementVerifyState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.004 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:<> TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:22.0 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:3.40282E+38 TEST.EXPECTED:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:22.0 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_LC_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:-22.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:0.0 TEST.END -- Test Case: handleWetSelfTestSecondDisplacementVerifyState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.005 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:<> TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:3.40282E+38 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.flt.data:0.0 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.flt.data:3.40282E+38 TEST.END -- Test Case: handleWetSelfTestSecondDisplacementVerifyState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:<> TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:3.40282E+38 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_COMPLETE_STATE TEST.END -- Test Case: handleWetSelfTestSecondDisplacementVerifyState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSecondDisplacementVerifyState TEST.NEW TEST.NAME:handleWetSelfTestSecondDisplacementVerifyState.007 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == didTimeout(settleStartTime, 4 * 1000)) ==> 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:SelfTests.<>.fmdIntegratedVolume:950.0 TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_1]:1000.0 TEST.VALUE:SelfTests.<>.reservoirVolume[DG_RESERVOIR_2]:2000.0 TEST.VALUE:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_FLOW_TEST_FAILURE TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 TEST.VALUE:uut_prototype_stubs.getReservoirWeight.return:2000.0,1000.0 TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.EXPECTED:SelfTests.handleWetSelfTestSecondDisplacementVerifyState.return:WET_SELF_TESTS_COMPLETE_STATE TEST.END -- Subprogram: handleWetSelfTestSetupState -- Test Case: handleWetSelfTestSetupState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSetupState TEST.NEW TEST.NAME:handleWetSelfTestSetupState.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2859 TEST.VALUE:SelfTests.handleWetSelfTestSetupState.return:WET_SELF_TESTS_SETUP_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "WET_SELF_TESTS_SETUP_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (setupDisplacementVolume <= (0)) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set setupDisplacementVolume due to assignment TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.EXPECTED:SelfTests.handleWetSelfTestSetupState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Test Case: handleWetSelfTestSetupState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSetupState TEST.NEW TEST.NAME:handleWetSelfTestSetupState.002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2879 TEST.VALUE:SelfTests.<>.setupDisplacementVolume:1.0 >>> >>> Unknown parameter/object name setupDisplacementVolume >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2880 TEST.VALUE:SelfTests.handleWetSelfTestSetupState.return:WET_SELF_TESTS_SETUP_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "WET_SELF_TESTS_SETUP_STATE" >>> >>> Command Ignored >>> (E) @LINE: 2882 TEST.EXPECTED:SelfTests.<>.setupDisplacementVolume:1.0 >>> >>> Unknown parameter/object name setupDisplacementVolume >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 2883 TEST.EXPECTED:SelfTests.handleWetSelfTestSetupState.return:WET_SELF_TESTS_SETUP_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "WET_SELF_TESTS_SETUP_STATE" >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (setupDisplacementVolume <= (0)) ==> FALSE (2) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set setupDisplacementVolume due to assignment TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:0 TEST.END -- Subprogram: handleWetSelfTestStartState -- Test Case: handleWetSelfTestStartState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStartState TEST.NEW TEST.NAME:handleWetSelfTestStartState.001 TEST.MCDC_BASIS_PATH:7 of 11 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((0) == isValvesSettingSent) ==> FALSE (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> FALSE (5) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:2 TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:<> TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:2 TEST.END -- Test Case: handleWetSelfTestStartState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStartState TEST.NEW TEST.NAME:handleWetSelfTestStartState.002 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == isValvesSettingSent) ==> FALSE (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejected:0 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.VALUE:uut_prototype_stubs.startHeparinBolus.return:0 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:1 TEST.EXPECTED:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_C_CLOSE TEST.END -- Test Case: handleWetSelfTestStartState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStartState TEST.NEW TEST.NAME:handleWetSelfTestStartState.003 TEST.IMPORT_FAILURES: (E) @LINE: 4864 TEST.VALUE:uut_prototype_stubs.getSyringePumpVolumeDelivered.return:<> >>> Could not find function getSyringePumpVolumeDelivered >>> in unit uut_prototype_stubs. >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == isValvesSettingSent) ==> FALSE (3) if ((1) == isValvesSettingSent && (1) == getDGCommandResponse(DG_CMD_VALVE_SETTING, &cmdResp)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #3, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.isValvesSettingSent:1 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.cmdRespPtr[0].rejected:0 TEST.VALUE:uut_prototype_stubs.getDGCommandResponse.return:1 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 TEST.VALUE:uut_prototype_stubs.startHeparinBolus.return:0 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:1 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO TEST.END -- Subprogram: handleWetSelfTestStoppedState -- Test Case: handleWetSelfTestStoppedState.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.001 TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == selfTestsResumeRequested) ==> 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:SelfTests.<>.selfTestsResumeRequested:1 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.END -- Test Case: handleWetSelfTestStoppedState.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.002 TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == selfTestsResumeRequested) ==> 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:SelfTests.<>.selfTestsResumeRequested:<> TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.END -- Test Case: handleWetSelfTestStoppedState.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.003 TEST.BASIS_PATH:1 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == selfTestsResumeRequested) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:<> TEST.END -- Test Case: handleWetSelfTestStoppedState.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.004 TEST.BASIS_PATH:2 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (15) case checkpointWetSelfTestsState ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_START_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.005 TEST.BASIS_PATH:3 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (4) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.006 TEST.BASIS_PATH:4 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (5) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_BUBBLE_CHECK_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.007 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.007 TEST.BASIS_PATH:5 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (6) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_PRIME_CHECK_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.008 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.008 TEST.BASIS_PATH:6 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (7) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.009 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.009 TEST.BASIS_PATH:7 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (8) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_SETUP_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.010 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.010 TEST.BASIS_PATH:8 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (9) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.011 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.011 TEST.BASIS_PATH:9 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (10) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_FIRST_DISPLACEMENT_VERIFY_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.012 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.012 TEST.BASIS_PATH:10 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (11) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.013 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.013 TEST.BASIS_PATH:11 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (12) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.014 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.014 TEST.BASIS_PATH:12 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (13) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.015 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.015 TEST.BASIS_PATH:13 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> FALSE (14) case checkpointWetSelfTestsState ==> WET_SELF_TESTS_COMPLETE_STATE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED TEST.END -- Test Case: handleWetSelfTestStoppedState.016 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.016 TEST.BASIS_PATH:14 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> TRUE (3) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (15) case checkpointWetSelfTestsState ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_START_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.END -- Test Case: handleWetSelfTestStoppedState.017 TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestStoppedState TEST.NEW TEST.NAME:handleWetSelfTestStoppedState.017 TEST.BASIS_PATH:15 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) if ((1) == selfTestsResumeRequested) ==> TRUE (2) if ((BUBBLE_NOT_DETECTED) == getBubbleStatus(ADV)) ==> TRUE (3) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> TRUE (15) case checkpointWetSelfTestsState ==> default Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_START_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.END -- Subprogram: initSelfTests -- Test Case: initSelfTests.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:initSelfTests TEST.NEW TEST.NAME:initSelfTests.001 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:0 TEST.EXPECTED:SelfTests.<>.selfTestPreviousPublishDataTime:0 TEST.EXPECTED:SelfTests.<>.syringeOcclusionDelayStartTime:0 TEST.END -- Subprogram: isWetSelfTestsPassed -- Test Case: isWetSelfTestsPassed.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:isWetSelfTestsPassed TEST.NEW TEST.NAME:isWetSelfTestsPassed.001 TEST.EXPECTED:SelfTests.isWetSelfTestsPassed.return:0 TEST.END -- Subprogram: resetSelfTestsFlags -- Test Case: resetSelfTestsFlags.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:resetSelfTestsFlags TEST.NEW TEST.NAME:resetSelfTestsFlags.001 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:0 TEST.END -- Subprogram: setAlarmResumePerDoorAndLatch -- Test Case: setAlarmResumePerDoorAndLatch.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setAlarmResumePerDoorAndLatch TEST.NEW TEST.NAME:setAlarmResumePerDoorAndLatch.001 TEST.BASIS_PATH:1 of 4 (partial) TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> FALSE (2) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (3) if ((1) == doorClosed && (1) == latchClosed) ==> FALSE Test Case Generation Notes: Cannot set local variable doorClosed in branch 3 Cannot set local variable latchClosed in branch 3 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:1 TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0 TEST.END -- Test Case: setAlarmResumePerDoorAndLatch.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setAlarmResumePerDoorAndLatch TEST.NEW TEST.NAME:setAlarmResumePerDoorAndLatch.002 TEST.BASIS_PATH:4 of 4 (template) TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE (2) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (3) if ((1) == doorClosed && (1) == latchClosed) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getSwitchStatus.return 'equal to' and 'not equal to' same value in branches 1/2 Cannot set local variable doorClosed in branch 3 Cannot set local variable latchClosed in branch 3 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME TEST.END -- Test Case: setAlarmResumePerDoorAndLatch.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setAlarmResumePerDoorAndLatch TEST.NEW TEST.NAME:setAlarmResumePerDoorAndLatch.003 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE (2) if ((STATE_CLOSED) == getSwitchStatus(PUMP_TRACK_SWITCH)) ==> FALSE (3) if ((1) == doorClosed && (1) == latchClosed) ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getSwitchStatus.return 'equal to' and 'not equal to' same value in branches 1/2 Cannot set local variable doorClosed in branch 3 Cannot set local variable latchClosed in branch 3 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME TEST.VALUE:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED,STATE_OPEN TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.action:ALARM_USER_ACTION_RESUME TEST.EXPECTED:uut_prototype_stubs.setAlarmUserActionEnabled.enabled:0 TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR,PUMP_TRACK_SWITCH TEST.END -- Subprogram: setupForSelfTestsStop -- Test Case: setupForSelfTestsStop.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setupForSelfTestsStop TEST.NEW TEST.NAME:setupForSelfTestsStop.001 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBV,VBA TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_A_INSERT_EJECT TEST.END -- Test Case: setupForSelfTestsStop.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setupForSelfTestsStop TEST.NEW TEST.NAME:setupForSelfTestsStop.002 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBV,VBA TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_A_INSERT_EJECT TEST.END -- Test Case: setupForSelfTestsStop.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setupForSelfTestsStop TEST.NEW TEST.NAME:setupForSelfTestsStop.003 TEST.BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (2) if ((HD_PRE_TREATMENT_SELF_TEST_DRY_STATE) == getPreTreatmentSubState() && (0) == dryPressureTestsCompleted) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.END -- Test Case: setupForSelfTestsStop.004 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setupForSelfTestsStop TEST.NEW TEST.NAME:setupForSelfTestsStop.004 TEST.BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (2) if ((HD_PRE_TREATMENT_SELF_TEST_DRY_STATE) == getPreTreatmentSubState() && (0) == dryPressureTestsCompleted) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:0 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.END -- Test Case: setupForSelfTestsStop.005 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setupForSelfTestsStop TEST.NEW TEST.NAME:setupForSelfTestsStop.005 TEST.BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> TRUE (2) if ((HD_PRE_TREATMENT_SELF_TEST_DRY_STATE) == getPreTreatmentSubState() && (0) == dryPressureTestsCompleted) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:1 TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_WATER_SAMPLE_STATE TEST.END -- Test Case: setupForSelfTestsStop.006 TEST.UNIT:SelfTests TEST.SUBPROGRAM:setupForSelfTestsStop TEST.NEW TEST.NAME:setupForSelfTestsStop.006 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isAlarmActive(ALARM_ID_HD_SYRINGE_PUMP_NOT_ENOUGH_HEPARIN_ALARM)) ==> FALSE (2) if ((HD_PRE_TREATMENT_SELF_TEST_DRY_STATE) == getPreTreatmentSubState() && (0) == dryPressureTestsCompleted) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:SelfTests.<>.dryPressureTestsCompleted:1 TEST.VALUE:uut_prototype_stubs.isAlarmActive.return:<> TEST.VALUE:uut_prototype_stubs.getPreTreatmentSubState.return:HD_PRE_TREATMENT_SELF_TEST_DRY_STATE TEST.END -- Subprogram: signalResumeSelfTests -- Test Case: signalResumeSelfTests.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:signalResumeSelfTests TEST.NEW TEST.NAME:signalResumeSelfTests.001 TEST.EXPECTED:SelfTests.<>.selfTestsResumeRequested:1 TEST.END -- Subprogram: transitionToDrySelfTests -- Test Case: transitionToDrySelfTests.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:transitionToDrySelfTests TEST.NEW TEST.NAME:transitionToDrySelfTests.001 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.EXPECTED:SelfTests.<>.currentDrySelfTestsState:DRY_SELF_TESTS_START_STATE TEST.EXPECTED:SelfTests.<>.pressureSelfTestBloodPumpRunStartTime:0 TEST.EXPECTED:SelfTests.<>.pressureSelfTestNormalizedStartTime:0 TEST.EXPECTED:SelfTests.<>.previousNormalArterialPressure:0.0 TEST.EXPECTED:SelfTests.<>.previousNormalVenousPressure:0.0 TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(2)VALVE_POSITION_A_INSERT_EJECT,VALVE_POSITION_B_OPEN,VALVE_POSITION_A_INSERT_EJECT TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.END -- Test Case: transitionToDrySelfTests.002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:transitionToDrySelfTests TEST.NEW TEST.NAME:transitionToDrySelfTests.002 TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN TEST.END -- Test Case: transitionToDrySelfTests.003 TEST.UNIT:SelfTests TEST.SUBPROGRAM:transitionToDrySelfTests TEST.NEW TEST.NAME:transitionToDrySelfTests.003 TEST.BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((STATE_CLOSED) == getSwitchStatus(FRONT_DOOR)) ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED TEST.END -- Subprogram: transitionToNoCartSelfTests -- Test Case: transitionToNoCartSelfTests,001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:transitionToNoCartSelfTests TEST.NEW TEST.NAME:transitionToNoCartSelfTests,001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 3204 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NO_CART_SELF_TESTS_START_STATE" >>> >>> Command Ignored >>> (E) @LINE: 3210 TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NO_CART_SELF_TESTS_START_STATE" >>> >>> Command Ignored >>> (E) @LINE: 3212 TEST.EXPECTED:SelfTests.<>.havePumpsStarted:0 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) (bolusVol > (0.0) || hepRate > (0.0)) ==> TRUE Row number 2 forms a pair with Row 4 for Condition #1, subcondition "a". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getTreatmentParameterF32.return 'less than' and 'greater than' same value in branch 1 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.EXPECTED:SelfTests.<>.runPumpStartTime:0 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:100 TEST.EXPECTED:SelfTests.<>.selfTestPreviousPublishDataTime:100 TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.END -- Test Case: transitionToNoCartSelfTests,002 TEST.UNIT:SelfTests TEST.SUBPROGRAM:transitionToNoCartSelfTests TEST.NEW TEST.NAME:transitionToNoCartSelfTests,002 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 3232 TEST.VALUE:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NO_CART_SELF_TESTS_START_STATE" >>> >>> Command Ignored >>> (E) @LINE: 3234 TEST.VALUE:SelfTests.<>.havePumpsStarted:1 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 3245 TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NO_CART_SELF_TESTS_START_STATE" >>> >>> Command Ignored >>> (E) @LINE: 3247 TEST.EXPECTED:SelfTests.<>.havePumpsStarted:0 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bolusVol > (0.0) || hepRate > (0.0)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.resetSelfTestsFlags TEST.VALUE:SelfTests.<>.runPumpStartTime:1 TEST.VALUE:SelfTests.<>.selfTestStartTime:1 TEST.VALUE:SelfTests.<>.selfTestPreviousPublishDataTime:1 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:<> TEST.VALUE:uut_prototype_stubs.doorClosedRequired.door:0 TEST.VALUE:uut_prototype_stubs.doorClosedRequired.pumpTrack:0 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0 TEST.VALUE:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.runPumpStartTime:0 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:10 TEST.EXPECTED:SelfTests.<>.selfTestPreviousPublishDataTime:10 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1 TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_A_INSERT_EJECT TEST.END -- Test Case: transitionToNoCartSelfTests,002.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:transitionToNoCartSelfTests TEST.NEW TEST.NAME:transitionToNoCartSelfTests,002.001 TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 3269 TEST.VALUE:SelfTests.<>.havePumpsStarted:1 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 3274 TEST.EXPECTED:SelfTests.<>.currentNoCartSelfTestsState:NO_CART_SELF_TESTS_START_STATE >>> >>> Value for 'Enumeral' out of range >>> >>> Read "NO_CART_SELF_TESTS_START_STATE" >>> >>> Command Ignored >>> (E) @LINE: 3276 TEST.EXPECTED:SelfTests.<>.havePumpsStarted:0 >>> >>> Unknown parameter/object name havePumpsStarted >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (bolusVol > (0.0) || hepRate > (0.0)) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.STUB:SelfTests.resetSelfTestsFlags TEST.VALUE:SelfTests.<>.runPumpStartTime:1 TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:0.0,1.0 TEST.VALUE:uut_prototype_stubs.setValvePosition.return:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:10 TEST.EXPECTED:SelfTests.<>.runPumpStartTime:0 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:10 TEST.EXPECTED:SelfTests.<>.selfTestPreviousPublishDataTime:10 TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME,TREATMENT_PARAM_HEPARIN_DISPENSE_RATE TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.door:1 TEST.EXPECTED:uut_prototype_stubs.doorClosedRequired.pumpTrack:1 TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:(4)VALVE_POSITION_A_INSERT_EJECT TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.END -- Subprogram: transitionToWetSelfTests -- Test Case: transitionToWetSelfTests.001 TEST.UNIT:SelfTests TEST.SUBPROGRAM:transitionToWetSelfTests TEST.NEW TEST.NAME:transitionToWetSelfTests.001 TEST.VALUE:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.VALUE:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:100 TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_START_STATE TEST.EXPECTED:SelfTests.<>.settleStartTime:0 TEST.EXPECTED:SelfTests.<>.displacementStartTime:0 TEST.EXPECTED:SelfTests.<>.fmdIntegratedVolume:0.0 TEST.EXPECTED:SelfTests.<>.isValvesSettingSent:0 TEST.EXPECTED:SelfTests.<>.selfTestStartTime:100 TEST.EXPECTED:SelfTests.<>.selfTestPreviousPublishDataTime:100 TEST.EXPECTED:uut_prototype_stubs.setValvePosition.valve:VDI,VDO,VBA,VBV TEST.EXPECTED:uut_prototype_stubs.setValvePosition.position:VALVE_POSITION_C_CLOSE TEST.END