Index: vectorcast/Hercules_RM46_HD_Project/environment/ACCEL/ACCEL.tst =================================================================== diff -u -rf0c69714f9b6a7d637ef488588e0965eb5588b7b -r77a68a10bc37333221638025a7f23fbf85fb9cd8 --- vectorcast/Hercules_RM46_HD_Project/environment/ACCEL/ACCEL.tst (.../ACCEL.tst) (revision f0c69714f9b6a7d637ef488588e0965eb5588b7b) +++ vectorcast/Hercules_RM46_HD_Project/environment/ACCEL/ACCEL.tst (.../ACCEL.tst) (revision 77a68a10bc37333221638025a7f23fbf85fb9cd8) @@ -155,16 +155,16 @@ TEST.MCDC_BASIS_PATH:7 of 12 TEST.NOTES: This is an automatically generated test case. - Test Path 7 - (1) if (maxY > maxX || maxZ > maxX) ==> FALSE - (3) if (maxAll > (2.5)) ==> FALSE - (4) if ((1) == shockErrorDetected && maxAll > (1.0)) ==> 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 maxX in branch 1 - Cannot set local variable maxZ in branch 1 +Test Path 7 +(1) if (maxY > maxX || maxZ > maxX) ==> FALSE +(3) if (maxAll > (2.5)) ==> FALSE +(4) if ((1) == shockErrorDetected && maxAll > (1.0)) ==> 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 maxX in branch 1 +Cannot set local variable maxZ in branch 1 TEST.END_NOTES: TEST.VALUE:Accel.<>.accelTilt[ACCEL_AXIS_X]:2.4 TEST.VALUE:Accel.<>.accelTilt[ACCEL_AXIS_Y..ACCEL_AXIS_Z]:2.3 @@ -248,16 +248,16 @@ TEST.MCDC_BASIS_PATH:7 of 18 TEST.NOTES: This is an automatically generated test case. - Test Path 7 - (1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> FALSE - (3) if ((1) == tiltErrorDetected && (fabs(x) > (5.0) || fabs(y) > (5.0))) ==> TRUE - Row number 2 forms a pair with Row 4 for Condition #3, subcondition "b". - Condition a ==> TRUE - Condition b ==> TRUE - Condition c ==> FALSE - Test Case Generation Notes: - Cannot set return value of function fabs in branch 3 - Cannot set return value of function fabs in branch 1 +Test Path 7 +(1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> FALSE +(3) if ((1) == tiltErrorDetected && (fabs(x) > (5.0) || fabs(y) > (5.0))) ==> TRUE +Row number 2 forms a pair with Row 4 for Condition #3, subcondition "b". +Condition a ==> TRUE +Condition b ==> TRUE +Condition c ==> FALSE +Test Case Generation Notes: +Cannot set return value of function fabs in branch 3 +Cannot set return value of function fabs in branch 1 TEST.END_NOTES: TEST.VALUE:Accel.<>.accelTilt[ACCEL_AXIS_X..ACCEL_AXIS_Y]:6.0 TEST.VALUE:Accel.<>.tiltErrorDetected:1 @@ -301,16 +301,16 @@ TEST.MCDC_BASIS_PATH:5 of 14 TEST.NOTES: This is an automatically generated test case. - Test Path 5 - (1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> FALSE - (3) if ((1) == tiltErrorDetected && (fabs(x) > (5.0) || fabs(y) > (5.0))) ==> TRUE - Row number 3 forms a pair with Row 7 for Condition #3, subcondition "a". - Condition a ==> TRUE - Condition b ==> FALSE - Condition c ==> TRUE - Test Case Generation Notes: - Cannot set return value of function fabs in branch 3 - Cannot set return value of function fabs in branch 1 +Test Path 5 +(1) if (fabs(x) > (7.0) || fabs(y) > (7.0)) ==> FALSE +(3) if ((1) == tiltErrorDetected && (fabs(x) > (5.0) || fabs(y) > (5.0))) ==> TRUE +Row number 3 forms a pair with Row 7 for Condition #3, subcondition "a". +Condition a ==> TRUE +Condition b ==> FALSE +Condition c ==> TRUE +Test Case Generation Notes: +Cannot set return value of function fabs in branch 3 +Cannot set return value of function fabs in branch 1 TEST.END_NOTES: TEST.VALUE:Accel.<>.accelTilt[ACCEL_AXIS_X..ACCEL_AXIS_Y]:0.0 TEST.VALUE:Accel.<>.tiltErrorDetected:1 @@ -428,11 +428,11 @@ TEST.MCDC_BASIS_PATH:2 of 2 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) if ((1) == isNewCalibrationRecordAvailable()) ==> TRUE - Row number 1 forms a pair with Row 2 for Condition #1, subcondition "a". - Condition a ==> TRUE - Test Case Generation Notes: +Test Path 2 +(1) if ((1) == isNewCalibrationRecordAvailable()) ==> 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:Accel.<>.accelState:ACCELEROMETER_START_STATE TEST.VALUE:uut_prototype_stubs.isNewCalibrationRecordAvailable.return:1 @@ -635,6 +635,15 @@ TEST.NEW TEST.NAME:execAccelTest_Start TEST.IMPORT_FAILURES: +(E) @LINE: 526 TEST.STUB:Accel.processCalibrationData + >>> Could not find function processCalibrationData + >>> in unit Accel. + >>> Value Line Error - Command Ignored +(E) @LINE: 526 + >>> Could not stub Accel.processCalibrationData +(E) @LINE: 528 TEST.VALUE:Accel.processCalibrationData.return:1 + >>> Subprogram 'processCalibrationData' is invalid + >>> Command Ignored (E) Errors from previous script import(s) >>> (E) @LINE: 363 TEST.VALUE:Accel.<>.accelCalOffsets[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0.0 >>> >>> Unknown parameter/object name accelCalOffsets @@ -665,9 +674,7 @@ >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: -TEST.STUB:Accel.processCalibrationData TEST.VALUE:Accel.<>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_START -TEST.VALUE:Accel.processCalibrationData.return:1 TEST.EXPECTED:Accel.<>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_IN_PROGRESS TEST.EXPECTED:Accel.execAccelTest.return:SELF_TEST_STATUS_IN_PROGRESS TEST.END @@ -678,15 +685,22 @@ TEST.NEW TEST.NAME:execAccelTest_Start_NoCalibration TEST.IMPORT_FAILURES: +(E) @LINE: 545 TEST.STUB:Accel.processCalibrationData + >>> Could not find function processCalibrationData + >>> in unit Accel. + >>> Value Line Error - Command Ignored +(E) @LINE: 545 + >>> Could not stub Accel.processCalibrationData +(E) @LINE: 547 TEST.VALUE:Accel.processCalibrationData.return:0 + >>> Subprogram 'processCalibrationData' is invalid + >>> Command Ignored (E) Errors from previous script import(s) >>> (E) @LINE: 364 TEST.VALUE:uut_prototype_stubs.getCalibrationData.return:0 >>> >>> Could not find function getCalibrationData >>> >>> in unit uut_prototype_stubs. >>> >>> Value Line Error - Command Ignored TEST.END_IMPORT_FAILURES: -TEST.STUB:Accel.processCalibrationData TEST.VALUE:Accel.<>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_START -TEST.VALUE:Accel.processCalibrationData.return:0 TEST.EXPECTED:Accel.<>.accelSelfTestState:ACCELEROMETER_SELF_TEST_STATE_COMPLETE TEST.EXPECTED:Accel.execAccelTest.return:SELF_TEST_STATUS_FAILED TEST.END @@ -1342,46 +1356,6 @@ TEST.EXPECTED:Accel.<>.accelTilt[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0.0 TEST.END --- Subprogram: processCalibrationData - --- Test Case: processCalibrationData.001 -TEST.UNIT:Accel -TEST.SUBPROGRAM:processCalibrationData -TEST.NEW -TEST.NAME:processCalibrationData.001 -TEST.MCDC_BASIS_PATH:2 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 2 - (1) if ((0) == calData.calibrationTime) ==> 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:Accel.processCalibrationData.return:0 -TEST.VALUE:uut_prototype_stubs.getHDAccelerometerSensorCalibrationRecord.return.calibrationTime:0 -TEST.EXPECTED:Accel.processCalibrationData.return:0 -TEST.END - --- Test Case: processCalibrationData.002 -TEST.UNIT:Accel -TEST.SUBPROGRAM:processCalibrationData -TEST.NEW -TEST.NAME:processCalibrationData.002 -TEST.MCDC_BASIS_PATH:1 of 2 -TEST.NOTES: -This is an automatically generated test case. - Test Path 1 - (1) if ((0) == calData.calibrationTime) ==> 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:Accel.processCalibrationData.return:1 -TEST.VALUE:uut_prototype_stubs.getHDAccelerometerSensorCalibrationRecord.return.calibrationTime:1 -TEST.EXPECTED:Accel.processCalibrationData.return:1 -TEST.END - -- Subprogram: publishAccelData -- Test Case: publishAccelData_NotTimeToPublish @@ -1474,12 +1448,12 @@ TEST.MCDC_BASIS_PATH:2 of 4 TEST.NOTES: This is an automatically generated test case. - Test Path 2 - (1) for (axis < (NUM_OF_ACCEL_AXES)) ==> 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 Path 2 +(1) for (axis < (NUM_OF_ACCEL_AXES)) ==> 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:Accel.<>.accelReadingsTotal[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0.0 TEST.VALUE:Accel.<>.accelAvgVector[ACCEL_AXIS_X..ACCEL_AXIS_Z]:0.0