-- VectorCAST 19.sp3 (11/13/19) -- Test Case Script -- -- Environment : ALARMMGMT -- Unit(s) Under Test: AlarmMgmt -- -- 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: AlarmMgmt -- Subprogram: activateAlarm -- Test Case: COND_1_ROW_1_PAIR_a_TT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_TT TEST.MCDC_BASIS_PATH:2 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> 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:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_1_ROW_2_PAIR_b_TF TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:3 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.activateAlarm.alarm:<> TEST.END -- Test Case: COND_1_ROW_3_PAIR_a_FT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_1_ROW_3_PAIR_a_FT TEST.MCDC_BASIS_PATH:1 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.activateAlarm.alarm:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:5 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:4 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:7 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) == alarmStatus.alarmTop) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:6 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) == alarmStatus.alarmTop) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:9 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) == alarmStatus.alarmTop) ==> FALSE (4) if ((1) == (ALARM_TABLE[alarm]).alarmIsFault) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmIsFault in branch 4 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:8 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) == alarmStatus.alarmTop) ==> FALSE (4) if ((1) == (ALARM_TABLE[alarm]).alarmIsFault) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmIsFault in branch 4 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:11 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) == alarmStatus.alarmTop) ==> FALSE (4) if ((1) == (ALARM_TABLE[alarm]).alarmIsFault) ==> FALSE (5) if ((1) == (ALARM_TABLE[alarm]).alarmConditionClearImmed) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmConditionClearImmed in branch 5 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmIsFault in branch 4 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:10 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) == alarmStatus.alarmTop) ==> FALSE (4) if ((1) == (ALARM_TABLE[alarm]).alarmIsFault) ==> FALSE (5) if ((1) == (ALARM_TABLE[alarm]).alarmConditionClearImmed) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmConditionClearImmed in branch 5 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmIsFault in branch 4 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:13 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) == alarmStatus.alarmTop) ==> FALSE (4) if ((1) == (ALARM_TABLE[alarm]).alarmIsFault) ==> FALSE (5) if ((1) == (ALARM_TABLE[alarm]).alarmConditionClearImmed) ==> FALSE (6) if ((1) == (ALARM_TABLE[alarm]).alarmStops) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmStops in branch 6 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmIsFault in branch 4 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmConditionClearImmed in branch 5 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:12 of 13 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == alarmIsActive[alarm]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) == alarmStatus.alarmTop) ==> FALSE (4) if ((1) == (ALARM_TABLE[alarm]).alarmIsFault) ==> FALSE (5) if ((1) == (ALARM_TABLE[alarm]).alarmConditionClearImmed) ==> FALSE (6) if ((1) == (ALARM_TABLE[alarm]).alarmStops) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmStops in branch 6 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.activateAlarm.alarm ) in branches 1/2 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmIsFault in branch 4 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmConditionClearImmed in branch 5 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: activateAlarm_AlreadyActive TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_AlreadyActive TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:7632 TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:8000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:7632 TEST.END -- Test Case: activateAlarm_CC_001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_CC_001 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: activateAlarm_CC_002 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_CC_002 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_TREATMENT_STOPPED_BY_USER TEST.END -- Test Case: activateAlarm_CC_003 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_CC_003 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_HD_BLOOD_LEAK_DETECTED TEST.END -- Test Case: activateAlarm_CC_004 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_CC_004 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_PRIME_COMPLETED_MEDIUM TEST.END -- Test Case: activateAlarm_Fault TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_Fault TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:0 TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:7632 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:7632 TEST.EXPECTED:uut_prototype_stubs.requestNewOperationMode.newMode:MODE_FAUL TEST.END -- Test Case: activateAlarm_InvalidAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_InvalidAlarm TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:0 TEST.VALUE:AlarmMgmt.activateAlarm.alarm:NUM_OF_ALARM_IDS TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:1000 TEST.END -- Test Case: activateAlarm_NoAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_NoAlarm TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:0 TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_NO_ALARM TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:1000 TEST.END -- Test Case: activateAlarm_NotAFault TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm TEST.NEW TEST.NAME:activateAlarm_NotAFault TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK]:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK].data:0 TEST.VALUE:AlarmMgmt.activateAlarm.alarm:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:7632 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK].data:7632 TEST.END -- Subprogram: activateAlarm1Data -- Test Case: activateAlarm1Data_AlreadyActive TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm1Data TEST.NEW TEST.NAME:activateAlarm1Data_AlreadyActive TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.activateAlarm1Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:AlarmMgmt.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:AlarmMgmt.activateAlarm1Data.alarmData.data.uInt.data:567 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Test Case: activateAlarm1Data_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm1Data TEST.NEW TEST.NAME:activateAlarm1Data_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 109 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.alarm:1 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 110 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData1.dataType:ALARM_DATA_TYPE_U32 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 111 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData1.data.uInt.data:567 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 112 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData2.dataType:ALARM_DATA_TYPE_NONE >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.activateAlarm1Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:AlarmMgmt.activateAlarm1Data.alarmData.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:AlarmMgmt.activateAlarm1Data.alarmData.data.uInt.data:567 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Subprogram: activateAlarm2Data -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((0) == alarmIsActive[alarm]) ==> 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:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((0) == alarmIsActive[alarm]) ==> 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:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_TT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_TT-PARTIAL TEST.MCDC_BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((0) == alarmIsActive[alarm]) ==> TRUE (2) if ((1) == (ALARM_TABLE[alarm]).alarmTreatmentLog && (MODE_TREA) == getCurrentOperationMode()) ==> 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: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmTreatmentLog in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.END -- Test Case: COND_2_ROW_2_PAIR_b_TF-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_b_TF-PARTIAL TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((0) == alarmIsActive[alarm]) ==> TRUE (2) if ((1) == (ALARM_TABLE[alarm]).alarmTreatmentLog && (MODE_TREA) == getCurrentOperationMode()) ==> 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: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmTreatmentLog in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.END -- Test Case: COND_2_ROW_3_PAIR_a_FT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:COND_2_ROW_3_PAIR_a_FT-PARTIAL TEST.MCDC_BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((0) == alarmIsActive[alarm]) ==> TRUE (2) if ((1) == (ALARM_TABLE[alarm]).alarmTreatmentLog && (MODE_TREA) == getCurrentOperationMode()) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmTreatmentLog in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_NO_ALARM TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.END -- Test Case: activateAlarm2Data_AlreadyActive TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:activateAlarm2Data_AlreadyActive TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarmData1.data.uInt.data:123 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarmData2.data.flt.data:456.789 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Test Case: activateAlarm2Data_CC_001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:activateAlarm2Data_CC_001 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_AIR_TRAP_ILLEGAL_LEVELS TEST.END -- Test Case: activateAlarm2Data_CC_002 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:activateAlarm2Data_CC_002 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_AIR_TRAP_ILLEGAL_LEVELS TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.END -- Test Case: activateAlarm2Data_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarm2Data TEST.NEW TEST.NAME:activateAlarm2Data_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 141 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.alarm:1 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 142 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData1.dataType:ALARM_DATA_TYPE_U32 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 143 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData1.data.uInt.data:123 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 144 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData2.dataType:ALARM_DATA_TYPE_F32 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 145 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData2.data.flt.data:456.789 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarmData1.data.uInt.data:123 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_F32 TEST.VALUE:AlarmMgmt.activateAlarm2Data.alarmData2.data.flt.data:456.789 TEST.END -- Subprogram: activateAlarmNoData -- Test Case: activateAlarmNoData_AlreadyActive TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarmNoData TEST.NEW TEST.NAME:activateAlarmNoData_AlreadyActive TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.activateAlarmNoData.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Test Case: activateAlarmNoData_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:activateAlarmNoData TEST.NEW TEST.NAME:activateAlarmNoData_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 168 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.alarm:1 >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 169 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData1.dataType:ALARM_DATA_TYPE_NONE >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 170 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmTriggered.almData2.dataType:ALARM_DATA_TYPE_NONE >>> >>> Could not find function broadcastAlarmTriggered >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.activateAlarmNoData.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Subprogram: clearAlarm -- Test Case: COND_1_ROW_1_PAIR_a_TT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_TT TEST.MCDC_BASIS_PATH:2 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> 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:AlarmMgmt.clearAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_1_ROW_2_PAIR_b_TF TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:3 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.clearAlarm.alarm:<> TEST.END -- Test Case: COND_1_ROW_3_PAIR_a_FT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_1_ROW_3_PAIR_a_FT TEST.MCDC_BASIS_PATH:1 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.clearAlarm.alarm:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:5 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == (ALARM_TABLE[alarm]).alarmNoClear) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmNoClear in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:4 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == (ALARM_TABLE[alarm]).alarmNoClear) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmNoClear in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:7 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == (ALARM_TABLE[alarm]).alarmNoClear) ==> TRUE (3) if ((1) == alarmIsActive[alarm]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmNoClear in branch 2 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.clearAlarm.alarm ) in branches 1/3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:6 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == (ALARM_TABLE[alarm]).alarmNoClear) ==> TRUE (3) if ((1) == alarmIsActive[alarm]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmNoClear in branch 2 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.clearAlarm.alarm ) in branches 1/3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:<> TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:9 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == (ALARM_TABLE[alarm]).alarmNoClear) ==> TRUE (3) if ((1) == alarmIsActive[alarm]) ==> TRUE (4) if ((alarmPriorityFIFO[(ALARM_TABLE[alarm]).alarmPriority]).alarmID == alarm) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set variable to unknown value in branch 4 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmNoClear in branch 2 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.clearAlarm.alarm ) in branches 1/3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:8 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == (ALARM_TABLE[alarm]).alarmNoClear) ==> TRUE (3) if ((1) == alarmIsActive[alarm]) ==> TRUE (4) if ((alarmPriorityFIFO[(ALARM_TABLE[alarm]).alarmPriority]).alarmID == alarm) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set variable to unknown value in branch 4 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmNoClear in branch 2 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.clearAlarm.alarm ) in branches 1/3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: clearAlarm_CC_001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:clearAlarm_CC_001 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:5000 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].alarmID:ALARM_ID_BLOOD_SITTING_WARNING TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_LOW].alarmID:ALARM_ID_BLOOD_SITTING_WARNING TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM].alarmID:ALARM_ID_BLOOD_SITTING_WARNING TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH].alarmID:ALARM_ID_BLOOD_SITTING_WARNING TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_BLOOD_SITTING_WARNING TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:0 TEST.END -- Test Case: clearAlarm_ClearNotAllowed TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:clearAlarm_ClearNotAllowed TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Test Case: clearAlarm_InvalidAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:clearAlarm_InvalidAlarm TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:NUM_OF_ALARM_IDS TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Test Case: clearAlarm_NoAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:clearAlarm_NoAlarm TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_NO_ALARM TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Test Case: clearAlarm_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:clearAlarm_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 212 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_SITTING_WARNING >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 214 TEST.VALUE:uut_prototype_stubs.broadcastAlarmCleared.return:1 >>> >>> Could not find function broadcastAlarmCleared >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 217 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 218 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmCleared.alarm:25 >>> >>> Could not find function broadcastAlarmCleared >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:5000 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_BLOOD_SITTING_WARNING TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:0 TEST.END -- Test Case: clearAlarm_NotActive TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:clearAlarm_NotActive TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_VENOUS_PRESSURE_LOW]:0 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_VENOUS_PRESSURE_LOW TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_VENOUS_PRESSURE_LOW]:0 TEST.END -- Test Case: clearAlarm_NotInFIFO TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarm TEST.NEW TEST.NAME:clearAlarm_NotInFIFO TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 238 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 240 TEST.VALUE:uut_prototype_stubs.broadcastAlarmCleared.return:1 >>> >>> Could not find function broadcastAlarmCleared >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored >>> (E) @LINE: 243 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 244 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmCleared.alarm:25 >>> >>> Could not find function broadcastAlarmCleared >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:5000 TEST.VALUE:AlarmMgmt.clearAlarm.alarm:ALARM_ID_BLOOD_SITTING_WARNING TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:0 TEST.END -- Subprogram: clearAlarmCondition -- Test Case: COND_1_ROW_1_PAIR_a_TT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarmCondition TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_TT TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> 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:AlarmMgmt.clearAlarmCondition.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_1_ROW_2_PAIR_b_TF TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarmCondition TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.clearAlarmCondition.alarm:<> TEST.END -- Test Case: COND_1_ROW_3_PAIR_a_FT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarmCondition TEST.NEW TEST.NAME:COND_1_ROW_3_PAIR_a_FT TEST.MCDC_BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.clearAlarmCondition.alarm:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarmCondition TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsDetected[alarm]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.clearAlarmCondition.alarm ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsDetected[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.clearAlarmCondition.alarm:ALARM_ID_NO_ALARM TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAlarmCondition TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (alarm > (ALARM_ID_NO_ALARM) && alarm < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsDetected[alarm]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.clearAlarmCondition.alarm ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsDetected[ALARM_ID_NO_ALARM]:<> TEST.VALUE:AlarmMgmt.clearAlarmCondition.alarm:ALARM_ID_NO_ALARM TEST.END -- Subprogram: clearAllRecoverableAlarms -- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAllRecoverableAlarms TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAllRecoverableAlarms TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAllRecoverableAlarms TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == (ALARM_TABLE[a]).alarmNoClear) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 2 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:clearAllRecoverableAlarms TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((0) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 2 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Subprogram: doesAlarmStatusIndicateStop -- Test Case: doesAlarmStatusIndicateStop.001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:doesAlarmStatusIndicateStop TEST.NEW TEST.NAME:doesAlarmStatusIndicateStop.001 TEST.END -- Subprogram: execAlarmAudioSelfTest -- Test Case: COND_3_ROW_1_PAIR_a_TT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmAudioSelfTest TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_TT TEST.MCDC_BASIS_PATH:2 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 2 (2) case alarmAudioSelfTestState ==> ALARM_AUDIO_SELF_TEST_STATE_PRIMARY (3) if (almHGCurrent > (20.0) && almLGCurrent > (60.0)) ==> 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:AlarmMgmt.<>.alarmAudioSelfTestState:ALARM_AUDIO_SELF_TEST_STATE_PRIMARY TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> TEST.END -- Test Case: COND_3_ROW_2_PAIR_b_TF TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmAudioSelfTest TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:3 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 3 (2) case alarmAudioSelfTestState ==> ALARM_AUDIO_SELF_TEST_STATE_PRIMARY (3) if (almHGCurrent > (20.0) && almLGCurrent > (60.0)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmAudioSelfTestState:ALARM_AUDIO_SELF_TEST_STATE_PRIMARY TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:20.1 TEST.END -- Test Case: COND_3_ROW_3_PAIR_a_FT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmAudioSelfTest TEST.NEW TEST.NAME:COND_3_ROW_3_PAIR_a_FT-PARTIAL TEST.MCDC_BASIS_PATH:1 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 1 (2) case alarmAudioSelfTestState ==> ALARM_AUDIO_SELF_TEST_STATE_PRIMARY (3) if (almHGCurrent > (20.0) && almLGCurrent > (60.0)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Conflict: Cannot resolve multiple comparisons ( uut_prototype_stubs.getIntADCVoltageConverted.return ) in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmAudioSelfTestState:ALARM_AUDIO_SELF_TEST_STATE_PRIMARY TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmAudioSelfTest TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:5 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 5 (2) case alarmAudioSelfTestState ==> ALARM_AUDIO_SELF_TEST_STATE_PRIMARY (3) if (almHGCurrent > (20.0) && almLGCurrent > (60.0)) ==> FALSE (4) if ((1) == didTimeout(testStartTime, 1000)) ==> 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:AlarmMgmt.<>.alarmAudioSelfTestState:ALARM_AUDIO_SELF_TEST_STATE_PRIMARY TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmAudioSelfTest TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:4 of 5 TEST.NOTES: This is an automatically generated test case. Test Path 4 (2) case alarmAudioSelfTestState ==> ALARM_AUDIO_SELF_TEST_STATE_PRIMARY (3) if (almHGCurrent > (20.0) && almLGCurrent > (60.0)) ==> FALSE (4) if ((1) == didTimeout(testStartTime, 1000)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmAudioSelfTestState:ALARM_AUDIO_SELF_TEST_STATE_PRIMARY TEST.VALUE:uut_prototype_stubs.getIntADCVoltageConverted.return:<> TEST.VALUE:uut_prototype_stubs.didTimeout.return:<> TEST.END -- Test Case: execAlarmAudioSelfTest_CC_001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmAudioSelfTest TEST.NEW TEST.NAME:execAlarmAudioSelfTest_CC_001 TEST.VALUE:AlarmMgmt.<>.alarmAudioSelfTestState:ALARM_AUDIO_SELF_TEST_STATE_START TEST.END -- Test Case: execAlarmAudioSelfTest_CC_002 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmAudioSelfTest TEST.NEW TEST.NAME:execAlarmAudioSelfTest_CC_002 TEST.VALUE:AlarmMgmt.<>.alarmAudioSelfTestState:ALARM_AUDIO_SELF_TEST_STATE_COMPLETE TEST.END -- Test Case: execAlarmAudioSelfTest_CC_003 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmAudioSelfTest TEST.NEW TEST.NAME:execAlarmAudioSelfTest_CC_003 TEST.VALUE:AlarmMgmt.<>.alarmAudioSelfTestState:NUM_OF_ALARM_AUDIO_SELF_TEST_STATES TEST.END -- Subprogram: execAlarmMgmt -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmMgmt TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++alarmStatusPublicationTimerCounter >= getU32OverrideValue(&alarmStatusPublishInterval)) ==> 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.getU32OverrideValue.return:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmMgmt TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++alarmStatusPublicationTimerCounter >= getU32OverrideValue(&alarmStatusPublishInterval)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.END -- Test Case: execAlarmMgmt_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmMgmt TEST.NEW TEST.NAME:execAlarmMgmt_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 261 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 91 >>> >>> Command Ignored >>> (E) @LINE: 262 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 263 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 267 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 94 >>> >>> Command Ignored >>> (E) @LINE: 268 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 269 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_STUCK_BUTTON_TEST_FAILED >>> >>> Unexpected end of command - stopped at character 74 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK].data:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:1 TEST.END -- Test Case: execAlarmMgmt_TimeToPublishStatus TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:execAlarmMgmt TEST.NEW TEST.NAME:execAlarmMgmt_TimeToPublishStatus TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 286 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 91 >>> >>> Command Ignored >>> (E) @LINE: 287 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 288 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 294 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 94 >>> >>> Command Ignored >>> (E) @LINE: 295 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 296 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_STUCK_BUTTON_TEST_FAILED >>> >>> Unexpected end of command - stopped at character 74 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK].data:1 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublicationTimerCounter:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:0 TEST.VALUE:uut_prototype_stubs.broadcastAlarmStatus.return:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublicationTimerCounter:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:1 TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmStatus.almStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.EXPECTED:uut_prototype_stubs.broadcastAlarmStatus.almStatus.systemFault:1 TEST.END -- Subprogram: getAlarmAudioBackupCurrent -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmAudioBackupCurrent TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == alarmBackupAudioCurrent.override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmBackupAudioCurrent.override:3435346995 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmAudioBackupCurrent TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == alarmBackupAudioCurrent.override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmBackupAudioCurrent.override:<> TEST.END -- Subprogram: getAlarmAudioPrimaryHighGainCurrent -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmAudioPrimaryHighGainCurrent TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == alarmPrimaryAudioCurrentHG.override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmPrimaryAudioCurrentHG.override:3435346995 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmAudioPrimaryHighGainCurrent TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == alarmPrimaryAudioCurrentHG.override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmPrimaryAudioCurrentHG.override:<> TEST.END -- Subprogram: getAlarmAudioPrimaryLowGainCurrent -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmAudioPrimaryLowGainCurrent TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == alarmPrimaryAudioCurrentLG.override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmPrimaryAudioCurrentLG.override:3435346995 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmAudioPrimaryLowGainCurrent TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == alarmPrimaryAudioCurrentLG.override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmPrimaryAudioCurrentLG.override:<> TEST.END -- Subprogram: getAlarmAudioVolume -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmAudioVolume TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xccc33c33U == alarmAudioVolumeLevel.override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmAudioVolumeLevel.override:3435346995 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmAudioVolume TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xccc33c33U == alarmAudioVolumeLevel.override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmAudioVolumeLevel.override:<> TEST.END -- Subprogram: getAlarmStartTime -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmStartTime TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.getAlarmStartTime.alarmID:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmStartTime TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.getAlarmStartTime.alarmID:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmStartTime TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if (0xccc33c33U == (alarmStartedAt[alarmID]).override) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].override:3435346995 TEST.VALUE:AlarmMgmt.getAlarmStartTime.alarmID:ALARM_ID_NO_ALARM TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmStartTime TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if (0xccc33c33U == (alarmStartedAt[alarmID]).override) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].override:<> TEST.VALUE:AlarmMgmt.getAlarmStartTime.alarmID:ALARM_ID_NO_ALARM TEST.END -- Test Case: getAlarmStartTime_InvalidAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmStartTime TEST.NEW TEST.NAME:getAlarmStartTime_InvalidAlarm TEST.VALUE:AlarmMgmt.getAlarmStartTime.alarmID:9999 TEST.EXPECTED:AlarmMgmt.getAlarmStartTime.return:0 TEST.END -- Test Case: getAlarmStartTime_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmStartTime TEST.NEW TEST.NAME:getAlarmStartTime_NominalPath TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:456 TEST.VALUE:AlarmMgmt.getAlarmStartTime.alarmID:ALARM_ID_HD_FPGA_POST_TEST_FAILED TEST.END -- Test Case: getAlarmStartTime_Override TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getAlarmStartTime TEST.NEW TEST.NAME:getAlarmStartTime_Override TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:456 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:789 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0xCCC33C33 TEST.VALUE:AlarmMgmt.getAlarmStartTime.alarmID:ALARM_ID_HD_FPGA_POST_TEST_FAILED TEST.END -- Subprogram: getCurrentAlarmStatePriority -- Test Case: getCurrentAlarmStatePriority_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getCurrentAlarmStatePriority TEST.NEW TEST.NAME:getCurrentAlarmStatePriority_NominalPath TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.EXPECTED:AlarmMgmt.getCurrentAlarmStatePriority.return:ALARM_PRIORITY_MEDIUM TEST.END -- Subprogram: getNoNewTreatmentStatus -- Test Case: getNoNewTreatmentStatus.001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:getNoNewTreatmentStatus TEST.NEW TEST.NAME:getNoNewTreatmentStatus.001 TEST.END -- Subprogram: handleActiveAlarmListRequest -- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (index < (10)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (index < (10)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (index < (10)) ==> FALSE (2) if ((1) == isAnyAlarmActive()) ==> 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.STUB:AlarmMgmt.isAnyAlarmActive TEST.VALUE:AlarmMgmt.isAnyAlarmActive.return:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (index < (10)) ==> FALSE (2) if ((1) == isAnyAlarmActive()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:AlarmMgmt.isAnyAlarmActive TEST.VALUE:AlarmMgmt.isAnyAlarmActive.return:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) for (index < (10)) ==> FALSE (2) if ((1) == isAnyAlarmActive()) ==> TRUE (3) for (index < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:AlarmMgmt.isAnyAlarmActive TEST.VALUE:AlarmMgmt.isAnyAlarmActive.return:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) for (index < (10)) ==> FALSE (2) if ((1) == isAnyAlarmActive()) ==> TRUE (3) for (index < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.STUB:AlarmMgmt.isAnyAlarmActive TEST.VALUE:AlarmMgmt.isAnyAlarmActive.return:1 TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_TT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_TT-PARTIAL TEST.MCDC_BASIS_PATH:8 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) for (index < (10)) ==> FALSE (2) if ((1) == isAnyAlarmActive()) ==> TRUE (3) for (index < (NUM_OF_ALARM_IDS)) ==> TRUE (4) if ((1) == isAlarmActive((ALARM_RANK_TABLE[index]).alarmID) && activeAlarmListIndex < (10)) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #4, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable activeAlarmListIndex in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.STUB:AlarmMgmt.isAlarmActive TEST.STUB:AlarmMgmt.isAnyAlarmActive TEST.VALUE:AlarmMgmt.isAlarmActive.return:1 TEST.VALUE:AlarmMgmt.isAnyAlarmActive.return:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_b_TF-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_b_TF-PARTIAL TEST.MCDC_BASIS_PATH:9 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) for (index < (10)) ==> FALSE (2) if ((1) == isAnyAlarmActive()) ==> TRUE (3) for (index < (NUM_OF_ALARM_IDS)) ==> TRUE (4) if ((1) == isAlarmActive((ALARM_RANK_TABLE[index]).alarmID) && activeAlarmListIndex < (10)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Cannot set local variable activeAlarmListIndex in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.STUB:AlarmMgmt.isAlarmActive TEST.STUB:AlarmMgmt.isAnyAlarmActive TEST.VALUE:AlarmMgmt.isAlarmActive.return:1 TEST.VALUE:AlarmMgmt.isAnyAlarmActive.return:1 TEST.END -- Test Case: COND_4_ROW_3_PAIR_a_FT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleActiveAlarmListRequest TEST.NEW TEST.NAME:COND_4_ROW_3_PAIR_a_FT-PARTIAL TEST.MCDC_BASIS_PATH:7 of 9 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) for (index < (10)) ==> FALSE (2) if ((1) == isAnyAlarmActive()) ==> TRUE (3) for (index < (NUM_OF_ALARM_IDS)) ==> TRUE (4) if ((1) == isAlarmActive((ALARM_RANK_TABLE[index]).alarmID) && activeAlarmListIndex < (10)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable activeAlarmListIndex in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.STUB:AlarmMgmt.isAlarmActive TEST.STUB:AlarmMgmt.isAnyAlarmActive TEST.VALUE:AlarmMgmt.isAlarmActive.return:<> TEST.VALUE:AlarmMgmt.isAnyAlarmActive.return:1 TEST.END -- Subprogram: handleAlarmEscalations -- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:7 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set a due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:6 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set a due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:9 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) != (ALARM_TABLE[a]).alarmEscalatesTo) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmEscalatesTo in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:8 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) != (ALARM_TABLE[a]).alarmEscalatesTo) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmEscalatesTo in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:11 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) != (ALARM_TABLE[a]).alarmEscalatesTo) ==> TRUE (4) if (msRemaining <= 0) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable msRemaining in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmEscalatesTo in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:10 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) != (ALARM_TABLE[a]).alarmEscalatesTo) ==> TRUE (4) if (msRemaining <= 0) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable msRemaining in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmEscalatesTo in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:13 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) != (ALARM_TABLE[a]).alarmEscalatesTo) ==> TRUE (4) if (msRemaining <= 0) ==> FALSE (5) if ((ALARM_ID_NO_ALARM) == nextAlarmToEscalate) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable nextAlarmToEscalate in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmEscalatesTo in branch 3 Cannot set local variable msRemaining in branch 4 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:12 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) != (ALARM_TABLE[a]).alarmEscalatesTo) ==> TRUE (4) if (msRemaining <= 0) ==> FALSE (5) if ((ALARM_ID_NO_ALARM) == nextAlarmToEscalate) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable nextAlarmToEscalate in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmEscalatesTo in branch 3 Cannot set local variable msRemaining in branch 4 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:15 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) != (ALARM_TABLE[a]).alarmEscalatesTo) ==> TRUE (4) if (msRemaining <= 0) ==> FALSE (5) if ((ALARM_ID_NO_ALARM) == nextAlarmToEscalate) ==> FALSE (6) if (secsRemaining < secsToEscalate) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable secsRemaining in branch 6 Cannot set local variable secsToEscalate in branch 6 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmEscalatesTo in branch 3 Cannot set local variable msRemaining in branch 4 Cannot set local variable nextAlarmToEscalate in branch 5 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:14 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if ((ALARM_ID_NO_ALARM) != (ALARM_TABLE[a]).alarmEscalatesTo) ==> TRUE (4) if (msRemaining <= 0) ==> FALSE (5) if ((ALARM_ID_NO_ALARM) == nextAlarmToEscalate) ==> FALSE (6) if (secsRemaining < secsToEscalate) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable secsRemaining in branch 6 Cannot set local variable secsToEscalate in branch 6 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmEscalatesTo in branch 3 Cannot set local variable msRemaining in branch 4 Cannot set local variable nextAlarmToEscalate in branch 5 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_7_ROW_2_PAIR_a_TF-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_7_ROW_2_PAIR_a_TF-PARTIAL TEST.MCDC_BASIS_PATH:4 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (7) if ((1) == alarmStatus.systemFault || (ALARM_ID_NO_ALARM) == nextAlarmToEscalate) ==> TRUE Row number 2 forms a pair with Row 4 for Condition #7, subcondition "a". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Cannot set local variable nextAlarmToEscalate in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:1 TEST.END -- Test Case: COND_7_ROW_3_PAIR_b_FT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_7_ROW_3_PAIR_b_FT-PARTIAL TEST.MCDC_BASIS_PATH:5 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (7) if ((1) == alarmStatus.systemFault || (ALARM_ID_NO_ALARM) == nextAlarmToEscalate) ==> TRUE Row number 3 forms a pair with Row 4 for Condition #7, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Cannot set local variable nextAlarmToEscalate in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:<> TEST.END -- Test Case: COND_7_ROW_4_PAIR_a_FF-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:COND_7_ROW_4_PAIR_a_FF-PARTIAL TEST.MCDC_BASIS_PATH:3 of 15 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (7) if ((1) == alarmStatus.systemFault || (ALARM_ID_NO_ALARM) == nextAlarmToEscalate) ==> FALSE Row number 4 forms a pair with Row 2 for Condition #7, subcondition "a". Condition a ==> FALSE Condition b ==> FALSE Test Case Generation Notes: Cannot set local variable nextAlarmToEscalate in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:<> TEST.END -- Test Case: handleAlarmEscalations_EscalationsPending TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:handleAlarmEscalations_EscalationsPending TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_VENOUS_PRESSURE_HIGH]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_OCCLUSION_BLOOD_PUMP]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_VENOUS_PRESSURE_HIGH].data:500 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_OCCLUSION_BLOOD_PUMP].data:1000 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:31 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:60001,61001 TEST.END -- Test Case: handleAlarmEscalations_EscalationsPending2 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:handleAlarmEscalations_EscalationsPending2 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_VENOUS_PRESSURE_HIGH]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_OCCLUSION_BLOOD_PUMP]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_VENOUS_PRESSURE_HIGH].data:5000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_OCCLUSION_BLOOD_PUMP].data:500 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:31 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:59500,55000 TEST.END -- Test Case: handleAlarmEscalations_Fault TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:handleAlarmEscalations_Fault TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.END -- Test Case: handleAlarmEscalations_NoEscalations TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:handleAlarmEscalations_NoEscalations TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.END -- Test Case: handleAlarmEscalations_TimeToEscalate TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:handleAlarmEscalations TEST.NEW TEST.NAME:handleAlarmEscalations_TimeToEscalate TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_OCCLUSION_BLOOD_PUMP]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_OCCLUSION_BLOOD_PUMP].data:1000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:25 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:241000 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:240000 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.END -- Subprogram: initAlarmMgmt -- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:initAlarmMgmt TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.ptr_mibspiREG3:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:initAlarmMgmt TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.ptr_mibspiREG3:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:initAlarmMgmt TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (2) for (p < (NUM_OF_ALARM_PRIORITIES)) ==> 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 2 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.ptr_mibspiREG3:<> TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:initAlarmMgmt TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (2) for (p < (NUM_OF_ALARM_PRIORITIES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 2 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.ptr_mibspiREG3:<> TEST.END -- Test Case: initAlarmMgmt_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:initAlarmMgmt TEST.NEW TEST.NAME:initAlarmMgmt_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 481 TEST.VALUE:AlarmMgmt.<>.alarmStatus.bypassDialyzer:1 >>> >>> Expected a field name from the record type COMP_ALARM_STATUS_T >>> >>> Read: bypassDialyzer >>> (E) @LINE: 482 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE]:ALARM_ID_FPGA_POST_TEST_FAILED >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 483 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_LOW]:ALARM_ID_STUCK_BUTTON_TEST_FAILED >>> >>> Unexpected end of command - stopped at character 70 >>> >>> Command Ignored >>> (E) @LINE: 484 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_FPGA_POST_TEST_FAILED >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 485 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_HD_SOFTWARE_FAULT >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 504 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.bypassDialyzer:0 >>> >>> Expected a field name from the record type COMP_ALARM_STATUS_T >>> >>> Read: bypassDialyzer >>> (E) @LINE: 505 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 95 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.ptr_mibspiREG3:<> TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].data:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].ovInitData:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].ovData:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].override:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.stop:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noResume:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noRinseback:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noEndTreatment:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noNewTreatment:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].data:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].ovInitData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].ovData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_NO_ALARM].override:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noResume:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noRinseback:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noNewTreatment:0 TEST.END -- Subprogram: isAlarmActive -- Test Case: isAlarmActive_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:isAlarmActive TEST.NEW TEST.NAME:isAlarmActive_NominalPath TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:1 TEST.VALUE:AlarmMgmt.isAlarmActive.alarm:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.EXPECTED:AlarmMgmt.isAlarmActive.return:1 TEST.END -- Subprogram: isAlarmRecoverable -- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:isAlarmRecoverable TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) ((1) == (ALARM_TABLE[alarm]).alarmNoClear) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmNoClear in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.isAlarmRecoverable.alarm:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:isAlarmRecoverable TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) ((1) == (ALARM_TABLE[alarm]).alarmNoClear) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarm]).alarmNoClear in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.isAlarmRecoverable.alarm:<> TEST.END -- Test Case: isAlarmRecoverable_NonRecoverable TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:isAlarmRecoverable TEST.NEW TEST.NAME:isAlarmRecoverable_NonRecoverable TEST.VALUE:AlarmMgmt.isAlarmRecoverable.alarm:ALARM_ID_HD_SOFTWARE_FAULT TEST.EXPECTED:AlarmMgmt.isAlarmRecoverable.return:0 TEST.END -- Test Case: isAlarmRecoverable_Recoverable TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:isAlarmRecoverable TEST.NEW TEST.NAME:isAlarmRecoverable_Recoverable TEST.VALUE:AlarmMgmt.isAlarmRecoverable.alarm:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY TEST.EXPECTED:AlarmMgmt.isAlarmRecoverable.return:1 TEST.END -- Subprogram: isAnyAlarmActive -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:isAnyAlarmActive TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) (alarmStatus.alarmTop != (ALARM_ID_NO_ALARM)) ==> 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:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:isAnyAlarmActive TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) (alarmStatus.alarmTop != (ALARM_ID_NO_ALARM)) ==> 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:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM TEST.END -- Subprogram: isDialysateRecircBlocked -- Test Case: isDialysateRecircBlocked.001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:isDialysateRecircBlocked TEST.NEW TEST.NAME:isDialysateRecircBlocked.001 TEST.END -- Subprogram: monitorAlarms -- Test Case: monitorAlarms.001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:monitorAlarms TEST.NEW TEST.NAME:monitorAlarms.001 TEST.END -- Subprogram: publishAlarmInfo -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:publishAlarmInfo TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (++alarmInfoPublicationTimerCounter >= getU32OverrideValue(&alarmInfoPublishInterval)) ==> 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.getU32OverrideValue.return:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:publishAlarmInfo TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (++alarmInfoPublicationTimerCounter >= getU32OverrideValue(&alarmInfoPublishInterval)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getU32OverrideValue.return:<> TEST.END -- Subprogram: resetAlarmPriorityFIFO -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:resetAlarmPriorityFIFO TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (priority < (NUM_OF_ALARM_PRIORITIES)) ==> 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:AlarmMgmt.resetAlarmPriorityFIFO.priority:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:resetAlarmPriorityFIFO TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (priority < (NUM_OF_ALARM_PRIORITIES)) ==> 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:AlarmMgmt.resetAlarmPriorityFIFO.priority:<> TEST.END -- Test Case: resetAlarmPriorityFIFO_InvalidPriority TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:resetAlarmPriorityFIFO TEST.NEW TEST.NAME:resetAlarmPriorityFIFO_InvalidPriority TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 549 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 550 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_LOW]:ALARM_ID_BLOOD_PUMP_MC_DIRECTION_CHECK >>> >>> Unexpected end of command - stopped at character 70 >>> >>> Command Ignored >>> (E) @LINE: 551 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 552 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_HD_SOFTWARE_FAULT >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 555 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 74 >>> >>> Command Ignored >>> (E) @LINE: 556 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_LOW]:ALARM_ID_BLOOD_PUMP_MC_DIRECTION_CHECK >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 557 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 558 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_HD_SOFTWARE_FAULT >>> >>> Unexpected end of command - stopped at character 74 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.resetAlarmPriorityFIFO.priority:NUM_OF_ALARM_PRIORITIES TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.END -- Test Case: resetAlarmPriorityFIFO_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:resetAlarmPriorityFIFO TEST.NEW TEST.NAME:resetAlarmPriorityFIFO_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 566 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 568 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.resetAlarmPriorityFIFO.priority:ALARM_PRIORITY_MEDIUM TEST.END -- Subprogram: setAlarmAudio -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudio TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == alarmAudioTestToneRequested) ==> 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:AlarmMgmt.<>.alarmAudioTestToneRequested:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudio TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == alarmAudioTestToneRequested) ==> 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:AlarmMgmt.<>.alarmAudioTestToneRequested:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudio TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:8 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if ((1) == alarmAudioTestToneRequested) ==> TRUE (2) if ((MODE_FAUL) == getCurrentOperationMode()) ==> 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:AlarmMgmt.<>.alarmAudioTestToneRequested:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudio TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:7 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if ((1) == alarmAudioTestToneRequested) ==> TRUE (2) if ((MODE_FAUL) == getCurrentOperationMode()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmAudioTestToneRequested:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_SERV TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudio TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) == alarmAudioTestToneRequested) ==> FALSE (3) if ((1) == alarmStatus.alarmsSilenced) ==> 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:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.VALUE:AlarmMgmt.<>.alarmAudioTestToneRequested:<> TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudio TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) == alarmAudioTestToneRequested) ==> FALSE (3) if ((1) == alarmStatus.alarmsSilenced) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:<> TEST.VALUE:AlarmMgmt.<>.alarmAudioTestToneRequested:<> TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudio TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:6 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) == alarmAudioTestToneRequested) ==> FALSE (3) if ((1) == alarmStatus.alarmsSilenced) ==> FALSE (4) if (alarmStatus.alarmsState < (NUM_OF_ALARM_PRIORITIES)) ==> 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:AlarmMgmt.<>.alarmStatus.alarmsState:<> TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:<> TEST.VALUE:AlarmMgmt.<>.alarmAudioTestToneRequested:<> TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudio TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:5 of 8 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) == alarmAudioTestToneRequested) ==> FALSE (3) if ((1) == alarmStatus.alarmsSilenced) ==> FALSE (4) if (alarmStatus.alarmsState < (NUM_OF_ALARM_PRIORITIES)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:<> TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:<> TEST.VALUE:AlarmMgmt.<>.alarmAudioTestToneRequested:<> TEST.END -- Subprogram: setAlarmAudioVolume -- Test Case: COND_1_ROW_1_PAIR_a_TT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudioVolume TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_TT TEST.MCDC_BASIS_PATH:2 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (volumeLevel > (0) && volumeLevel <= (5)) ==> 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:AlarmMgmt.setAlarmAudioVolume.volumeLevel:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_b_TF TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudioVolume TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_b_TF TEST.MCDC_BASIS_PATH:3 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (volumeLevel > (0) && volumeLevel <= (5)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.setAlarmAudioVolume.volumeLevel:<> TEST.END -- Test Case: COND_1_ROW_3_PAIR_a_FT TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmAudioVolume TEST.NEW TEST.NAME:COND_1_ROW_3_PAIR_a_FT TEST.MCDC_BASIS_PATH:1 of 3 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (volumeLevel > (0) && volumeLevel <= (5)) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.setAlarmAudioVolume.volumeLevel:<> TEST.END -- Subprogram: setAlarmLamp -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> 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.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_MANUAL TEST.END -- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> TRUE (5) case (alarmStatus.alarmsState) ==> ALARM_PRIORITY_HIGH (6) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmIsFault) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmIsFault in branch 6 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF TEST.END -- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> TRUE (5) case (alarmStatus.alarmsState) ==> ALARM_PRIORITY_HIGH (6) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmIsFault) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmIsFault in branch 6 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF TEST.END -- Test Case: COND_8_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:COND_8_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> FALSE (8) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Trying to set variable uut_prototype_stubs.getCurrentAlarmLampPattern.return 'equal to' and 'not equal to' same value in branches 1/8 TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF TEST.END -- Test Case: COND_8_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:COND_8_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> FALSE (8) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_MANUAL TEST.END -- Test Case: setAlarmLamp_CC_001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:setAlarmLamp_CC_001 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_LOW TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OK TEST.END -- Test Case: setAlarmLamp_CC_001.001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:setAlarmLamp_CC_001.001 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OK TEST.END -- Test Case: setAlarmLamp_CC_001.002 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:setAlarmLamp_CC_001.002 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_STUCK_BUTTON_TEST_FAILED TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OK TEST.END -- Test Case: setAlarmLamp_CC_001.003 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmLamp TEST.NEW TEST.NAME:setAlarmLamp_CC_001.003 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:NUM_OF_ALARM_PRIORITIES TEST.VALUE:uut_prototype_stubs.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OK TEST.END -- Subprogram: setAlarmUserActionEnabled -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmUserActionEnabled TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (action < (NUMBER_OF_ALARM_USER_ACTIONS)) ==> 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:AlarmMgmt.setAlarmUserActionEnabled.action:<> TEST.VALUE:AlarmMgmt.setAlarmUserActionEnabled.enabled:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:setAlarmUserActionEnabled TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (action < (NUMBER_OF_ALARM_USER_ACTIONS)) ==> 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:AlarmMgmt.setAlarmUserActionEnabled.action:<> TEST.VALUE:AlarmMgmt.setAlarmUserActionEnabled.enabled:<> TEST.END -- Subprogram: signalAlarmSilence -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmSilence TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((ALARM_SILENCE_CMD_START) == cmd) ==> 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:AlarmMgmt.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_START TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmSilence TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((ALARM_SILENCE_CMD_START) == cmd) ==> 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:AlarmMgmt.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_CANCEL TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmSilence TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((ALARM_SILENCE_CMD_START) == cmd) ==> TRUE (2) if ((0) == alarmStatus.alarmsSilenced) ==> 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:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.VALUE:AlarmMgmt.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_START TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmSilence TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((ALARM_SILENCE_CMD_START) == cmd) ==> TRUE (2) if ((0) == alarmStatus.alarmsSilenced) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.VALUE:AlarmMgmt.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_START TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmSilence TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((ALARM_SILENCE_CMD_START) == cmd) ==> FALSE (3) if ((1) == alarmStatus.alarmsSilenced) ==> 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:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.VALUE:AlarmMgmt.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_CANCEL TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmSilence TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((ALARM_SILENCE_CMD_START) == cmd) ==> FALSE (3) if ((1) == alarmStatus.alarmsSilenced) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:<> TEST.VALUE:AlarmMgmt.signalAlarmSilence.cmd:ALARM_SILENCE_CMD_CANCEL TEST.END -- Subprogram: signalAlarmUserActionInitiated -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (action < (NUMBER_OF_ALARM_USER_ACTIONS)) ==> 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:AlarmMgmt.signalAlarmUserActionInitiated.action:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (action < (NUMBER_OF_ALARM_USER_ACTIONS)) ==> 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:AlarmMgmt.signalAlarmUserActionInitiated.action:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (action < (NUMBER_OF_ALARM_USER_ACTIONS)) ==> TRUE (2) if ((ALARM_USER_ACTION_ACK) == action) ==> 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:AlarmMgmt.signalAlarmUserActionInitiated.action:ALARM_USER_ACTION_ACK TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (action < (NUMBER_OF_ALARM_USER_ACTIONS)) ==> TRUE (2) if ((ALARM_USER_ACTION_ACK) == action) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.signalAlarmUserActionInitiated.action:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (action < (NUMBER_OF_ALARM_USER_ACTIONS)) ==> TRUE (2) if ((ALARM_USER_ACTION_ACK) == action) ==> TRUE (3) if ((1) == (ALARM_TABLE[a]).alarmUserAckRequired) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmUserAckRequired in branch 3 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.signalAlarmUserActionInitiated.action ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.signalAlarmUserActionInitiated.action:<> TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (action < (NUMBER_OF_ALARM_USER_ACTIONS)) ==> TRUE (2) if ((ALARM_USER_ACTION_ACK) == action) ==> TRUE (3) if ((1) == (ALARM_TABLE[a]).alarmUserAckRequired) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmUserAckRequired in branch 3 Conflict: Cannot resolve multiple comparisons ( AlarmMgmt.signalAlarmUserActionInitiated.action ) in branches 1/2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.signalAlarmUserActionInitiated.action:<> TEST.END -- Test Case: signalAlarmUserActionInitiated_CC_001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:signalAlarmUserActionInitiated_CC_001 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_DG_FAN_RPM_OUT_OF_RANGE TEST.VALUE:AlarmMgmt.signalAlarmUserActionInitiated.action:ALARM_USER_ACTION_ACK TEST.END -- Test Case: signalAlarmUserActionInitiated_CC_002 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:signalAlarmUserActionInitiated_CC_002 TEST.VALUE:AlarmMgmt.signalAlarmUserActionInitiated.action:ALARM_USER_ACTION_RINSEBACK TEST.END -- Test Case: signalAlarmUserActionInitiated_CC_003 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:signalAlarmUserActionInitiated TEST.NEW TEST.NAME:signalAlarmUserActionInitiated_CC_003 TEST.VALUE:AlarmMgmt.signalAlarmUserActionInitiated.action:ALARM_USER_ACTION_END_TREATMENT TEST.END -- Subprogram: testClearAllAlarms -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (0xd2c3b4a5U == key) ==> 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:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (0xd2c3b4a5U == key) ==> 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:AlarmMgmt.testClearAllAlarms.key:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (0xd2c3b4a5U == key) ==> TRUE (2) if ((1) == isTestingActivated()) ==> 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:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (0xd2c3b4a5U == key) ==> TRUE (2) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (0xd2c3b4a5U == key) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (0xd2c3b4a5U == key) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:8 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) if (0xd2c3b4a5U == key) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (4) if ((1) == alarmIsActive[a]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set a due to assignment Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:7 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) if (0xd2c3b4a5U == key) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (4) if ((1) == alarmIsActive[a]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set a due to assignment Conflict: Unable to control expression-to-expression comparison in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:<> TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:10 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) if (0xd2c3b4a5U == key) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (4) if ((1) == alarmIsActive[a]) ==> TRUE (5) if ((alarmPriorityFIFO[(ALARM_TABLE[a]).alarmPriority]).alarmID == a) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set variable to unknown value in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 3 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:9 of 10 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) if (0xd2c3b4a5U == key) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (4) if ((1) == alarmIsActive[a]) ==> TRUE (5) if ((alarmPriorityFIFO[(ALARM_TABLE[a]).alarmPriority]).alarmID == a) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set variable to unknown value in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 3 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:3536041125 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testClearAllAlarms_InvalidKey TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:testClearAllAlarms_InvalidKey TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 666 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 91 >>> >>> Command Ignored >>> (E) @LINE: 667 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_SITTING_WARNING >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 668 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_HD_SOFTWARE_FAULT >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 677 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 94 >>> >>> Command Ignored >>> (E) @LINE: 678 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_SITTING_WARNING >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 679 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_HD_SOFTWARE_FAULT >>> >>> Unexpected end of command - stopped at character 74 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_ARTERIAL_PRESSURE_LOW]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:3000000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_ARTERIAL_PRESSURE_LOW].data:1000000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:2000000 TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:0xD2C3B4A4 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_ARTERIAL_PRESSURE_LOW]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:3000000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_ARTERIAL_PRESSURE_LOW].data:1000000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:2000000 TEST.EXPECTED:AlarmMgmt.testClearAllAlarms.return:0 TEST.END -- Test Case: testClearAllAlarms_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:testClearAllAlarms_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 694 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 91 >>> >>> Command Ignored >>> (E) @LINE: 695 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_SITTING_WARNING >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 696 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_HD_SOFTWARE_FAULT >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 705 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 95 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_ARTERIAL_PRESSURE_LOW]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:3000000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_ARTERIAL_PRESSURE_LOW].data:1000000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:2000000 TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:0xD2C3B4A5 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_ARTERIAL_PRESSURE_LOW]:0 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_ARTERIAL_PRESSURE_LOW].data:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:0 TEST.EXPECTED:AlarmMgmt.testClearAllAlarms.return:1 TEST.END -- Test Case: testClearAllAlarms_NotLoggedIn TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testClearAllAlarms TEST.NEW TEST.NAME:testClearAllAlarms_NotLoggedIn TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 720 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 91 >>> >>> Command Ignored >>> (E) @LINE: 721 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_SITTING_WARNING >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 722 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_HD_SOFTWARE_FAULT >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 731 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 94 >>> >>> Command Ignored >>> (E) @LINE: 732 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_BLOOD_SITTING_WARNING >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 733 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_HD_SOFTWARE_FAULT >>> >>> Unexpected end of command - stopped at character 74 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_ARTERIAL_PRESSURE_LOW]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:1 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:3000000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_ARTERIAL_PRESSURE_LOW].data:1000000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:2000000 TEST.VALUE:AlarmMgmt.testClearAllAlarms.key:0xD2C3B4A5 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_ARTERIAL_PRESSURE_LOW]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_BLOOD_SITTING_WARNING]:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_HD_SOFTWARE_FAULT].data:3000000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_ARTERIAL_PRESSURE_LOW].data:1000000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_BLOOD_SITTING_WARNING].data:2000000 TEST.EXPECTED:AlarmMgmt.testClearAllAlarms.return:0 TEST.END -- Subprogram: testResetAlarmAudioVolumeLevelOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmAudioVolumeLevelOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmAudioVolumeLevelOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetAlarmInfoPublishIntervalOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmInfoPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmInfoPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetAlarmStartOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStartOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testResetAlarmStartOverride.alarmID:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStartOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testResetAlarmStartOverride.alarmID:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStartOverride TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> 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:AlarmMgmt.testResetAlarmStartOverride.alarmID:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStartOverride TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testResetAlarmStartOverride.alarmID:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetAlarmStartOverride_InvalidAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStartOverride TEST.NEW TEST.NAME:testResetAlarmStartOverride_InvalidAlarm TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:1000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0xCCC33C33 TEST.VALUE:AlarmMgmt.testResetAlarmStartOverride.alarmID:9999 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:1000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0xCCC33C33 TEST.EXPECTED:AlarmMgmt.testResetAlarmStartOverride.return:0 TEST.END -- Test Case: testResetAlarmStartOverride_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStartOverride TEST.NEW TEST.NAME:testResetAlarmStartOverride_NominalPath TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:1000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0xCCC33C33 TEST.VALUE:AlarmMgmt.testResetAlarmStartOverride.alarmID:2 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.EXPECTED:AlarmMgmt.testResetAlarmStartOverride.return:1 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[1].override:EXPECTED_BASE=16 TEST.END -- Test Case: testResetAlarmStartOverride_NotLoggedIn TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStartOverride TEST.NEW TEST.NAME:testResetAlarmStartOverride_NotLoggedIn TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:1000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0xCCC33C33 TEST.VALUE:AlarmMgmt.testResetAlarmStartOverride.alarmID:2 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:1000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0xCCC33C33 TEST.EXPECTED:AlarmMgmt.testResetAlarmStartOverride.return:0 TEST.END -- Subprogram: testResetAlarmStateOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStateOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testResetAlarmStateOverride.alarmID:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStateOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testResetAlarmStateOverride.alarmID:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStateOverride TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> 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:AlarmMgmt.testResetAlarmStateOverride.alarmID:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStateOverride TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 4 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testResetAlarmStateOverride.alarmID:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetAlarmStateOverride_InvalidAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStateOverride TEST.NEW TEST.NAME:testResetAlarmStateOverride_InvalidAlarm TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.VALUE:AlarmMgmt.testResetAlarmStateOverride.alarmID:9999 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.EXPECTED:AlarmMgmt.testResetAlarmStateOverride.return:0 TEST.END -- Test Case: testResetAlarmStateOverride_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStateOverride TEST.NEW TEST.NAME:testResetAlarmStateOverride_NominalPath TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.VALUE:AlarmMgmt.testResetAlarmStateOverride.alarmID:2 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.EXPECTED:AlarmMgmt.testResetAlarmStateOverride.return:1 TEST.END -- Test Case: testResetAlarmStateOverride_NotLoggedIn TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStateOverride TEST.NEW TEST.NAME:testResetAlarmStateOverride_NotLoggedIn TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.VALUE:AlarmMgmt.testResetAlarmStateOverride.alarmID:2 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.EXPECTED:AlarmMgmt.testResetAlarmStateOverride.return:0 TEST.END -- Subprogram: testResetAlarmStatusPublishIntervalOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStatusPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStatusPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testResetAlarmStatusPublishIntervalOverride_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStatusPublishIntervalOverride TEST.NEW TEST.NAME:testResetAlarmStatusPublishIntervalOverride_NominalPath TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.ovInitData:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.ovData:4 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.ovInitData:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.ovData:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.override:0 TEST.EXPECTED:AlarmMgmt.testResetAlarmStatusPublishIntervalOverride.return:1 TEST.END -- Test Case: testResetAlarmStatusPublishIntervalOverride_NotLoggedIn TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetAlarmStatusPublishIntervalOverride TEST.NEW TEST.NAME:testResetAlarmStatusPublishIntervalOverride_NotLoggedIn TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.ovInitData:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.ovData:4 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.override:0xCCC33C33 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.ovInitData:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.ovData:4 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.override:0xCCC33C33 TEST.EXPECTED:AlarmMgmt.testResetAlarmStatusPublishIntervalOverride.return:0 TEST.END -- Subprogram: testResetBackupAlarmAudioCurrentOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetBackupAlarmAudioCurrentOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetBackupAlarmAudioCurrentOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetPrimaryAlarmAudioCurrentHGOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetPrimaryAlarmAudioCurrentHGOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetPrimaryAlarmAudioCurrentHGOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testResetPrimaryAlarmAudioCurrentLGOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetPrimaryAlarmAudioCurrentLGOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testResetPrimaryAlarmAudioCurrentLGOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetAlarmAudioVolumeLevelOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmAudioVolumeLevelOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmAudioVolumeLevelOverride.volume:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmAudioVolumeLevelOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmAudioVolumeLevelOverride.volume:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetAlarmInfoPublishIntervalOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmInfoPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmInfoPublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmInfoPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmInfoPublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetAlarmStartOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> 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:AlarmMgmt.testSetAlarmStartOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) if (tim > value) ==> 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:AlarmMgmt.testSetAlarmStartOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:<> TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) if (tim > value) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:<> TEST.END -- Test Case: testSetAlarmStartOverride_InvalidAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:testSetAlarmStartOverride_InvalidAlarm TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.alarmID:9999 TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:500 TEST.EXPECTED:AlarmMgmt.testSetAlarmStartOverride.return:0 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[2].override:EXPECTED_BASE=16 TEST.END -- Test Case: testSetAlarmStartOverride_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:testSetAlarmStartOverride_NominalPath TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0 TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.alarmID:2 TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:500 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1500 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.EXPECTED:AlarmMgmt.testSetAlarmStartOverride.return:1 TEST.ATTRIBUTES:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override::EXPECTED_BASE=16 TEST.END -- Test Case: testSetAlarmStartOverride_NotLoggedIn TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:testSetAlarmStartOverride_NotLoggedIn TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0 TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.alarmID:2 TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:500 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0x0 TEST.EXPECTED:AlarmMgmt.testSetAlarmStartOverride.return:0 TEST.END -- Test Case: testSetAlarmStartOverride_ValueTooLarge TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStartOverride TEST.NEW TEST.NAME:testSetAlarmStartOverride_ValueTooLarge TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:0 TEST.VALUE:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0 TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.alarmID:2 TEST.VALUE:AlarmMgmt.testSetAlarmStartOverride.value:500 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:400 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].data:2000 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovInitData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].ovData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStartedAt[ALARM_ID_STUCK_BUTTON_TEST_FAILED].override:0x0 TEST.EXPECTED:AlarmMgmt.testSetAlarmStartOverride.return:0 TEST.END -- Subprogram: testSetAlarmStateOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:<> TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> 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:AlarmMgmt.testSetAlarmStateOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) if ((1) == state) ==> 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:AlarmMgmt.testSetAlarmStateOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if (alarmID < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == isTestingActivated()) ==> TRUE (3) if ((1) == state) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.alarmID:<> TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: testSetAlarmStateOverride_ActivateAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:testSetAlarmStateOverride_ActivateAlarm TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.alarmID:2 TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:AlarmMgmt.testSetAlarmStateOverride.return:1 TEST.END -- Test Case: testSetAlarmStateOverride_ClearAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:testSetAlarmStateOverride_ClearAlarm TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY]:1 TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.alarmID:59 TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:AlarmMgmt.testSetAlarmStateOverride.return:1 TEST.END -- Test Case: testSetAlarmStateOverride_InvalidAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:testSetAlarmStateOverride_InvalidAlarm TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.alarmID:9999 TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:1 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.EXPECTED:AlarmMgmt.testSetAlarmStateOverride.return:0 TEST.END -- Test Case: testSetAlarmStateOverride_NotLoggedIn TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStateOverride TEST.NEW TEST.NAME:testSetAlarmStateOverride_NotLoggedIn TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.alarmID:2 TEST.VALUE:AlarmMgmt.testSetAlarmStateOverride.state:1 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:0 TEST.EXPECTED:AlarmMgmt.testSetAlarmStateOverride.return:0 TEST.END -- Subprogram: testSetAlarmStatusPublishIntervalOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStatusPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStatusPublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStatusPublishIntervalOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetAlarmStatusPublishIntervalOverride.ms:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Test Case: testSetAlarmStatusPublishIntervalOverride_NominalPath TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStatusPublishIntervalOverride TEST.NEW TEST.NAME:testSetAlarmStatusPublishIntervalOverride_NominalPath TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1001 TEST.VALUE:AlarmMgmt.testSetAlarmStatusPublishIntervalOverride.value:200 >>> >>> Unknown parameter/object name value >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.ovInitData:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.ovData:0 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.override:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.ovInitData:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.override:0xCCC33C33 TEST.EXPECTED:AlarmMgmt.testSetAlarmStatusPublishIntervalOverride.return:1 TEST.END -- Test Case: testSetAlarmStatusPublishIntervalOverride_NotLoggedIn TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetAlarmStatusPublishIntervalOverride TEST.NEW TEST.NAME:testSetAlarmStatusPublishIntervalOverride_NotLoggedIn TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1019 TEST.VALUE:AlarmMgmt.testSetAlarmStatusPublishIntervalOverride.value:200 >>> >>> Unknown parameter/object name value >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.ovInitData:10 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.ovData:0 TEST.VALUE:AlarmMgmt.<>.alarmStatusPublishInterval.override:0 TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.data:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.ovInitData:10 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.ovData:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatusPublishInterval.override:0x0 TEST.EXPECTED:AlarmMgmt.testSetAlarmStatusPublishIntervalOverride.return:0 TEST.END -- Subprogram: testSetBackupAlarmAudioCurrentOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetBackupAlarmAudioCurrentOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetBackupAlarmAudioCurrentOverride.mA:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetBackupAlarmAudioCurrentOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetBackupAlarmAudioCurrentOverride.mA:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetPrimaryAlarmAudioCurrentHGOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetPrimaryAlarmAudioCurrentHGOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetPrimaryAlarmAudioCurrentHGOverride.mA:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetPrimaryAlarmAudioCurrentHGOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetPrimaryAlarmAudioCurrentHGOverride.mA:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: testSetPrimaryAlarmAudioCurrentLGOverride -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetPrimaryAlarmAudioCurrentLGOverride TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) == isTestingActivated()) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetPrimaryAlarmAudioCurrentLGOverride.mA:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1 TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:testSetPrimaryAlarmAudioCurrentLGOverride TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 2 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) == isTestingActivated()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: TEST.END_NOTES: TEST.VALUE:AlarmMgmt.testSetPrimaryAlarmAudioCurrentLGOverride.mA:<> TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<> TEST.END -- Subprogram: updateAlarmsFlags -- Test Case: COND_10_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_10_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:34 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 34 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE (9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE (10) ((1) == (ALARM_TABLE[a]).alarmNoRinseback) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #10, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoRinseback in branch 10 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 TEST.END -- Test Case: COND_10_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_10_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:35 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 35 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE (9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE (10) ((1) == (ALARM_TABLE[a]).alarmNoRinseback) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #10, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoRinseback in branch 10 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 TEST.END -- Test Case: COND_11_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_11_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:31 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 31 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE (9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE (11) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #11, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_RINSEBACK]:<> TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]:1 TEST.END -- Test Case: COND_11_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_11_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:30 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 30 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE (9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE (11) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #11, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_END_TREATMENT]:<> TEST.END -- Test Case: COND_12_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_12_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:32 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 32 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE (9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE (11) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> TRUE (12) ((1) == (ALARM_TABLE[a]).alarmNoEndTreatment) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #12, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoEndTreatment in branch 12 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_RINSEBACK]:<> TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]:1 TEST.END -- Test Case: COND_12_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_12_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:33 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 33 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE (9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE (11) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]) ==> TRUE (12) ((1) == (ALARM_TABLE[a]).alarmNoEndTreatment) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #12, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoEndTreatment in branch 12 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_RINSEBACK]:<> TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_END_TREATMENT]:1 TEST.END -- Test Case: COND_13_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_13_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #13, 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:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:1 TEST.END -- Test Case: COND_13_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_13_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #13, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:<> TEST.END -- Test Case: COND_14_ROW_32_PAIR_a_TFFFFF-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_14_ROW_32_PAIR_a_TFFFFF-PARTIAL TEST.MCDC_BASIS_PATH:6 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> TRUE Row number 32 forms a pair with Row 64 for Condition #14, subcondition "a". Condition a ==> TRUE Condition b ==> FALSE Condition c ==> FALSE Condition d ==> FALSE Condition e ==> FALSE Condition f ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 TEST.END -- Test Case: COND_14_ROW_33_PAIR_b_FTTTTT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_14_ROW_33_PAIR_b_FTTTTT-PARTIAL TEST.MCDC_BASIS_PATH:8 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> TRUE Row number 33 forms a pair with Row 49 for Condition #14, subcondition "b". Condition a ==> FALSE Condition b ==> TRUE Condition c ==> TRUE Condition d ==> TRUE Condition e ==> TRUE Condition f ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.END -- Test Case: COND_14_ROW_34_PAIR_f_FTTTTF-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_14_ROW_34_PAIR_f_FTTTTF-PARTIAL TEST.MCDC_BASIS_PATH:12 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE Row number 34 forms a pair with Row 33 for Condition #14, subcondition "f". Condition a ==> FALSE Condition b ==> TRUE Condition c ==> TRUE Condition d ==> TRUE Condition e ==> TRUE Condition f ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.END -- Test Case: COND_14_ROW_35_PAIR_e_FTTTFT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_14_ROW_35_PAIR_e_FTTTFT-PARTIAL TEST.MCDC_BASIS_PATH:11 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE Row number 35 forms a pair with Row 33 for Condition #14, subcondition "e". Condition a ==> FALSE Condition b ==> TRUE Condition c ==> TRUE Condition d ==> TRUE Condition e ==> FALSE Condition f ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.END -- Test Case: COND_14_ROW_37_PAIR_d_FTTFTT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_14_ROW_37_PAIR_d_FTTFTT-PARTIAL TEST.MCDC_BASIS_PATH:10 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE Row number 37 forms a pair with Row 33 for Condition #14, subcondition "d". Condition a ==> FALSE Condition b ==> TRUE Condition c ==> TRUE Condition d ==> FALSE Condition e ==> TRUE Condition f ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.END -- Test Case: COND_14_ROW_41_PAIR_c_FTFTTT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_14_ROW_41_PAIR_c_FTFTTT-PARTIAL TEST.MCDC_BASIS_PATH:9 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE Row number 41 forms a pair with Row 33 for Condition #14, subcondition "c". Condition a ==> FALSE Condition b ==> TRUE Condition c ==> FALSE Condition d ==> TRUE Condition e ==> TRUE Condition f ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.END -- Test Case: COND_14_ROW_49_PAIR_b_FFTTTT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_14_ROW_49_PAIR_b_FFTTTT-PARTIAL TEST.MCDC_BASIS_PATH:7 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE Row number 49 forms a pair with Row 33 for Condition #14, subcondition "b". Condition a ==> FALSE Condition b ==> FALSE Condition c ==> TRUE Condition d ==> TRUE Condition e ==> TRUE Condition f ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 TEST.END -- Test Case: COND_14_ROW_64_PAIR_a_FFFFFF-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_14_ROW_64_PAIR_a_FFFFFF-PARTIAL TEST.MCDC_BASIS_PATH:5 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE Row number 64 forms a pair with Row 32 for Condition #14, subcondition "a". Condition a ==> FALSE Condition b ==> FALSE Condition c ==> FALSE Condition d ==> FALSE Condition e ==> FALSE Condition f ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 TEST.END -- Test Case: COND_15_ROW_1_PAIR_a_TT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_15_ROW_1_PAIR_a_TT-PARTIAL TEST.MCDC_BASIS_PATH:14 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE (15) if ((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> TRUE Row number 1 forms a pair with Row 3 for Condition #15, subcondition "a". Condition a ==> TRUE Condition b ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.END -- Test Case: COND_15_ROW_2_PAIR_b_TF-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_15_ROW_2_PAIR_b_TF-PARTIAL TEST.MCDC_BASIS_PATH:15 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE (15) if ((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #15, subcondition "b". Condition a ==> TRUE Condition b ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_TREA TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_START_STATE TEST.END -- Test Case: COND_15_ROW_3_PAIR_a_FT-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_15_ROW_3_PAIR_a_FT-PARTIAL TEST.MCDC_BASIS_PATH:13 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE (13) if ((1) == alarmStatus.topAlarmConditionDetected) ==> FALSE (14) if ((1) == (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired || ((((0) == alarmStatus.noClear && noResume) && noRinseback) && noEndTreatment) && (0) == alarmStatus.topAlarmConditionDetected) ==> FALSE (15) if ((MODE_TREA) == getCurrentOperationMode() && (TREATMENT_STOP_STATE) == getTreatmentState()) ==> FALSE Row number 3 forms a pair with Row 1 for Condition #15, subcondition "a". Condition a ==> FALSE Condition b ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[alarmStatus.alarmTop]).alarmUserAckRequired in branch 14 Cannot set local variable noResume in branch 14 Cannot set local variable noRinseback in branch 14 Cannot set local variable noEndTreatment in branch 14 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.topAlarmConditionDetected:2 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:1 TEST.VALUE:uut_prototype_stubs.getCurrentOperationMode.return:MODE_FAUL TEST.VALUE:uut_prototype_stubs.getTreatmentState.return:TREATMENT_STOP_STATE TEST.END -- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:17 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 17 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set a due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:16 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 16 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set a due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:18 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 18 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:19 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 19 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:20 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 20 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (4) ((1) == (ALARM_TABLE[a]).alarmStops) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:21 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 21 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (4) ((1) == (ALARM_TABLE[a]).alarmStops) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmStops in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:22 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 22 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (5) ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:23 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 23 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (5) ((1) == (ALARM_TABLE[a]).alarmNoClear) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoClear in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:24 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 24 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (6) ((1) == (ALARM_TABLE[a]).alarmNoNewTreatment) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoNewTreatment in branch 6 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:25 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 25 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (6) ((1) == (ALARM_TABLE[a]).alarmNoNewTreatment) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoNewTreatment in branch 6 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:27 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 27 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:1 TEST.END -- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:26 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 26 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> TEST.END -- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:36 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 36 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> TRUE (8) ((1) == (ALARM_TABLE[a]).alarmNoResume) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 8 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:1 TEST.END -- Test Case: COND_8_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_8_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:37 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 37 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> TRUE (8) ((1) == (ALARM_TABLE[a]).alarmNoResume) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoResume in branch 8 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:1 TEST.END -- Test Case: COND_9_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_9_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:29 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 29 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE (9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #9, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]:<> TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]:1 TEST.END -- Test Case: COND_9_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:COND_9_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:28 of 37 TEST.NOTES: This is an automatically generated test case. Test Path 28 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (7) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME]) ==> FALSE (9) if ((1) == alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RINSEBACK]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #9, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmUserRecoveryActionEnabled[ALARM_USER_ACTION_RESUME..ALARM_USER_ACTION_RINSEBACK]:<> TEST.END -- Test Case: updateAlarmsFlags_Fault TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:updateAlarmsFlags_Fault TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1050 TEST.VALUE:AlarmMgmt.<>.alarmStatus.bypassDialyzer:0 >>> >>> Expected a field name from the record type COMP_ALARM_STATUS_T >>> >>> Read: bypassDialyzer >>> (E) @LINE: 1058 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.bypassDialyzer:0 >>> >>> Expected a field name from the record type COMP_ALARM_STATUS_T >>> >>> Read: bypassDialyzer TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_HD_SOFTWARE_FAULT TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.stop:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noResume:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noRinseback:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noNewTreatment:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noResume:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noRinseback:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noEndTreatment:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noNewTreatment:1 TEST.END -- Test Case: updateAlarmsFlags_Medium TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:updateAlarmsFlags_Medium TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1081 TEST.VALUE:AlarmMgmt.<>.alarmStatus.bypassDialyzer:0 >>> >>> Expected a field name from the record type COMP_ALARM_STATUS_T >>> >>> Read: bypassDialyzer >>> (E) @LINE: 1089 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.bypassDialyzer:0 >>> >>> Expected a field name from the record type COMP_ALARM_STATUS_T >>> >>> Read: bypassDialyzer TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY]:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsToEscalate:7 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsEscalatesIn:10 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.stop:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noResume:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noRinseback:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noNewTreatment:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noNewTreatment:0 TEST.END -- Test Case: updateAlarmsFlags_NoActiveAlarm TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsFlags TEST.NEW TEST.NAME:updateAlarmsFlags_NoActiveAlarm TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1107 TEST.VALUE:AlarmMgmt.<>.alarmStatus.bypassDialyzer:0 >>> >>> Expected a field name from the record type COMP_ALARM_STATUS_T >>> >>> Read: bypassDialyzer >>> (E) @LINE: 1116 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.bypassDialyzer:0 >>> >>> Expected a field name from the record type COMP_ALARM_STATUS_T >>> >>> Read: bypassDialyzer TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY]:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM TEST.VALUE:AlarmMgmt.<>.alarmStatus.systemFault:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.stop:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noResume:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noRinseback:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.noNewTreatment:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.systemFault:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.stop:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noClear:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noResume:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noRinseback:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noEndTreatment:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.noNewTreatment:0 TEST.END -- Subprogram: updateAlarmsSilenceStatus -- Test Case: COND_1_ROW_1_PAIR_a_T TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T TEST.MCDC_BASIS_PATH:2 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) if ((1) != alarmStatus.alarmsSilenced) ==> 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:AlarmMgmt.<>.alarmStatus.alarmsSilenced:<> TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F TEST.MCDC_BASIS_PATH:1 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) if ((1) != alarmStatus.alarmsSilenced) ==> 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:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) if ((1) != alarmStatus.alarmsSilenced) ==> FALSE (2) if (timeSinceAlarmSilenceStart >= (60)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable timeSinceAlarmSilenceStart in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) if ((1) != alarmStatus.alarmsSilenced) ==> FALSE (2) if (timeSinceAlarmSilenceStart >= (60)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable timeSinceAlarmSilenceStart in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) if ((1) != alarmStatus.alarmsSilenced) ==> FALSE (2) if (timeSinceAlarmSilenceStart >= (60)) ==> FALSE (3) if ((0) == alarmStatus.alarmsSilenceExpiresIn) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set alarmStatus.alarmsSilenceExpiresIn due to assignment Cannot set local variable timeSinceAlarmSilenceStart in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 6 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) if ((1) != alarmStatus.alarmsSilenced) ==> FALSE (2) if (timeSinceAlarmSilenceStart >= (60)) ==> FALSE (3) if ((0) == alarmStatus.alarmsSilenceExpiresIn) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set alarmStatus.alarmsSilenceExpiresIn due to assignment Cannot set local variable timeSinceAlarmSilenceStart in branch 2 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.END -- Test Case: updateAlarmsSilenceStatus_AlarmsNotSilenced TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:updateAlarmsSilenceStatus_AlarmsNotSilenced TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_LOW TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:1000 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:30 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 TEST.END -- Test Case: updateAlarmsSilenceStatus_AlarmsSilenceExpires TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:updateAlarmsSilenceStatus_AlarmsSilenceExpires TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_LOW TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:1000 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:1 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:61000 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:0 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:0 TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000 TEST.END -- Test Case: updateAlarmsSilenceStatus_AlarmsSilenced TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsSilenceStatus TEST.NEW TEST.NAME:updateAlarmsSilenceStatus_AlarmsSilenced TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_LOW TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceStart:1000 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:2 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:59000 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenced:1 TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsSilenceExpiresIn:1 TEST.EXPECTED:uut_prototype_stubs.calcTimeSince.startMSCount:1000 TEST.END -- Subprogram: updateAlarmsState -- Test Case: COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_1_ROW_1_PAIR_a_T-TEMPLATE TEST.MCDC_BASIS_PATH:2 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 2 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_1_ROW_2_PAIR_a_F-TEMPLATE TEST.MCDC_BASIS_PATH:1 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 1 (1) for (a < (NUM_OF_ALARM_IDS)) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #1, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.END -- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_2_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:4 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 4 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set a due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_2_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:3 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 3 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #2, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set a due to assignment Conflict: Unable to control expression-to-expression comparison in branch 1 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:<> TEST.END -- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:6 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 6 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable almPriority in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:5 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 5 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable almPriority in branch 3 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:14 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 14 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> TRUE (4) if (subRank == (alarmPriorityFIFO[almPriority]).subRank) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable subRank in branch 4 Cannot set local variable almPriority in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.END -- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:13 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 13 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> TRUE (4) if (subRank == (alarmPriorityFIFO[almPriority]).subRank) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable almPriority in branch 4 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_5_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:16 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 16 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> TRUE (4) if (subRank == (alarmPriorityFIFO[almPriority]).subRank) ==> TRUE (5) if (msSinceTriggered > (alarmPriorityFIFO[almPriority]).timeSinceTriggeredMS) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable almPriority in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 Cannot set local variable subRank in branch 4 Cannot set local variable almPriority in branch 4 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].timeSinceTriggeredMS:<> TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.END -- Test Case: COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_5_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:15 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 15 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> TRUE (4) if (subRank == (alarmPriorityFIFO[almPriority]).subRank) ==> TRUE (5) if (msSinceTriggered > (alarmPriorityFIFO[almPriority]).timeSinceTriggeredMS) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable almPriority in branch 5 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 Cannot set local variable subRank in branch 4 Cannot set local variable almPriority in branch 4 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].timeSinceTriggeredMS:<> TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:<> TEST.END -- Test Case: COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_6_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:7 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 7 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> FALSE (6) (almPriority < highestPriority) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #6, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set local variable almPriority in branch 6 Cannot set local variable highestPriority in branch 6 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_6_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:8 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 8 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> FALSE (6) (almPriority < highestPriority) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #6, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set local variable almPriority in branch 6 Cannot set local variable highestPriority in branch 6 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: COND_7_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_7_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:10 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 10 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> FALSE (7) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: COND_7_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_7_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:9 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 9 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> FALSE (7) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 7 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: COND_8_ROW_1_PAIR_a_T-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_8_ROW_1_PAIR_a_T-PARTIAL TEST.MCDC_BASIS_PATH:12 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 12 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> FALSE (7) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE (8) if ((1) == (ALARM_TABLE[a]).alarmNoDialysateRecirc) ==> TRUE Row number 1 forms a pair with Row 2 for Condition #8, subcondition "a". Condition a ==> TRUE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoDialysateRecirc in branch 8 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 7 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: COND_8_ROW_2_PAIR_a_F-PARTIAL TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:COND_8_ROW_2_PAIR_a_F-PARTIAL TEST.MCDC_BASIS_PATH:11 of 16 TEST.NOTES: This is an automatically generated test case. Test Path 11 (1) for (a < (NUM_OF_ALARM_IDS)) ==> TRUE (2) if ((1) == alarmIsActive[a]) ==> TRUE (3) if (subRank <= (alarmPriorityFIFO[almPriority]).subRank) ==> FALSE (7) if ((1) == (ALARM_TABLE[a]).alarmIsFault) ==> FALSE (8) if ((1) == (ALARM_TABLE[a]).alarmNoDialysateRecirc) ==> FALSE Row number 2 forms a pair with Row 1 for Condition #8, subcondition "a". Condition a ==> FALSE Test Case Generation Notes: Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmNoDialysateRecirc in branch 8 Conflict: Unable to control expression-to-expression comparison in branch 1 Cannot set a due to assignment Cannot set local variable almPriority in branch 3 Cannot set value of field for a const class/struct/union for (ALARM_TABLE[a]).alarmIsFault in branch 7 TEST.END_NOTES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_NO_ALARM]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE].subRank:<> TEST.END -- Test Case: updateAlarmsState.001 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:updateAlarmsState.001 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH].subRank:3 TEST.END -- Test Case: updateAlarmsState.002 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:updateAlarmsState.002 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH].subRank:3 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1 TEST.END -- Test Case: updateAlarmsState.003 TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:updateAlarmsState.003 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_RTC_CONFIG_ERROR]:0 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_HD_SOFTWARE_FAULT]:0 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_RO_PUMP_FLOW_RATE_OUT_OF_RANGE]:0 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_RO_PUMP_DUTY_CYCLE_OUT_OF_RANGE]:1 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH].subRank:3 TEST.VALUE:uut_prototype_stubs.calcTimeSince.return:1 TEST.END -- Test Case: updateAlarmsState_NoAlarmsActive TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:updateAlarmsState_NoAlarmsActive TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1173 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 92 >>> >>> Command Ignored >>> (E) @LINE: 1176 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 95 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_BLOOD_PUMP_MC_CURRENT_CHECK TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_NONE TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_NO_ALARM TEST.END -- Test Case: updateAlarmsState_TopIsFault TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:updateAlarmsState_TopIsFault TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1188 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 91 >>> >>> Command Ignored >>> (E) @LINE: 1189 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 1190 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 1193 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 94 >>> >>> Command Ignored >>> (E) @LINE: 1194 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 1195 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_STUCK_BUTTON_TEST_FAILED >>> >>> Unexpected end of command - stopped at character 74 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_STUCK_BUTTON_TEST_FAILED]:1 TEST.VALUE:AlarmMgmt.<>.alarmIsActive[ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY]:1 TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY TEST.EXPECTED:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_HIGH TEST.END -- Test Case: updateAlarmsState_TopIsNotAFault TEST.UNIT:AlarmMgmt TEST.SUBPROGRAM:updateAlarmsState TEST.NEW TEST.NAME:updateAlarmsState_TopIsNotAFault TEST.IMPORT_FAILURES: (E) Errors from previous script import(s) >>> (E) @LINE: 1206 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 91 >>> >>> Command Ignored >>> (E) @LINE: 1207 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY >>> >>> Unexpected end of command - stopped at character 73 >>> >>> Command Ignored >>> (E) @LINE: 1208 TEST.VALUE:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 71 >>> >>> Command Ignored >>> (E) @LINE: 1211 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_NONE..ALARM_PRIORITY_LOW]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 94 >>> >>> Command Ignored >>> (E) @LINE: 1212 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_MEDIUM]:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY >>> >>> Unexpected end of command - stopped at character 76 >>> >>> Command Ignored >>> (E) @LINE: 1213 TEST.EXPECTED:AlarmMgmt.<>.alarmPriorityFIFO[ALARM_PRIORITY_HIGH]:ALARM_ID_NO_ALARM >>> >>> Unexpected end of command - stopped at character 74 >>> >>> Command Ignored TEST.END_IMPORT_FAILURES: TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmsState:ALARM_PRIORITY_MEDIUM TEST.VALUE:AlarmMgmt.<>.alarmStatus.alarmTop:ALARM_ID_INLET_WATER_LOW_CONDUCTIVITY TEST.END