Index: vectorcast/Hercules_RM46_HD_Project/environment/SELFTESTS/SELFTESTS.tst =================================================================== diff -u -rf331784bd59c7e2a645199e2285703774f824109 -rc35602b03bcce3ebe7d0ab9bc2532b37b4ae8ccf --- vectorcast/Hercules_RM46_HD_Project/environment/SELFTESTS/SELFTESTS.tst (.../SELFTESTS.tst) (revision f331784bd59c7e2a645199e2285703774f824109) +++ vectorcast/Hercules_RM46_HD_Project/environment/SELFTESTS/SELFTESTS.tst (.../SELFTESTS.tst) (revision c35602b03bcce3ebe7d0ab9bc2532b37b4ae8ccf) @@ -484,33 +484,37 @@ -- Subprogram: execWetSelfTests --- Test Case: execWetSelfTests.001 +-- Test Case: execWetSelfTests_BloodLeakDetectorDebubbleState 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.NAME:execWetSelfTests_BloodLeakDetectorDebubbleState +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.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE TEST.END --- Test Case: execWetSelfTests.002 +-- Test Case: execWetSelfTests_BloodLeakDetectorState TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW -TEST.NAME:execWetSelfTests.002 +TEST.NAME:execWetSelfTests_BloodLeakDetectorState +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_BubbleCheckSetupState +TEST.UNIT:SelfTests +TEST.SUBPROGRAM:execWetSelfTests +TEST.NEW +TEST.NAME:execWetSelfTests_BubbleCheckSetupState TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleWetSelfTestStartState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_SETUP_STATE @@ -524,11 +528,11 @@ TEST.EXPECTED:uut_prototype_stubs.sendEvent.dat2.dataType:EVENT_DATA_TYPE_U32 TEST.END --- Test Case: execWetSelfTests.003 +-- Test Case: execWetSelfTests_BubbleCheckState TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW -TEST.NAME:execWetSelfTests.003 +TEST.NAME:execWetSelfTests_BubbleCheckState TEST.STUB:SelfTests.resetSelfTestsFlags TEST.STUB:SelfTests.handleWetSelfTestStartState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_STATE @@ -539,101 +543,47 @@ TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.END --- Test Case: execWetSelfTests.004 +-- Test Case: execWetSelfTests_CompleteState 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.NAME:execWetSelfTests_CompleteState +TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE +TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE TEST.END --- Test Case: execWetSelfTests.005 +-- Test Case: execWetSelfTests_FirstDisplacementSetupState 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.NAME:execWetSelfTests_FirstDisplacementSetupState 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 Case: execWetSelfTests_FirstDisplacementState TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW -TEST.NAME:execWetSelfTests.007 +TEST.NAME:execWetSelfTests_FirstDisplacementState 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 Case: execWetSelfTests_FirstDisplacementVerifyState TEST.UNIT:SelfTests TEST.SUBPROGRAM:execWetSelfTests TEST.NEW -TEST.NAME:execWetSelfTests.008 +TEST.NAME:execWetSelfTests_FirstDisplacementVerifyState 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 Case: execWetSelfTests_InvalidState 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.NAME:execWetSelfTests_InvalidState TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. @@ -649,275 +599,71 @@ TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:NUM_OF_WET_SELF_TESTS_STATES TEST.END --- Test Case: execWetSelfTests.015 +-- Test Case: execWetSelfTests_PrimeCheckState 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.NAME:execWetSelfTests_PrimeCheckState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_PRIME_CHECK_STATE -TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_PRIME_CHECK_STATE +TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_PRIME_CHECK_STATE TEST.END --- Test Case: execWetSelfTests.021 +-- Test Case: execWetSelfTests_SecondDisplacementSetupState 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.NAME:execWetSelfTests_SecondDisplacementSetupState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE -TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE +TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_SETUP_STATE TEST.END --- Test Case: execWetSelfTests.028 +-- Test Case: execWetSelfTests_SecondDisplacementState 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.NAME:execWetSelfTests_SecondDisplacementState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE -TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE +TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_STATE TEST.END --- Test Case: execWetSelfTests.029 +-- Test Case: execWetSelfTests_SecondDisplacementVerifyState 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.NAME:execWetSelfTests_SecondDisplacementVerifyState TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE -TEST.VALUE:SelfTests.handleWetSelfTestStartState.return:WET_SELF_TESTS_SECOND_DISPLACEMENT_VERIFY_STATE +TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE TEST.END --- Test Case: execWetSelfTests.030 +-- Test Case: execWetSelfTests_StartState 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.NAME:execWetSelfTests_StartState +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.032 +-- Test Case: execWetSelfTests_StoppedState 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.NAME:execWetSelfTests_StoppedState +TEST.VALUE:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_STOPPED_STATE +TEST.EXPECTED:SelfTests.<>.currentWetSelfTestsState:WET_SELF_TESTS_STOPPED_STATE TEST.END -- Subprogram: getDrySelfTestsState @@ -2536,93 +2282,49 @@ -- Subprogram: handleDrySelfTestSyringePumpSeekState --- Test Case: handleDrySelfTestSyringePumpSeekState.001 +-- Test Case: handleDrySelfTestSyringePumpSeekState_Alarm TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW -TEST.NAME:handleDrySelfTestSyringePumpSeekState.001 -TEST.BASIS_PATH:1 of 8 (partial) +TEST.NAME:handleDrySelfTestSyringePumpSeekState_Alarm +TEST.BASIS_PATH:8 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 + Test Path 8 + (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE (6) if ((1) == done) ==> FALSE Test Case Generation Notes: - Cannot set done due to assignment + Cannot set local variable done in branch 6 TEST.END_NOTES: -TEST.VALUE:SelfTests.<>.useHeparin:<> -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 +TEST.EXPECTED:SelfTests.handleDrySelfTestSyringePumpSeekState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END --- Test Case: handleDrySelfTestSyringePumpSeekState.002 +-- Test Case: handleDrySelfTestSyringePumpSeekState_Done TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW -TEST.NAME:handleDrySelfTestSyringePumpSeekState.002 -TEST.BASIS_PATH:2 of 8 (partial) +TEST.NAME:handleDrySelfTestSyringePumpSeekState_Done +TEST.BASIS_PATH:1 of 8 (partial) TEST.NOTES: This is an automatically generated test case. - Test Path 2 + Test Path 1 (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 + (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.VALUE:uut_prototype_stubs.getTestConfigStatus.return:<> +TEST.EXPECTED:SelfTests.handleDrySelfTestSyringePumpSeekState.return:DRY_SELF_TESTS_PRESSURE_SENSORS_NORMAL_SETUP_STATE TEST.END --- Test Case: handleDrySelfTestSyringePumpSeekState.003 +-- Test Case: handleDrySelfTestSyringePumpSeekState_PreLoad 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.NAME:handleDrySelfTestSyringePumpSeekState_PreLoad TEST.BASIS_PATH:5 of 8 (partial) TEST.NOTES: This is an automatically generated test case. @@ -2641,13 +2343,22 @@ TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:<> +TEST.FLOW + SelfTests.c.handleDrySelfTestSyringePumpSeekState + uut_prototype_stubs.doesAlarmStatusIndicateStop + uut_prototype_stubs.isSyringePumpRunning + uut_prototype_stubs.isSyringePlungerFound + uut_prototype_stubs.isSyringePumpPreLoaded + uut_prototype_stubs.preloadSyringePlunger + SelfTests.c.handleDrySelfTestSyringePumpSeekState +TEST.END_FLOW TEST.END --- Test Case: handleDrySelfTestSyringePumpSeekState.006 +-- Test Case: handleDrySelfTestSyringePumpSeekState_Seek TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW -TEST.NAME:handleDrySelfTestSyringePumpSeekState.006 +TEST.NAME:handleDrySelfTestSyringePumpSeekState_Seek TEST.BASIS_PATH:6 of 8 (partial) TEST.NOTES: This is an automatically generated test case. @@ -2666,13 +2377,22 @@ TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:0 TEST.VALUE:uut_prototype_stubs.isSyringePumpPreLoaded.return:1 +TEST.FLOW + SelfTests.c.handleDrySelfTestSyringePumpSeekState + uut_prototype_stubs.doesAlarmStatusIndicateStop + uut_prototype_stubs.isSyringePumpRunning + uut_prototype_stubs.isSyringePlungerFound + uut_prototype_stubs.isSyringePumpPreLoaded + uut_prototype_stubs.seekSyringePlunger + SelfTests.c.handleDrySelfTestSyringePumpSeekState +TEST.END_FLOW TEST.END --- Test Case: handleDrySelfTestSyringePumpSeekState.007 +-- Test Case: handleDrySelfTestSyringePumpSeekState_SeekDone TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW -TEST.NAME:handleDrySelfTestSyringePumpSeekState.007 +TEST.NAME:handleDrySelfTestSyringePumpSeekState_SeekDone TEST.BASIS_PATH:7 of 8 (partial) TEST.NOTES: This is an automatically generated test case. @@ -2689,89 +2409,115 @@ TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.isSyringePlungerFound.return:1 TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:0 +TEST.FLOW + SelfTests.c.handleDrySelfTestSyringePumpSeekState + uut_prototype_stubs.doesAlarmStatusIndicateStop + uut_prototype_stubs.isSyringePumpRunning + uut_prototype_stubs.isSyringePlungerFound + uut_prototype_stubs.setValvePosition + uut_prototype_stubs.setValvePosition + uut_prototype_stubs.setValvePosition + uut_prototype_stubs.setValvePosition + uut_prototype_stubs.setValveAirTrap + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.getTestConfigStatus + SelfTests.c.handleDrySelfTestSyringePumpSeekState +TEST.END_FLOW TEST.END --- Test Case: handleDrySelfTestSyringePumpSeekState.008 +-- Test Case: handleDrySelfTestSyringePumpSeekState_UseHep_PumpBusy TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState TEST.NEW -TEST.NAME:handleDrySelfTestSyringePumpSeekState.008 -TEST.BASIS_PATH:8 of 8 (partial) +TEST.NAME:handleDrySelfTestSyringePumpSeekState_UseHep_PumpBusy +TEST.BASIS_PATH:4 of 8 (partial) TEST.NOTES: This is an automatically generated test case. - Test Path 8 - (1) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE + 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:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 +TEST.VALUE:SelfTests.<>.useHeparin:1 +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> +TEST.VALUE:uut_prototype_stubs.isSyringePumpRunning.return:1 +TEST.EXPECTED:SelfTests.handleDrySelfTestSyringePumpSeekState.return:DRY_SELF_TESTS_SYRINGE_PUMP_SEEK_STATE TEST.END --- Subprogram: handleDrySelfTestUsedCartridgeCheckState - --- Test Case: handleDrySelfTestUsedCartridgeCheckState.001 +-- Test Case: handleDrySelfTestSyringePumpSeekState_UseWetCartridge TEST.UNIT:SelfTests -TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState +TEST.SUBPROGRAM:handleDrySelfTestSyringePumpSeekState 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.NAME:handleDrySelfTestSyringePumpSeekState_UseWetCartridge +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.EXPECTED:SelfTests.handleDrySelfTestSyringePumpSeekState.return:DRY_SELF_TESTS_SYRINGE_PUMP_PRIME_STATE TEST.END --- Test Case: handleDrySelfTestUsedCartridgeCheckState.002 +-- Subprogram: handleDrySelfTestUsedCartridgeCheckState + +-- Test Case: handleDrySelfTestUsedCartridgeCheckState_LiqBoth 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.NAME:handleDrySelfTestUsedCartridgeCheckState_LiqBoth +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.003 +-- Test Case: handleDrySelfTestUsedCartridgeCheckState_LiqLower 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.NAME:handleDrySelfTestUsedCartridgeCheckState_LiqLower +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.004 +-- Test Case: handleDrySelfTestUsedCartridgeCheckState_PassByTestConfig 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.NAME:handleDrySelfTestUsedCartridgeCheckState_PassByTestConfig +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 --- Test Case: handleDrySelfTestUsedCartridgeCheckState.005 +-- Test Case: handleDrySelfTestUsedCartridgeCheckState_Passed 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.NAME:handleDrySelfTestUsedCartridgeCheckState_Passed +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 +TEST.EXPECTED:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_STOPPED_STATE TEST.END --- Test Case: handleDrySelfTestUsedCartridgeCheckState.006 +-- Test Case: handleDrySelfTestUsedCartridgeCheckState_UsedCartridge TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleDrySelfTestUsedCartridgeCheckState TEST.NEW -TEST.NAME:handleDrySelfTestUsedCartridgeCheckState.006 -TEST.VALUE:uut_prototype_stubs.getTestConfigStatus.return:1 +TEST.NAME:handleDrySelfTestUsedCartridgeCheckState_UsedCartridge 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.EXPECTED:SelfTests.handleDrySelfTestUsedCartridgeCheckState.return:DRY_SELF_TESTS_USED_CARTRIDGE_CHECK_STATE TEST.END -- Subprogram: handleDrySelfTestWaitForDoorCloseState @@ -3377,45 +3123,69 @@ -- Subprogram: handleWetSelfTestBloodLeakDetectorDebubbleState --- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.001 +-- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState_Alarm TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW -TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.001 -TEST.BASIS_PATH:1 of 5 +TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState_Alarm +TEST.BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. - Test Path 1 + 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.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorDebubbleState.return:WET_SELF_TESTS_STOPPED_STATE +TEST.END + +-- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState_Done +TEST.UNIT:SelfTests +TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState +TEST.NEW +TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState_Done +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.didTimeout.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.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorDebubbleState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_STATE TEST.END --- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.002 +-- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState_Nominal TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW -TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.002 -TEST.BASIS_PATH:2 of 5 +TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState_Nominal +TEST.BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. - Test Path 2 + Test Path 1 (1) if ((1) == didTimeout(bloodLeakDebubbleStartTimeMS, 5 * 1000)) ==> FALSE - (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE + (4) if ((1) == doesAlarmStatusIndicateStop()) ==> FALSE Test Case Generation Notes: TEST.END_NOTES: -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> +TEST.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorDebubbleState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE TEST.END --- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.003 +-- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState_TimeoutPumpNotStopped TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW -TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.003 +TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState_TimeoutPumpNotStopped TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. @@ -3428,13 +3198,14 @@ TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 +TEST.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorDebubbleState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE TEST.END --- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState.004 +-- Test Case: handleWetSelfTestBloodLeakDetectorDebubbleState_TimeoutPumpStopped TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorDebubbleState TEST.NEW -TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState.004 +TEST.NAME:handleWetSelfTestBloodLeakDetectorDebubbleState_TimeoutPumpStopped TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. @@ -3449,55 +3220,16 @@ TEST.VALUE:uut_prototype_stubs.zeroBloodLeak.return:<> TEST.VALUE:uut_prototype_stubs.getMeasuredDialInPumpSpeed.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 +TEST.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorDebubbleState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE 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 Case: handleWetSelfTestBloodLeakDetectorState_Alarm 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.NAME:handleWetSelfTestBloodLeakDetectorState_Alarm TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. @@ -3514,67 +3246,51 @@ TEST.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END --- Test Case: handleWetSelfTestBloodLeakDetectorState.003 +-- Test Case: handleWetSelfTestBloodLeakDetectorState_BackToDebubble TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW -TEST.NAME:handleWetSelfTestBloodLeakDetectorState.003 -TEST.BASIS_PATH:1 of 5 +TEST.NAME:handleWetSelfTestBloodLeakDetectorState_BackToDebubble +TEST.BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. - Test Path 1 + Test Path 3 (1) if ((SELF_TEST_STATUS_PASSED) == status) ==> FALSE - (2) if ((SELF_TEST_STATUS_FAILED) == 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.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS +TEST.VALUE:uut_prototype_stubs.hasBloodLeakZeroSequenceFailed.return:<> +TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_FAILED +TEST.EXPECTED:SelfTests.handleWetSelfTestBloodLeakDetectorState.return:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE TEST.END --- Test Case: handleWetSelfTestBloodLeakDetectorState.004 +-- Test Case: handleWetSelfTestBloodLeakDetectorState_Passed TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestBloodLeakDetectorState TEST.NEW -TEST.NAME:handleWetSelfTestBloodLeakDetectorState.004 -TEST.BASIS_PATH:2 of 5 +TEST.NAME:handleWetSelfTestBloodLeakDetectorState_Passed +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) == status) ==> FALSE - (2) if ((SELF_TEST_STATUS_FAILED) == status) ==> FALSE - (4) if ((1) == doesAlarmStatusIndicateStop()) ==> TRUE - Test Case Generation Notes: +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:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:1 -TEST.VALUE:uut_prototype_stubs.getBloodLeakSelfTestStatus.return:SELF_TEST_STATUS_IN_PROGRESS +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.005 +-- Test Case: handleWetSelfTestBloodLeakDetectorState_ZeroFailed 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.NAME:handleWetSelfTestBloodLeakDetectorState_ZeroFailed TEST.BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. @@ -3588,25 +3304,9 @@ 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.EXPECTED:uut_prototype_stubs.activateAlarmNoData.alarm:ALARM_ID_HD_BLOOD_LEAK_SENSOR_ZERO_SEQUENCE_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 @@ -4131,11 +3831,11 @@ -- Subprogram: handleWetSelfTestPrimeCheckState --- Test Case: handleWetSelfTestPrimeCheckState.001 +-- Test Case: handleWetSelfTestPrimeCheckState_Alarm TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW -TEST.NAME:handleWetSelfTestPrimeCheckState.001 +TEST.NAME:handleWetSelfTestPrimeCheckState_Alarm TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2733 TEST.VALUE:SelfTests.handleWetSelfTestPrimeCheckState.result:<> @@ -4158,11 +3858,11 @@ TEST.EXPECTED:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END --- Test Case: handleWetSelfTestPrimeCheckState.002 +-- Test Case: handleWetSelfTestPrimeCheckState_NoAlarm TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW -TEST.NAME:handleWetSelfTestPrimeCheckState.002 +TEST.NAME:handleWetSelfTestPrimeCheckState_NoAlarm TEST.NOTES: This is an automatically generated test case. Test Path 5 @@ -4173,58 +3873,38 @@ 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 Case: handleWetSelfTestPrimeCheckState_PumpTrackClosed TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW -TEST.NAME:handleWetSelfTestPrimeCheckState.004 +TEST.NAME:handleWetSelfTestPrimeCheckState_PumpTrackClosed +TEST.BASIS_PATH:5 of 7 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 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: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.isAlarmActive.return:1 +TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_NOT_DETECTED -TEST.EXPECTED:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_STOPPED_STATE +TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED +TEST.EXPECTED:uut_prototype_stubs.clearAlarmCondition.alarm:ALARM_ID_HD_PRE_TREATMENT_WET_PRIME_TEST_FAILURE TEST.END --- Test Case: handleWetSelfTestPrimeCheckState.005 +-- Test Case: handleWetSelfTestPrimeCheckState_PumpTrackOpen TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW -TEST.NAME:handleWetSelfTestPrimeCheckState.005 +TEST.NAME:handleWetSelfTestPrimeCheckState_PumpTrackOpen TEST.BASIS_PATH:1 of 7 TEST.NOTES: This is an automatically generated test case. @@ -4237,51 +3917,20 @@ 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.FLOW + SelfTests.c.handleWetSelfTestPrimeCheckState + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.doesAlarmStatusIndicateStop + SelfTests.c.handleWetSelfTestPrimeCheckState +TEST.END_FLOW TEST.END --- Test Case: handleWetSelfTestPrimeCheckState.006 +-- Test Case: handleWetSelfTestPrimeCheckState_PumpTrackOpen2 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.NAME:handleWetSelfTestPrimeCheckState_PumpTrackOpen2 TEST.BASIS_PATH:4 of 7 TEST.NOTES: This is an automatically generated test case. @@ -4296,69 +3945,56 @@ 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.FLOW + SelfTests.c.handleWetSelfTestPrimeCheckState + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.isAlarmActive + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.doesAlarmStatusIndicateStop + SelfTests.c.handleWetSelfTestPrimeCheckState +TEST.END_FLOW TEST.END --- Test Case: handleWetSelfTestPrimeCheckState.009 +-- Test Case: handleWetSelfTestPrimeCheckState_StartZero TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW -TEST.NAME:handleWetSelfTestPrimeCheckState.009 -TEST.BASIS_PATH:5 of 7 +TEST.NAME:handleWetSelfTestPrimeCheckState_StartZero 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 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:uut_prototype_stubs.isAlarmActive.return:1 -TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:<> +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.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_CLOSED +TEST.EXPECTED:SelfTests.handleWetSelfTestPrimeCheckState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END --- Test Case: handleWetSelfTestPrimeCheckState.010 +-- Test Case: handleWetSelfTestPrimeCheckState_ZeroDone TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestPrimeCheckState TEST.NEW -TEST.NAME:handleWetSelfTestPrimeCheckState.010 -TEST.BASIS_PATH:6 of 7 +TEST.NAME:handleWetSelfTestPrimeCheckState_ZeroDone 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 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: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: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 -- Subprogram: handleWetSelfTestSecondDisplacementSetupState @@ -4772,11 +4408,11 @@ -- Subprogram: handleWetSelfTestSetupState --- Test Case: handleWetSelfTestSetupState.001 +-- Test Case: handleWetSelfTestSetupState_Alarm TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSetupState TEST.NEW -TEST.NAME:handleWetSelfTestSetupState.001 +TEST.NAME:handleWetSelfTestSetupState_Alarm TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2859 TEST.VALUE:SelfTests.handleWetSelfTestSetupState.return:WET_SELF_TESTS_SETUP_STATE @@ -4799,11 +4435,11 @@ TEST.EXPECTED:SelfTests.handleWetSelfTestSetupState.return:WET_SELF_TESTS_STOPPED_STATE TEST.END --- Test Case: handleWetSelfTestSetupState.002 +-- Test Case: handleWetSelfTestSetupState_Nominal TEST.UNIT:SelfTests TEST.SUBPROGRAM:handleWetSelfTestSetupState TEST.NEW -TEST.NAME:handleWetSelfTestSetupState.002 +TEST.NAME:handleWetSelfTestSetupState_Nominal TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 2879 TEST.VALUE:SelfTests.<>.setupDisplacementVolume:1.0 @@ -4832,6 +4468,7 @@ Cannot set setupDisplacementVolume due to assignment TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.doesAlarmStatusIndicateStop.return:0 +TEST.EXPECTED:SelfTests.handleWetSelfTestSetupState.return:WET_SELF_TESTS_BUBBLE_CHECK_STATE TEST.END -- Subprogram: handleWetSelfTestStartState @@ -4896,10 +4533,11 @@ 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 +(E) Errors from previous script import(s) + >>> (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. @@ -4976,26 +4614,11 @@ (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.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_BLOOD_LEAK_DETECTOR_DEBUBBLE_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 -TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED +TEST.VALUE:uut_prototype_stubs.getTreatmentParameterF32.return:1.0 +TEST.EXPECTED:SelfTests.handleWetSelfTestStoppedState.return:WET_SELF_TESTS_START_STATE +TEST.EXPECTED:uut_prototype_stubs.getTreatmentParameterF32.param:TREATMENT_PARAM_HEPARIN_BOLUS_VOLUME TEST.END -- Test Case: handleWetSelfTestStoppedState.005 @@ -5015,6 +4638,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.006 @@ -5034,6 +4669,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.007 @@ -5053,6 +4700,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.008 @@ -5072,6 +4731,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.009 @@ -5091,6 +4762,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.010 @@ -5110,6 +4793,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.011 @@ -5129,6 +4824,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.012 @@ -5148,6 +4855,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.013 @@ -5167,6 +4886,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.014 @@ -5186,6 +4917,18 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.015 @@ -5205,6 +4948,18 @@ TEST.VALUE:SelfTests.<>.checkpointWetSelfTestsState:WET_SELF_TESTS_COMPLETE_STATE TEST.VALUE:SelfTests.<>.selfTestsResumeRequested:1 TEST.VALUE:uut_prototype_stubs.getBubbleStatus.return:BUBBLE_DETECTED +TEST.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.016 @@ -5226,6 +4981,19 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Test Case: handleWetSelfTestStoppedState.017 @@ -5247,6 +5015,20 @@ 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.FLOW + SelfTests.c.handleWetSelfTestStoppedState + uut_prototype_stubs.getTreatmentParameterF32 + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.setAlarmUserActionEnabled + uut_prototype_stubs.doorClosedRequired + uut_prototype_stubs.getBubbleStatus + uut_prototype_stubs.getSwitchStatus + uut_prototype_stubs.clearAlarmCondition + uut_prototype_stubs.getMSTimerCount + uut_prototype_stubs.doorClosedRequired + SelfTests.c.handleWetSelfTestStoppedState +TEST.END_FLOW TEST.END -- Subprogram: initSelfTests @@ -5460,11 +5242,11 @@ -- Subprogram: transitionToDrySelfTests --- Test Case: transitionToDrySelfTests.001 +-- Test Case: transitionToDrySelfTests_DoorClosed TEST.UNIT:SelfTests TEST.SUBPROGRAM:transitionToDrySelfTests TEST.NEW -TEST.NAME:transitionToDrySelfTests.001 +TEST.NAME:transitionToDrySelfTests_DoorClosed 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 @@ -5479,36 +5261,25 @@ TEST.EXPECTED:uut_prototype_stubs.setValveAirTrap.state:STATE_CLOSED TEST.END --- Test Case: transitionToDrySelfTests.002 +-- Test Case: transitionToDrySelfTests_DoorOpen 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.NAME:transitionToDrySelfTests_DoorOpen TEST.VALUE:uut_prototype_stubs.getSwitchStatus.return:STATE_OPEN +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:SelfTests.<>.selfTestStartTime:100 +TEST.EXPECTED:uut_prototype_stubs.getSwitchStatus.switchId:FRONT_DOOR +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 --- 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