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

-- Subprogram: execAlarmLamp

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
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 (pendingLampPattern != currentLampPattern.data) ==> 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:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
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 (pendingLampPattern != currentLampPattern.data) ==> 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:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:COND_2_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 (pendingLampPattern != currentLampPattern.data) ==> FALSE
      (2) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> 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.STUB:AlarmLamp.getCurrentAlarmLampPattern
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:COND_2_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 (pendingLampPattern != currentLampPattern.data) ==> FALSE
      (2) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> 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.STUB:AlarmLamp.getCurrentAlarmLampPattern
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.getCurrentAlarmLampPattern.return:LAMP_PATTERN_MANUAL
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:6 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (pendingLampPattern != currentLampPattern.data) ==> FALSE
      (2) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> TRUE
      (3) if (lampPatternStepTimer >= (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).duration[currentLampPatternStep]) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set lampPatternStepTimer due to assignment
      Cannot set const variable TEST.VALUE:            Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).duration in branch 3
[0]:
TEST.END_NOTES:
TEST.STUB:AlarmLamp.getCurrentAlarmLampPattern
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.VALUE:AlarmLamp.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:5 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (pendingLampPattern != currentLampPattern.data) ==> FALSE
      (2) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> TRUE
      (3) if (lampPatternStepTimer >= (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).duration[currentLampPatternStep]) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #3, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set lampPatternStepTimer due to assignment
      Cannot set const variable TEST.VALUE:            Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).duration in branch 3
[0]:
TEST.END_NOTES:
TEST.STUB:AlarmLamp.getCurrentAlarmLampPattern
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.VALUE:AlarmLamp.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF
TEST.END

-- Test Case: COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:COND_4_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:8 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) if (pendingLampPattern != currentLampPattern.data) ==> FALSE
      (2) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> TRUE
      (3) if (lampPatternStepTimer >= (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).duration[currentLampPatternStep]) ==> TRUE
      (4) if (currentLampPatternStep >= (NUM_OF_LAMP_STATES)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #4, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set currentLampPatternStep due to assignment
      Cannot set lampPatternStepTimer due to assignment
      Cannot set const variable TEST.VALUE:            Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).duration in branch 3
[0]:
TEST.END_NOTES:
TEST.STUB:AlarmLamp.getCurrentAlarmLampPattern
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.VALUE:AlarmLamp.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF
TEST.END

-- Test Case: COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:COND_4_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:7 of 8
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (pendingLampPattern != currentLampPattern.data) ==> FALSE
      (2) if (getCurrentAlarmLampPattern() != (LAMP_PATTERN_MANUAL)) ==> TRUE
      (3) if (lampPatternStepTimer >= (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).duration[currentLampPatternStep]) ==> TRUE
      (4) if (currentLampPatternStep >= (NUM_OF_LAMP_STATES)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #4, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
      Cannot set currentLampPatternStep due to assignment
      Cannot set lampPatternStepTimer due to assignment
      Cannot set const variable TEST.VALUE:            Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).duration in branch 3
[0]:
TEST.END_NOTES:
TEST.STUB:AlarmLamp.getCurrentAlarmLampPattern
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.VALUE:AlarmLamp.getCurrentAlarmLampPattern.return:LAMP_PATTERN_OFF
TEST.END

-- Test Case: NoPatternChangeManual
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:NoPatternChangeManual
TEST.NOTES:

TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_MANUAL
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MANUAL
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:1
TEST.VALUE:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:50
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_MANUAL
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MANUAL
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:1
TEST.END

-- Test Case: NoPatternChangeStep0To1
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:NoPatternChangeStep0To1
TEST.NOTES:

TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_MED_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MED_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:950
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_MED_ALARM
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MED_ALARM
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:1
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:0
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampGreen.level:PIN_SIGNAL_LOW
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampBlue.level:PIN_SIGNAL_LOW
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampRed.level:PIN_SIGNAL_LOW
TEST.END

-- Test Case: NoPatternChangeStep1To0
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:NoPatternChangeStep1To0
TEST.NOTES:

TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_MED_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MED_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:1
TEST.VALUE:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:950
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_MED_ALARM
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MED_ALARM
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:0
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampGreen.level:PIN_SIGNAL_HIGH
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampBlue.level:PIN_SIGNAL_LOW
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampRed.level:PIN_SIGNAL_HIGH
TEST.END

-- Test Case: NominalPatternChange
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLamp
TEST.NEW
TEST.NAME:NominalPatternChange
TEST.BASIS_PATH:1 of 5
TEST.NOTES:

TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_MANUAL
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:1
TEST.VALUE:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:50
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OFF
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:0
TEST.END

-- Subprogram: execAlarmLampTest

-- Test Case: COND_3_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:COND_3_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (2) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_RED
      (3) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> 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:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:COND_3_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (2) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_RED
      (3) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> 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:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_5_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:COND_5_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:4 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (4) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_YELLOW
      (5) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #5, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_5_ROW_2_PAIR_a_F
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:COND_5_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (4) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_YELLOW
      (5) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #5, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: COND_7_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:COND_7_ROW_1_PAIR_a_T
TEST.MCDC_BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (6) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_GREEN
      (7) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #7, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.END

-- Test Case: COND_7_ROW_2_PAIR_a_F
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:COND_7_ROW_2_PAIR_a_F
TEST.MCDC_BASIS_PATH:5 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (6) case alarmLampSelfTestState ==> ALARM_LAMP_SELF_TEST_STATE_GREEN
      (7) if ((1) == didTimeout(alarmLampSelfTestStepTimerCount, 1000)) ==> FALSE
      Row number 2 forms a pair with Row 1 for Condition #7, subcondition "a".
         Condition a ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN
TEST.VALUE:uut_prototype_stubs.didTimeout.return:<<MIN>>
TEST.END

-- Test Case: CompleteToStart
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:CompleteToStart
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_START
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.END

-- Test Case: GreenOn
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:GreenOn
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:2000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Test Case: GreenToOff
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:GreenToOff
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:2000
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:3000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_COMPLETE
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_PASSED
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampGreen.level:PIN_SIGNAL_LOW
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Test Case: InvalidState
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:InvalidState
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:NUM_OF_ALARM_LAMP_SELF_TEST_STATES
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:2000
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_FAILED
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:2
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:5
TEST.END

-- Test Case: RedOn
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:RedOn
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:2000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Test Case: RedToYellow
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:RedToYellow
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:2000
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:3000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:3000
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampGreen.level:PIN_SIGNAL_HIGH
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Test Case: StartTest
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:StartTest
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_START
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:0
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:1000
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_RED
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:1000
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampRed.level:PIN_SIGNAL_HIGH
TEST.END

-- Test Case: YellowOn
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:YellowOn
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:2000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Test Case: YellowToGreen
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:execAlarmLampTest
TEST.NEW
TEST.NAME:YellowToGreen
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_YELLOW
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:2000
TEST.VALUE:uut_prototype_stubs.getMSTimerCount.return:3000
TEST.VALUE:uut_prototype_stubs.didTimeout.return:1
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_GREEN
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:3000
TEST.EXPECTED:AlarmLamp.execAlarmLampTest.return:SELF_TEST_STATUS_IN_PROGRESS
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampRed.level:PIN_SIGNAL_LOW
TEST.EXPECTED:uut_prototype_stubs.didTimeout.startMSCount:2000
TEST.EXPECTED:uut_prototype_stubs.didTimeout.timeoutPeriod:1000
TEST.END

-- Subprogram: getAlarmLampOn

-- Test Case: getAlarmLampOn_NominalPath
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:getAlarmLampOn
TEST.NEW
TEST.NAME:getAlarmLampOn_NominalPath
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampOn:1
TEST.EXPECTED:AlarmLamp.getAlarmLampOn.return:1
TEST.END

-- Subprogram: getCurrentAlarmLampPattern

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:getCurrentAlarmLampPattern
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 == currentLampPattern.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:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:3435346995
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:getCurrentAlarmLampPattern
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 == currentLampPattern.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:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:<<MIN>>
TEST.END

-- Test Case: NominalPath
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:getCurrentAlarmLampPattern
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_MANUAL
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0x0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.EXPECTED:AlarmLamp.getCurrentAlarmLampPattern.return:LAMP_PATTERN_HIGH_ALARM
TEST.END

-- Test Case: Override
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:getCurrentAlarmLampPattern
TEST.NEW
TEST.NAME:Override
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_MANUAL
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0xCCC33C33
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.EXPECTED:AlarmLamp.getCurrentAlarmLampPattern.return:LAMP_PATTERN_MANUAL
TEST.END

-- Subprogram: initAlarmLamp

-- Test Case: NominalPath
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:initAlarmLamp
TEST.NEW
TEST.NAME:NominalPath
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MANUAL
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:1
TEST.VALUE:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:1
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_COMPLETE
TEST.VALUE:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:1
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MANUAL
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestState:ALARM_LAMP_SELF_TEST_STATE_START
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.alarmLampSelfTestStepTimerCount:0
TEST.END

-- Subprogram: requestAlarmLampPattern

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:requestAlarmLampPattern
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 (lampPattern < (NUM_OF_LAMP_PATTERNS)) ==> 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:AlarmLamp.requestAlarmLampPattern.lampPattern:<<MIN>>
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:requestAlarmLampPattern
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 (lampPattern < (NUM_OF_LAMP_PATTERNS)) ==> 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:AlarmLamp.requestAlarmLampPattern.lampPattern:<<MAX>>
TEST.END

-- Test Case: InvalidLampPatternGiven
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:requestAlarmLampPattern
TEST.NEW
TEST.NAME:InvalidLampPatternGiven
TEST.BASIS_PATH:1 of 2
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.requestAlarmLampPattern.lampPattern:<<MAX>>
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarm:ALARM_ID_HD_SOFTWARE_FAULT
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData1.data.uInt.data:1
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.dataType:ALARM_DATA_TYPE_U32
TEST.EXPECTED:uut_prototype_stubs.activateAlarm2Data.alarmData2.data.uInt.data:7
TEST.END

-- Test Case: NominalPath
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:requestAlarmLampPattern
TEST.NEW
TEST.NAME:NominalPath
TEST.BASIS_PATH:2 of 2
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.requestAlarmLampPattern.lampPattern:LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OK
TEST.END

-- Subprogram: setAlarmLampToPatternStep

-- Test Case: AlarmHigh_Red
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
TEST.NEW
TEST.NAME:AlarmHigh_Red
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_HIGH_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:0
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampGreen.level:PIN_SIGNAL_LOW
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampRed.level:PIN_SIGNAL_HIGH
TEST.END

-- Test Case: AlarmMedium_Yellow
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
TEST.NEW
TEST.NAME:AlarmMedium_Yellow
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_MED_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_MED_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:0
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampGreen.level:PIN_SIGNAL_HIGH
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampBlue.level:PIN_SIGNAL_LOW
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampRed.level:PIN_SIGNAL_HIGH
TEST.END

-- Test Case: COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
TEST.NEW
TEST.NAME:COND_1_ROW_1_PAIR_a_T-PARTIAL
TEST.MCDC_BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set variable to out of range value 1 in branch 1
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
TEST.NEW
TEST.NAME:COND_1_ROW_2_PAIR_a_F-PARTIAL
TEST.MCDC_BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> 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 (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green in branch 1
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.END

-- Test Case: COND_2_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
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 ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE
      (2) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).blue[currentLampPatternStep] == (LAMP_STATE_ON)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #2, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set variable to out of range value 1 in branch 2
      Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green in branch 1
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.END

-- Test Case: COND_2_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
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 ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE
      (2) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).blue[currentLampPatternStep] == (LAMP_STATE_ON)) ==> 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 (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).blue in branch 2
      Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green in branch 1
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.END

-- Test Case: COND_3_ROW_1_PAIR_a_T-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
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 ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE
      (2) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).blue[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE
      (3) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).red[currentLampPatternStep] == (LAMP_STATE_ON)) ==> TRUE
      Row number 1 forms a pair with Row 2 for Condition #3, subcondition "a".
         Condition a ==> TRUE
   Test Case Generation Notes:
      Cannot set variable to out of range value 1 in branch 3
      Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green in branch 1
      Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).blue in branch 2
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.END

-- Test Case: COND_3_ROW_2_PAIR_a_F-PARTIAL
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
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 ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE
      (2) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).blue[currentLampPatternStep] == (LAMP_STATE_ON)) ==> FALSE
      (3) if ((LAMP_PATTERNS[getCurrentAlarmLampPattern()]).red[currentLampPatternStep] == (LAMP_STATE_ON)) ==> 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 (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).red in branch 3
      Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).green in branch 1
      Cannot set value of field for a const class/struct/union for (LAMP_PATTERNS[getCurrentAlarmLampPattern()]).blue in branch 2
TEST.END_NOTES:
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.END

-- Test Case: OK_Green
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:setAlarmLampToPatternStep
TEST.NEW
TEST.NAME:OK_Green
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.pendingLampPattern:LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPatternStep:0
TEST.VALUE:AlarmLamp.<<GLOBAL>>.lampPatternStepTimer:0
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampGreen.level:PIN_SIGNAL_HIGH
TEST.EXPECTED:uut_prototype_stubs.setCPLDLampRed.level:PIN_SIGNAL_LOW
TEST.END

-- Subprogram: testResetCurrentLampPatternOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:testResetCurrentLampPatternOverride
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:AlarmLamp
TEST.SUBPROGRAM:testResetCurrentLampPatternOverride
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:<<MIN>>
TEST.END

-- Test Case: TestingActive
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:testResetCurrentLampPatternOverride
TEST.NEW
TEST.NAME:TestingActive
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0
TEST.EXPECTED:AlarmLamp.testResetCurrentLampPatternOverride.return:1
TEST.END

-- Test Case: TestingInactive
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:testResetCurrentLampPatternOverride
TEST.NEW
TEST.NAME:TestingInactive
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0xCCC33C33
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0xCCC33C33
TEST.EXPECTED:AlarmLamp.testResetCurrentLampPatternOverride.return:0
TEST.END

-- Subprogram: testSetCurrentLampPatternOverride

-- Test Case: COND_1_ROW_1_PAIR_a_T
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:testSetCurrentLampPatternOverride
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:AlarmLamp.testSetCurrentLampPatternOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.END

-- Test Case: COND_1_ROW_2_PAIR_a_F
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:testSetCurrentLampPatternOverride
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:AlarmLamp.testSetCurrentLampPatternOverride.value:<<MIN>>
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: TestingActive
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:testSetCurrentLampPatternOverride
TEST.NEW
TEST.NAME:TestingActive
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0x0
TEST.VALUE:AlarmLamp.testSetCurrentLampPatternOverride.value:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:1
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0xCCC33C33
TEST.EXPECTED:AlarmLamp.testSetCurrentLampPatternOverride.return:1
TEST.END

-- Test Case: TestingInactive
TEST.UNIT:AlarmLamp
TEST.SUBPROGRAM:testSetCurrentLampPatternOverride
TEST.NEW
TEST.NAME:TestingInactive
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OK
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_OFF
TEST.VALUE:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0x0
TEST.VALUE:AlarmLamp.testSetCurrentLampPatternOverride.value:MACRO=LAMP_PATTERN_HIGH_ALARM
TEST.VALUE:uut_prototype_stubs.isTestingActivated.return:0
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.data:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovInitData:MACRO=LAMP_PATTERN_OK
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.ovData:MACRO=LAMP_PATTERN_OFF
TEST.EXPECTED:AlarmLamp.<<GLOBAL>>.currentLampPattern.override:0x0
TEST.EXPECTED:AlarmLamp.testSetCurrentLampPatternOverride.return:0
TEST.END