-- VectorCAST 19.sp3 (11/13/19)
-- Test Case Script
-- 
-- Environment    : INT_ACCEL
-- Unit(s) Under Test: Accel FPGA MessageSupport ModeInitPOST SystemCommMessages TaskPriority sys_main
-- 
-- 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: Accel

-- Subprogram: calcVectorLength

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:calcVectorLength
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 1
TEST.NOTES:
   No branches in subprogram
TEST.END_NOTES:
TEST.VALUE:Accel.calcVectorLength.x:<<MIN>>
TEST.VALUE:Accel.calcVectorLength.y:<<MIN>>
TEST.VALUE:Accel.calcVectorLength.z:<<MIN>>
TEST.END

-- Subprogram: checkForShockError

-- Test Case: BASIS-PATH-001-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForShockError
TEST.NEW
TEST.NAME:BASIS-PATH-001-PARTIAL
TEST.BASIS_PATH:1 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (maxY > maxX || maxZ > maxX) ==> FALSE
      (3) if (maxAll > (2.5)) ==> FALSE
      (4) if ((1) == shockErrorDetected && maxAll > (1.0)) ==> FALSE
      (5) if (maxAll <= (1.0)) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable maxZ in branch 1
      Cannot set local variable maxX in branch 1
TEST.END_NOTES:
TEST.STUB:Accel.getMaxAccelAxis
TEST.VALUE:Accel.<<GLOBAL>>.shockErrorDetected:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForShockError
TEST.NEW
TEST.NAME:BASIS-PATH-002-PARTIAL
TEST.BASIS_PATH:2 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (maxY > maxX || maxZ > maxX) ==> FALSE
      (3) if (maxAll > (2.5)) ==> FALSE
      (4) if ((1) == shockErrorDetected && maxAll > (1.0)) ==> FALSE
      (5) if (maxAll <= (1.0)) ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable maxZ in branch 1
      Cannot set local variable maxX in branch 1
TEST.END_NOTES:
TEST.STUB:Accel.getMaxAccelAxis
TEST.VALUE:Accel.<<GLOBAL>>.shockErrorDetected:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForShockError
TEST.NEW
TEST.NAME:BASIS-PATH-003-PARTIAL
TEST.BASIS_PATH:3 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (maxY > maxX || maxZ > maxX) ==> FALSE
      (3) if (maxAll > (2.5)) ==> FALSE
      (4) if ((1) == shockErrorDetected && maxAll > (1.0)) ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable maxZ in branch 1
      Cannot set local variable maxX in branch 1
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.shockErrorDetected:1
TEST.END

-- Test Case: BASIS-PATH-004-TEMPLATE
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForShockError
TEST.NEW
TEST.NAME:BASIS-PATH-004-TEMPLATE
TEST.BASIS_PATH:4 of 6 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (maxY > maxX || maxZ > maxX) ==> FALSE
      (3) if (maxAll > (2.5)) ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable maxZ in branch 1
      Cannot set local variable maxX in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: BASIS-PATH-005-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForShockError
TEST.NEW
TEST.NAME:BASIS-PATH-005-PARTIAL
TEST.BASIS_PATH:5 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (maxY > maxX || maxZ > maxX) ==> TRUE
      (2) if (maxZ > maxY) ==> FALSE
      (3) if (maxAll > (2.5)) ==> FALSE
      (4) if ((1) == shockErrorDetected && maxAll > (1.0)) ==> FALSE
      (5) if (maxAll <= (1.0)) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable maxY in branch 1
      Cannot set local variable maxX in branch 1
      Cannot set local variable maxZ in branch 2
      Cannot set local variable maxY in branch 2
      Cannot set local variable maxY in branch 3
TEST.END_NOTES:
TEST.STUB:Accel.getMaxAccelAxis
TEST.VALUE:Accel.<<GLOBAL>>.shockErrorDetected:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-006-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForShockError
TEST.NEW
TEST.NAME:BASIS-PATH-006-PARTIAL
TEST.BASIS_PATH:6 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (maxY > maxX || maxZ > maxX) ==> TRUE
      (2) if (maxZ > maxY) ==> TRUE
      (3) if (maxAll > (2.5)) ==> FALSE
      (4) if ((1) == shockErrorDetected && maxAll > (1.0)) ==> FALSE
      (5) if (maxAll <= (1.0)) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable maxY in branch 1
      Cannot set local variable maxX in branch 1
      Cannot set local variable maxZ in branch 2
      Cannot set local variable maxY in branch 2
      Cannot set local variable maxZ in branch 3
TEST.END_NOTES:
TEST.STUB:Accel.getMaxAccelAxis
TEST.VALUE:Accel.<<GLOBAL>>.shockErrorDetected:<<MIN>>
TEST.END

-- Subprogram: checkForTiltError

-- Test Case: BASIS-PATH-001-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForTiltError
TEST.NEW
TEST.NAME:BASIS-PATH-001-PARTIAL
TEST.BASIS_PATH:1 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> FALSE
      (3) if ((1) == tiltErrorDetected && (fabs(x) > (5.0) || fabs(y) > (5.0))) ==> FALSE
      (4) if (fabs(x) <= (5.0) && fabs(y) <= (5.0)) ==> FALSE
      (5) if (accelTiltErrorTimerCounter > (0)) ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 1
      Cannot set return value of function fabs in branch 4
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelTiltErrorTimerCounter:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.tiltErrorDetected:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForTiltError
TEST.NEW
TEST.NAME:BASIS-PATH-002-PARTIAL
TEST.BASIS_PATH:2 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> FALSE
      (3) if ((1) == tiltErrorDetected && (fabs(x) > (5.0) || fabs(y) > (5.0))) ==> FALSE
      (4) if (fabs(x) <= (5.0) && fabs(y) <= (5.0)) ==> FALSE
      (5) if (accelTiltErrorTimerCounter > (0)) ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 1
      Cannot set return value of function fabs in branch 4
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelTiltErrorTimerCounter:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.tiltErrorDetected:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForTiltError
TEST.NEW
TEST.NAME:BASIS-PATH-003-PARTIAL
TEST.BASIS_PATH:3 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> FALSE
      (3) if ((1) == tiltErrorDetected && (fabs(x) > (5.0) || fabs(y) > (5.0))) ==> FALSE
      (4) if (fabs(x) <= (5.0) && fabs(y) <= (5.0)) ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 1
      Cannot set return value of function fabs in branch 4
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.tiltErrorDetected:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-004-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForTiltError
TEST.NEW
TEST.NAME:BASIS-PATH-004-PARTIAL
TEST.BASIS_PATH:4 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> FALSE
      (3) if ((1) == tiltErrorDetected && (fabs(x) > (5.0) || fabs(y) > (5.0))) ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 1
      Cannot set return value of function fabs in branch 3
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.tiltErrorDetected:1
TEST.END

-- Test Case: BASIS-PATH-005-TEMPLATE
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForTiltError
TEST.NEW
TEST.NAME:BASIS-PATH-005-TEMPLATE
TEST.BASIS_PATH:5 of 6 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> TRUE
      (2) if (++accelTiltErrorTimerCounter > MAX_TILT_PERSISTENCE) ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: BASIS-PATH-006-TEMPLATE
TEST.UNIT:Accel
TEST.SUBPROGRAM:checkForTiltError
TEST.NEW
TEST.NAME:BASIS-PATH-006-TEMPLATE
TEST.BASIS_PATH:6 of 6 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> TRUE
      (2) if (++accelTiltErrorTimerCounter > MAX_TILT_PERSISTENCE) ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.END

-- Subprogram: execAccel

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccel
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (4) case accelState ==> default
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelState:NUM_OF_ACCELEROMETER_STATES
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccel
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (2) case accelState ==> ACCELEROMETER_START_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelState:ACCELEROMETER_START_STATE
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccel
TEST.NEW
TEST.NAME:BASIS-PATH-003
TEST.BASIS_PATH:3 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> FALSE
      (3) case accelState ==> ACCELEROMETER_MONITOR_STATE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelState:ACCELEROMETER_MONITOR_STATE
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-004
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccel
TEST.NEW
TEST.NAME:BASIS-PATH-004
TEST.BASIS_PATH:4 of 4
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if ((1) == isNewCalibrationRecordAvailable()) ==> TRUE
      (4) case accelState ==> default
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelState:NUM_OF_ACCELEROMETER_STATES
TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1
TEST.END

-- Subprogram: execAccelTest

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccelTest
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (6) case accelSelfTestState ==> default
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelSelfTestState:NUM_OF_ACCELEROMETER_SELF_TEST_STATES
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccelTest
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) case accelSelfTestState ==> ACCELEROMETER_SELF_TEST_STATE_START
      (2) if ((0) == calStatus) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_START
TEST.VALUE:Accel.processCalibrationData.return:1
TEST.END

-- Test Case: BASIS-PATH-003
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccelTest
TEST.NEW
TEST.NAME:BASIS-PATH-003
TEST.BASIS_PATH:3 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) case accelSelfTestState ==> ACCELEROMETER_SELF_TEST_STATE_START
      (2) if ((0) == calStatus) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_START
TEST.VALUE:Accel.processCalibrationData.return:0
TEST.END

-- Test Case: BASIS-PATH-004-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccelTest
TEST.NEW
TEST.NAME:BASIS-PATH-004-PARTIAL
TEST.BASIS_PATH:4 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (3) case accelSelfTestState ==> ACCELEROMETER_SELF_TEST_STATE_IN_PROGRESS
      (4) if (fabs((1.0) - vectorLen) < (0.1000000000000000056)) ==> FALSE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 4
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_IN_PROGRESS
TEST.END

-- Test Case: BASIS-PATH-005-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccelTest
TEST.NEW
TEST.NAME:BASIS-PATH-005-PARTIAL
TEST.BASIS_PATH:5 of 6 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (3) case accelSelfTestState ==> ACCELEROMETER_SELF_TEST_STATE_IN_PROGRESS
      (4) if (fabs((1.0) - vectorLen) < (0.1000000000000000056)) ==> TRUE
   Test Case Generation Notes:
      Cannot set return value of function fabs in branch 4
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_IN_PROGRESS
TEST.END

-- Test Case: BASIS-PATH-006
TEST.UNIT:Accel
TEST.SUBPROGRAM:execAccelTest
TEST.NEW
TEST.NAME:BASIS-PATH-006
TEST.BASIS_PATH:6 of 6
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (5) case accelSelfTestState ==> ACCELEROMETER_SELF_TEST_STATE_COMPLETE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_COMPLETE
TEST.END

-- Subprogram: filterAccelReadings

-- Test Case: BASIS-PATH-001-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:filterAccelReadings
TEST.NEW
TEST.NAME:BASIS-PATH-001-PARTIAL
TEST.BASIS_PATH:1 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
      (3) if (accelReadingsIdx >= 1000 / 10 - 1) ==> FALSE
      (4) if (accelReadingsCount >= 1000 / 10) ==> FALSE
      (5) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set axis due to assignment
      Conflict: Cannot resolve multiple comparisons ( Accel.<<GLOBAL>>.accelReadingsIdx ) in branch 3
      Cannot set accelReadingsCount due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 5
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsIdx:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsCount:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:filterAccelReadings
TEST.NEW
TEST.NAME:BASIS-PATH-002-PARTIAL
TEST.BASIS_PATH:2 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
      (3) if (accelReadingsIdx >= 1000 / 10 - 1) ==> FALSE
      (4) if (accelReadingsCount >= 1000 / 10) ==> FALSE
      (5) for (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (6) if (accelAvgVector[axis] > (1.0)) ==> FALSE
      (7) if (accelAvgVector[axis] < (1.0) * -(1.0)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set axis due to assignment
      Conflict: Cannot resolve multiple comparisons ( Accel.<<GLOBAL>>.accelReadingsIdx ) in branch 3
      Cannot set accelReadingsCount due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 5
      Cannot set accelAvgVector[ACCEL_AXIS_X] due to assignment
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsIdx:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsCount:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:filterAccelReadings
TEST.NEW
TEST.NAME:BASIS-PATH-003-PARTIAL
TEST.BASIS_PATH:3 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
      (3) if (accelReadingsIdx >= 1000 / 10 - 1) ==> FALSE
      (4) if (accelReadingsCount >= 1000 / 10) ==> FALSE
      (5) for (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (6) if (accelAvgVector[axis] > (1.0)) ==> FALSE
      (7) if (accelAvgVector[axis] < (1.0) * -(1.0)) ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set axis due to assignment
      Conflict: Cannot resolve multiple comparisons ( Accel.<<GLOBAL>>.accelReadingsIdx ) in branch 3
      Cannot set accelReadingsCount due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 5
      Cannot set accelAvgVector[ACCEL_AXIS_X] due to assignment
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsIdx:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsCount:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-004-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:filterAccelReadings
TEST.NEW
TEST.NAME:BASIS-PATH-004-PARTIAL
TEST.BASIS_PATH:4 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
      (3) if (accelReadingsIdx >= 1000 / 10 - 1) ==> FALSE
      (4) if (accelReadingsCount >= 1000 / 10) ==> FALSE
      (5) for (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (6) if (accelAvgVector[axis] > (1.0)) ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set axis due to assignment
      Conflict: Cannot resolve multiple comparisons ( Accel.<<GLOBAL>>.accelReadingsIdx ) in branch 3
      Cannot set accelReadingsCount due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 5
      Cannot set accelAvgVector[ACCEL_AXIS_X] due to assignment
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsIdx:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsCount:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-005-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:filterAccelReadings
TEST.NEW
TEST.NAME:BASIS-PATH-005-PARTIAL
TEST.BASIS_PATH:5 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
      (3) if (accelReadingsIdx >= 1000 / 10 - 1) ==> FALSE
      (4) if (accelReadingsCount >= 1000 / 10) ==> TRUE
      (5) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set axis due to assignment
      Conflict: Cannot resolve multiple comparisons ( Accel.<<GLOBAL>>.accelReadingsIdx ) in branch 3
      Cannot set accelReadingsCount due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 5
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsIdx:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsCount:<<MAX>>
TEST.END

-- Test Case: BASIS-PATH-006-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:filterAccelReadings
TEST.NEW
TEST.NAME:BASIS-PATH-006-PARTIAL
TEST.BASIS_PATH:6 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
      (3) if (accelReadingsIdx >= 1000 / 10 - 1) ==> TRUE
      (4) if (accelReadingsCount >= 1000 / 10) ==> FALSE
      (5) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set axis due to assignment
      Conflict: Cannot resolve multiple comparisons ( Accel.<<GLOBAL>>.accelReadingsIdx ) in branch 3
      Cannot set accelReadingsCount due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 5
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsIdx:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsCount:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-007-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:filterAccelReadings
TEST.NEW
TEST.NAME:BASIS-PATH-007-PARTIAL
TEST.BASIS_PATH:7 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if (accelReadingsCount >= 1000 / 10) ==> FALSE
      (3) if (accelReadingsIdx >= 1000 / 10 - 1) ==> FALSE
      (4) if (accelReadingsCount >= 1000 / 10) ==> FALSE
      (5) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set axis due to assignment
      Conflict: Cannot resolve multiple comparisons ( Accel.<<GLOBAL>>.accelReadingsIdx ) in branch 3
      Cannot set accelReadingsCount due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 5
TEST.END_NOTES:
TEST.STUB:Accel.getMeasuredAccelAxis
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsIdx:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsCount:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-008-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:filterAccelReadings
TEST.NEW
TEST.NAME:BASIS-PATH-008-PARTIAL
TEST.BASIS_PATH:8 of 8 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 8
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if (accelReadingsCount >= 1000 / 10) ==> TRUE
      (3) if (accelReadingsIdx >= 1000 / 10 - 1) ==> FALSE
      (4) if (accelReadingsCount >= 1000 / 10) ==> FALSE
      (5) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Cannot set axis due to assignment
      Conflict: Cannot resolve multiple comparisons ( Accel.<<GLOBAL>>.accelReadingsIdx ) in branch 3
      Conflict: Trying to set variable Accel.<<GLOBAL>>.accelReadingsCount 'less than' and 'greater than' same value in branches 2/4
      Cannot set accelReadingsCount due to assignment
      Conflict: Unable to control expression-to-expression comparison in branch 5
TEST.END_NOTES:
TEST.STUB:Accel.getMeasuredAccelAxis
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsIdx:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelReadingsCount:<<MAX>>
TEST.END

-- Subprogram: getMaxAccelAxis

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:getMaxAccelAxis
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.getMaxAccelAxis.axis:<<MAX>>
TEST.END

-- Test Case: BASIS-PATH-002-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:getMaxAccelAxis
TEST.NEW
TEST.NAME:BASIS-PATH-002-PARTIAL
TEST.BASIS_PATH:2 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if (0xccc33c33U == (accelMaxs[axis]).override) ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( Accel.getMaxAccelAxis.axis ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].override:<<MIN>>
TEST.VALUE:Accel.getMaxAccelAxis.axis:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:getMaxAccelAxis
TEST.NEW
TEST.NAME:BASIS-PATH-003-PARTIAL
TEST.BASIS_PATH:3 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if (0xccc33c33U == (accelMaxs[axis]).override) ==> TRUE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( Accel.getMaxAccelAxis.axis ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].override:3435346995
TEST.VALUE:Accel.getMaxAccelAxis.axis:<<MIN>>
TEST.END

-- Subprogram: getMeasuredAccelAxis

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:getMeasuredAccelAxis
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.getMeasuredAccelAxis.axis:<<MAX>>
TEST.END

-- Test Case: BASIS-PATH-002-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:getMeasuredAccelAxis
TEST.NEW
TEST.NAME:BASIS-PATH-002-PARTIAL
TEST.BASIS_PATH:2 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if (0xccc33c33U == (accelAxes[axis]).override) ==> FALSE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( Accel.getMeasuredAccelAxis.axis ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelAxes[ACCEL_AXIS_X].override:<<MIN>>
TEST.VALUE:Accel.getMeasuredAccelAxis.axis:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:getMeasuredAccelAxis
TEST.NEW
TEST.NAME:BASIS-PATH-003-PARTIAL
TEST.BASIS_PATH:3 of 3 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if (0xccc33c33U == (accelAxes[axis]).override) ==> TRUE
   Test Case Generation Notes:
      Conflict: Cannot resolve multiple comparisons ( Accel.getMeasuredAccelAxis.axis ) in branches 1/2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelAxes[ACCEL_AXIS_X].override:3435346995
TEST.VALUE:Accel.getMeasuredAccelAxis.axis:<<MIN>>
TEST.END

-- Subprogram: getPublishAccelDataInterval

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:getPublishAccelDataInterval
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (0xccc33c33U == accelDataPublishInterval.override) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelDataPublishInterval.override:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:getPublishAccelDataInterval
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (0xccc33c33U == accelDataPublishInterval.override) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelDataPublishInterval.override:3435346995
TEST.END

-- Subprogram: handleAccelMonitorState

-- Test Case: BASIS-PATH-001-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:handleAccelMonitorState
TEST.NEW
TEST.NAME:BASIS-PATH-001-PARTIAL
TEST.BASIS_PATH:1 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (cnt != accelFPGASampleCtr) ==> FALSE
      (2) if (++accelNoNewSampleTimerCounter > NO_NEW_ACCEL_SAMPLES_TIMEOUT) ==> FALSE
      (3) if (accelFPGAFaultReg != 0) ==> FALSE
      (4) if (xMax > (accelMaxs[ACCEL_AXIS_X]).data) ==> FALSE
      (5) if (yMax > (accelMaxs[ACCEL_AXIS_Y]).data) ==> FALSE
      (6) if (zMax > (accelMaxs[ACCEL_AXIS_Z]).data) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cnt in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Y].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Z].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelFPGAFaultReg:0
TEST.END

-- Test Case: BASIS-PATH-002-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:handleAccelMonitorState
TEST.NEW
TEST.NAME:BASIS-PATH-002-PARTIAL
TEST.BASIS_PATH:2 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (cnt != accelFPGASampleCtr) ==> FALSE
      (2) if (++accelNoNewSampleTimerCounter > NO_NEW_ACCEL_SAMPLES_TIMEOUT) ==> FALSE
      (3) if (accelFPGAFaultReg != 0) ==> FALSE
      (4) if (xMax > (accelMaxs[ACCEL_AXIS_X]).data) ==> FALSE
      (5) if (yMax > (accelMaxs[ACCEL_AXIS_Y]).data) ==> FALSE
      (6) if (zMax > (accelMaxs[ACCEL_AXIS_Z]).data) ==> TRUE
   Test Case Generation Notes:
      Cannot set local variable cnt in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Y].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Z].data:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelFPGAFaultReg:0
TEST.END

-- Test Case: BASIS-PATH-003-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:handleAccelMonitorState
TEST.NEW
TEST.NAME:BASIS-PATH-003-PARTIAL
TEST.BASIS_PATH:3 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (cnt != accelFPGASampleCtr) ==> FALSE
      (2) if (++accelNoNewSampleTimerCounter > NO_NEW_ACCEL_SAMPLES_TIMEOUT) ==> FALSE
      (3) if (accelFPGAFaultReg != 0) ==> FALSE
      (4) if (xMax > (accelMaxs[ACCEL_AXIS_X]).data) ==> FALSE
      (5) if (yMax > (accelMaxs[ACCEL_AXIS_Y]).data) ==> TRUE
      (6) if (zMax > (accelMaxs[ACCEL_AXIS_Z]).data) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cnt in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Y].data:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Z].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelFPGAFaultReg:0
TEST.END

-- Test Case: BASIS-PATH-004-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:handleAccelMonitorState
TEST.NEW
TEST.NAME:BASIS-PATH-004-PARTIAL
TEST.BASIS_PATH:4 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 4
      (1) if (cnt != accelFPGASampleCtr) ==> FALSE
      (2) if (++accelNoNewSampleTimerCounter > NO_NEW_ACCEL_SAMPLES_TIMEOUT) ==> FALSE
      (3) if (accelFPGAFaultReg != 0) ==> FALSE
      (4) if (xMax > (accelMaxs[ACCEL_AXIS_X]).data) ==> TRUE
      (5) if (yMax > (accelMaxs[ACCEL_AXIS_Y]).data) ==> FALSE
      (6) if (zMax > (accelMaxs[ACCEL_AXIS_Z]).data) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cnt in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].data:<<MIN>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Y].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Z].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelFPGAFaultReg:0
TEST.END

-- Test Case: BASIS-PATH-005-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:handleAccelMonitorState
TEST.NEW
TEST.NAME:BASIS-PATH-005-PARTIAL
TEST.BASIS_PATH:5 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 5
      (1) if (cnt != accelFPGASampleCtr) ==> FALSE
      (2) if (++accelNoNewSampleTimerCounter > NO_NEW_ACCEL_SAMPLES_TIMEOUT) ==> FALSE
      (3) if (accelFPGAFaultReg != 0) ==> TRUE
      (4) if (xMax > (accelMaxs[ACCEL_AXIS_X]).data) ==> FALSE
      (5) if (yMax > (accelMaxs[ACCEL_AXIS_Y]).data) ==> FALSE
      (6) if (zMax > (accelMaxs[ACCEL_AXIS_Z]).data) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cnt in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Y].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Z].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelFPGAFaultReg:1
TEST.END

-- Test Case: BASIS-PATH-006-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:handleAccelMonitorState
TEST.NEW
TEST.NAME:BASIS-PATH-006-PARTIAL
TEST.BASIS_PATH:6 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 6
      (1) if (cnt != accelFPGASampleCtr) ==> FALSE
      (2) if (++accelNoNewSampleTimerCounter > NO_NEW_ACCEL_SAMPLES_TIMEOUT) ==> TRUE
      (3) if (accelFPGAFaultReg != 0) ==> FALSE
      (4) if (xMax > (accelMaxs[ACCEL_AXIS_X]).data) ==> FALSE
      (5) if (yMax > (accelMaxs[ACCEL_AXIS_Y]).data) ==> FALSE
      (6) if (zMax > (accelMaxs[ACCEL_AXIS_Z]).data) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cnt in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Y].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Z].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelFPGAFaultReg:0
TEST.END

-- Test Case: BASIS-PATH-007-PARTIAL
TEST.UNIT:Accel
TEST.SUBPROGRAM:handleAccelMonitorState
TEST.NEW
TEST.NAME:BASIS-PATH-007-PARTIAL
TEST.BASIS_PATH:7 of 7 (partial)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 7
      (1) if (cnt != accelFPGASampleCtr) ==> TRUE
      (3) if (accelFPGAFaultReg != 0) ==> FALSE
      (4) if (xMax > (accelMaxs[ACCEL_AXIS_X]).data) ==> FALSE
      (5) if (yMax > (accelMaxs[ACCEL_AXIS_Y]).data) ==> FALSE
      (6) if (zMax > (accelMaxs[ACCEL_AXIS_Z]).data) ==> FALSE
   Test Case Generation Notes:
      Cannot set local variable cnt in branch 1
TEST.END_NOTES:
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_X].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Y].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelMaxs[ACCEL_AXIS_Z].data:<<MAX>>
TEST.VALUE:Accel.<<GLOBAL>>.accelFPGAFaultReg:0
TEST.END

-- Subprogram: initAccel

-- Test Case: initAccel.001
TEST.UNIT:Accel
TEST.SUBPROGRAM:initAccel
TEST.NEW
TEST.NAME:initAccel.001
TEST.BASIS_PATH:1 of 2 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: initAccel.002
TEST.UNIT:Accel
TEST.SUBPROGRAM:initAccel
TEST.NEW
TEST.NAME:initAccel.002
TEST.BASIS_PATH:2 of 2 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Subprogram: processCalibrationData

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:processCalibrationData
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((0) == calData.calibrationTime) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getHDAccelerometerSensorCalibrationRecord.return.calibrationTime:1
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:processCalibrationData
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((0) == calData.calibrationTime) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:uut_prototype_stubs.getHDAccelerometerSensorCalibrationRecord.return.calibrationTime:0
TEST.END

-- Subprogram: publishAccelData

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:publishAccelData
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (++accelDataPublicationTimerCounter >= getPublishAccelDataInterval()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Accel.getPublishAccelDataInterval
TEST.VALUE:Accel.getPublishAccelDataInterval.return:<<MAX>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:publishAccelData
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (++accelDataPublicationTimerCounter >= getPublishAccelDataInterval()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:Accel.getPublishAccelDataInterval
TEST.VALUE:Accel.getPublishAccelDataInterval.return:<<MIN>>
TEST.END

-- Subprogram: resetAccelMovingAverage

-- Test Case: BASIS-PATH-001-TEMPLATE
TEST.UNIT:Accel
TEST.SUBPROGRAM:resetAccelMovingAverage
TEST.NEW
TEST.NAME:BASIS-PATH-001-TEMPLATE
TEST.BASIS_PATH:1 of 3 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
TEST.END_NOTES:
TEST.END

-- Test Case: BASIS-PATH-002-TEMPLATE
TEST.UNIT:Accel
TEST.SUBPROGRAM:resetAccelMovingAverage
TEST.NEW
TEST.NAME:BASIS-PATH-002-TEMPLATE
TEST.BASIS_PATH:2 of 3 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) for (i < 1000 / 10) ==> FALSE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.END

-- Test Case: BASIS-PATH-003-TEMPLATE
TEST.UNIT:Accel
TEST.SUBPROGRAM:resetAccelMovingAverage
TEST.NEW
TEST.NAME:BASIS-PATH-003-TEMPLATE
TEST.BASIS_PATH:3 of 3 (template)
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) for (i < 1000 / 10) ==> TRUE
   Test Case Generation Notes:
      Conflict: Unable to control expression-to-expression comparison in branch 1
      Conflict: Unable to control expression-to-expression comparison in branch 2
TEST.END_NOTES:
TEST.END

-- Subprogram: testResetAccelAxisOverride

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:testResetAccelAxisOverride
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.testResetAccelAxisOverride.axis:<<MAX>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:testResetAccelAxisOverride
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testResetAccelAxisOverride.axis:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003
TEST.UNIT:Accel
TEST.SUBPROGRAM:testResetAccelAxisOverride
TEST.NEW
TEST.NAME:BASIS-PATH-003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testResetAccelAxisOverride.axis:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:1
TEST.END

-- Subprogram: testResetAccelDataPublishIntervalOverride

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:testResetAccelDataPublishIntervalOverride
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:SystemCommMessages.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:testResetAccelDataPublishIntervalOverride
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:SystemCommMessages.isTestingActivated.return:1
TEST.END

-- Subprogram: testResetAccelMaxOverride

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:testResetAccelMaxOverride
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.testResetAccelMaxOverride.axis:<<MAX>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:testResetAccelMaxOverride
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testResetAccelMaxOverride.axis:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003
TEST.UNIT:Accel
TEST.SUBPROGRAM:testResetAccelMaxOverride
TEST.NEW
TEST.NAME:BASIS-PATH-003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testResetAccelMaxOverride.axis:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:1
TEST.END

-- Subprogram: testSetAccelAxisOverride

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:testSetAccelAxisOverride
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.testSetAccelAxisOverride.axis:<<MAX>>
TEST.VALUE:Accel.testSetAccelAxisOverride.value:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:testSetAccelAxisOverride
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testSetAccelAxisOverride.axis:<<MIN>>
TEST.VALUE:Accel.testSetAccelAxisOverride.value:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003
TEST.UNIT:Accel
TEST.SUBPROGRAM:testSetAccelAxisOverride
TEST.NEW
TEST.NAME:BASIS-PATH-003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testSetAccelAxisOverride.axis:<<MIN>>
TEST.VALUE:Accel.testSetAccelAxisOverride.value:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:1
TEST.END

-- Subprogram: testSetAccelDataPublishIntervalOverride

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:testSetAccelDataPublishIntervalOverride
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testSetAccelDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:testSetAccelDataPublishIntervalOverride
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 2
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testSetAccelDataPublishIntervalOverride.value:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:1
TEST.END

-- Subprogram: testSetAccelMaxOverride

-- Test Case: BASIS-PATH-001
TEST.UNIT:Accel
TEST.SUBPROGRAM:testSetAccelMaxOverride
TEST.NEW
TEST.NAME:BASIS-PATH-001
TEST.BASIS_PATH:1 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 1
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.VALUE:Accel.testSetAccelMaxOverride.axis:<<MAX>>
TEST.VALUE:Accel.testSetAccelMaxOverride.value:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-002
TEST.UNIT:Accel
TEST.SUBPROGRAM:testSetAccelMaxOverride
TEST.NEW
TEST.NAME:BASIS-PATH-002
TEST.BASIS_PATH:2 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 2
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> FALSE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testSetAccelMaxOverride.axis:<<MIN>>
TEST.VALUE:Accel.testSetAccelMaxOverride.value:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:<<MIN>>
TEST.END

-- Test Case: BASIS-PATH-003
TEST.UNIT:Accel
TEST.SUBPROGRAM:testSetAccelMaxOverride
TEST.NEW
TEST.NAME:BASIS-PATH-003
TEST.BASIS_PATH:3 of 3
TEST.NOTES:
This is an automatically generated test case.
   Test Path 3
      (1) if (axis < (NUM_OF_ACCEL_AXES)) ==> TRUE
      (2) if ((1) == isTestingActivated()) ==> TRUE
   Test Case Generation Notes:
TEST.END_NOTES:
TEST.STUB:SystemCommMessages.isTestingActivated
TEST.VALUE:Accel.testSetAccelMaxOverride.axis:<<MIN>>
TEST.VALUE:Accel.testSetAccelMaxOverride.value:<<MIN>>
TEST.VALUE:SystemCommMessages.isTestingActivated.return:1
TEST.END