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

-- Subprogram: execServiceMode

-- Test Case: execServiceMode.001
TEST.UNIT:ModeService
TEST.SUBPROGRAM:execServiceMode
TEST.NEW
TEST.NAME:execServiceMode.001
TEST.MCDC_BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == stop) ==> 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.isStopButtonPressed.return:1
TEST.END

-- Test Case: execServiceMode.002
TEST.UNIT:ModeService
TEST.SUBPROGRAM:execServiceMode
TEST.NEW
TEST.NAME:execServiceMode.002
TEST.MCDC_BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == stop) ==> 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.isStopButtonPressed.return:<<MIN>>
TEST.END

-- Subprogram: initServiceMode

-- Test Case: initServiceMode.001
TEST.UNIT:ModeService
TEST.SUBPROGRAM:initServiceMode
TEST.NEW
TEST.NAME:initServiceMode.001
TEST.END

-- Subprogram: signalAlarmActionToServiceMode

-- Test Case: signalAlarmActionToServiceMode.001
TEST.UNIT:ModeService
TEST.SUBPROGRAM:signalAlarmActionToServiceMode
TEST.NEW
TEST.NAME:signalAlarmActionToServiceMode.001
TEST.END

-- Subprogram: transitionToServiceMode

-- Test Case: transitionToServiceMode.001
TEST.UNIT:ModeService
TEST.SUBPROGRAM:transitionToServiceMode
TEST.NEW
TEST.NAME:transitionToServiceMode.001
TEST.END