MTest Sequence Report: TS_OBST_DET_002 - Down-ramp of front ultrasound sensor signal with reverse drive command

MTest Project: MTest Demo EV3Control_ec Batch Project
MTest Test Object: ObstacleDetection (model: ObstacleDetection_demo_ec)
MTest Test Group: Testing obstacle detection using MTCD (Test001)
MTest User: MTest Demo User
Generated at: 2019-10-29 09:48

Contents    [Requirement Catalog]    [Test Sequence Catalog]    [Signal Comparison Catalog]    [Assessment Catalog]    [Assessment Result Matrices]     <

  1. 1 TSeq002: Down-ramp of front ultrasound sensor signal with reverse drive command
    1. 1.1 Simulation Parameters and Testbed
    2. 1.2 Structural Coverage
  2. 2 Test Input (Test Data)
  3. 3 Test Output (Test Results)
  4. 4 Test Release (ObstacleDetection_Test001_TSeq002), Status:  Passed 

Version info

ToolVersion
MES Test ManagerMTest v 6.4
MATLAB9.5 (R2018b)
Simulink9.2 (R2018b)
Stateflow9.2 (R2018b)
Operating SystemMicrosoft Windows 7 Professional Version 6.1 (Build 7601: Service Pack 1)

1 TSeq002: Down-ramp of front ultrasound sensor signal with reverse drive command    [Contents]

TestSeq ID: TS_OBST_DET_002
Reqs Covered: REQ_OBST_DET_03
Work Status: reviewed
Description: Test description
We ramp down the ultrasound sensor signal value. Later we command reverse drive.

Expected Result
Once sensor signal value falls below DIST_OBSTACLE_EVADE the output obstacleDetected should be true.

Once sensor signal value falls below DIST_OBSTACLE_STOP the output emergencyStopObstacle should be true.

Once reverse drive is comanded, the output emergencyStopObstacle should be false.
TestGroup
Initialization: 
// Initialization of input signals (this test group)
remoteCtrlCmd = 0;
usSensorFront = 0;


// Default definition of parameters
 p DIST_OBSTACLE_EVADE = 40;
 p DIST_OBSTACLE_STOP = 15;
 p REMOTE_DRIVE_REV = 8;
TestSequence
Initialization: 
// Initialization of input signals (this sequence)
usSensorFront = 255;
    Action:  [+0.5s] // System initialization
   usSensorFront = ramp(0);
[+1.0s]
   remoteCtrlCmd = REMOTE_DRIVE_REV;
[+0.5s]

1.1 Simulation Parameters and Testbed

Start Time Stop Time Cycle Time Solver
020.05FixedStepDiscrete

 

Simulation Mode Simulation Time Testbed Name Testbed Path Testbed Date
ECModelFloat 29-Oct-2019 09:47:39 Frame_Obst_ec Test/Test_ObstacleDetection_demo_ec/ObstacleDetection/ 29-Oct-2019 09:47:53
ECModelFixed 29-Oct-2019 09:47:59 Frame_Obst_ec Test/Test_ObstacleDetection_demo_ec/ObstacleDetection/ 29-Oct-2019 09:47:53

1.2 Structural Coverage

ToolMetricPercentageTargetTotalReachedUnreached
Model Coverage Condition 100.0%
80% 18 18 0
Decision 75.0%
80% 8 6 2

Aggregated coverage results: Test Sequence Catalog

2 Test Input (Test Data)    [Contents]

   [Go to Parameter Report of Test Object]

Input SignalConstant Signal
remoteCtrlCmd  no
usSensorFront  no
Signal remoteCtrlCmd / ObstacleDetection_Test001_TSeq002 Signal usSensorFront / ObstacleDetection_Test001_TSeq002

3 Test Output (Test Results)    [Contents]

Output SignalConstant SignalDifference
emergencyStopObstacle  nono
obstacleDetection  nono
Signal emergencyStopObstacle / ObstacleDetection_Test001_TSeq002 Signal obstacleDetection / ObstacleDetection_Test001_TSeq002

4 Test Release (ObstacleDetection_Test001_TSeq002), Status:  Passed     [Contents]

Evaluation Result: Passed 
automatically evaluated by:MTest Demo User    (29-Oct-2019 09:48:08)
Assessment Results: Assessment evaluation in sim mode Global:  Passed 

   Passed  mars_REQ_OBST_DET_01: OK.
   Passed  mars_REQ_OBST_DET_02: OK.
   Passed  mars_REQ_OBST_DET_03: OK.
Back2Back Results: Back2Back signal comparison of sim mode SiL (EC)/out vs. MiL (EC)/out:  Passed 

   Passed  emergencyStopObstacle: OK
   Passed  obstacleDetection: OK