MTest Sequence Report: TS_MVS_004 - Enter EmergencyStop

MTest Project: MTest Demo EV3Control_ec Batch Project
MTest Test Object: ManageVehicleStates (model: ManageVehicleStates_demo_ec)
MTest Test Group: Vehicle manager functionality testing using MTCD (Test001)
MTest User: MTest Demo User
Generated at: 2019-10-29 09:40

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

  1. 1 TSeq004: Enter EmergencyStop
    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 Local Output Data (Internal Test Results)
  5. 5 Test Release (ManageVehicleStates_Test001_TSeq004), 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 TSeq004: Enter EmergencyStop    [Contents]

TestSeq ID: TS_MVS_004
Reqs Covered: REQ_MVS_04
REQ_MVS_06
REQ_MVS_07
Work Status: reviewed
Description: Motivation
Test if EmergencyStop is entered in all cases when emergencyStopObstacle becomes true accept for the moment, when the vehicle is in mode ManualDrive/REV

Test description
Enter VehicleControlOn by initialization.
Then wait and set emergencyStopObstacle to true. Set remote to DRIVE_REV and enter state REV, change to mode FWD and emergencyStopObstacle to true again. Do the same again without leaving mode REV.

Expected Result
EmergencyStop shall be entered 2 times when emergencyStopObstacle becomes true. The third time the state shall stay state manualDrive/REV
TestGroup
Initialization: 
// Initialization of input signals (this test group)
gyroReady = 0;
remoteCtrlCmd = 0;
emergencyStopObstacle = 0;


// Default definition of parameters
p REMOTE_START = 1;
p REMOTE_STOP = 3;
p REMOTE_DRIVE_FWD = 5;
p REMOTE_DRIVE_REV = 8;
p REMOTE_DRIVE_AUTO_ON = 10;
p REMOTE_DRIVE_AUTO_OFF = 11;
TestSequence
Initialization: 
// initializization to enter VehicleControlOn
gyroReady = 1;
remoteCtrlCmd = REMOTE_START;
    Action:  // EC:
// @remoteValid_rev
// @remoteValid_fwd
// @emergencyValid_true

[+0.3s] // initialization
[+0.8s] // wait
emergencyStopObstacle = 1;
[+1s] // enter EmergencyStop
remoteCtrlCmd = REMOTE_DRIVE_REV;
[+0.7s] // drive a while in state manualDrive/REV
emergencyStopObstacle = 0;
[+0.2s] // left obstacle
remoteCtrlCmd = REMOTE_DRIVE_FWD;
[+1s] // drive fwd again
emergencyStopObstacle = 1;
[+2s] // detect obstacle
remoteCtrlCmd = REMOTE_DRIVE_REV;
[+0.5s] // drive rev
emergencyStopObstacle = 0;
[+1s] // left obstacle
emergencyStopObstacle = 1;
[+2.5s]

1.1 Simulation Parameters and Testbed

Start Time Stop Time Cycle Time Solver
0100.05FixedStepDiscrete

 

Simulation Mode Simulation Time Testbed Name Testbed Path Testbed Date
ECModelFloat 29-Oct-2019 09:37:52 Frame_Mana_ec Test/Test_ManageVehicleStates_demo_ec/ManageVehicleStates/ 29-Oct-2019 09:38:35
ECModelFixed 29-Oct-2019 09:38:55 Frame_Mana_ec Test/Test_ManageVehicleStates_demo_ec/ManageVehicleStates/ 29-Oct-2019 09:38:35

1.2 Structural Coverage

ToolMetricPercentageTargetTotalReachedUnreached
Model Coverage Condition 50.0%
80% 8 4 4
Decision 58.3%
80% 36 21 15

Aggregated coverage results: Test Sequence Catalog

2 Test Input (Test Data)    [Contents]

   [Go to Parameter Report of Test Object]

Input SignalConstant Signal
emergencyStopObstacle  no
gyroReady  value:  1
remoteCtrlCmd  no
Signal emergencyStopObstacle / ManageVehicleStates_Test001_TSeq004 Signal remoteCtrlCmd / ManageVehicleStates_Test001_TSeq004

3 Test Output (Test Results)    [Contents]

Output SignalConstant SignalDifference
EmergencyStop  nono
VehicleControlOff  nono
VehicleControlOn  nono
VehicleIdle  value:  0no
autopilot  value:  0no
gear  nono
Signal EmergencyStop / ManageVehicleStates_Test001_TSeq004 Signal VehicleControlOff / ManageVehicleStates_Test001_TSeq004 Signal VehicleControlOn / ManageVehicleStates_Test001_TSeq004 Signal gear / ManageVehicleStates_Test001_TSeq004

4 Local Output Data (Internal Test Results)    [Contents]

Local SignalConstant SignalDifference
ControlledDrive  nono
FWD  nono
REV  nono
Signal ControlledDrive / ManageVehicleStates_Test001_TSeq004 Signal FWD / ManageVehicleStates_Test001_TSeq004 Signal REV / ManageVehicleStates_Test001_TSeq004

5 Test Release (ManageVehicleStates_Test001_TSeq004), Status:  Passed     [Contents]

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

   NotTriggered  mars_REQ_MVS_01: Not triggered.
   NotTriggered  mars_REQ_MVS_02: Not triggered.
   NotTriggered  mars_REQ_MVS_031: Not triggered.
   NotTriggered  mars_REQ_MVS_032: Not triggered.
   Passed  mars_REQ_MVS_04: OK.
   NotTriggered  mars_REQ_MVS_051: Not triggered.
   NotTriggered  mars_REQ_MVS_052: Not triggered.
   NotTriggered  mars_REQ_MVS_06: Not triggered.
   Passed  mars_REQ_MVS_07: OK.
   Passed  mars_REQ_MVS_08: OK.
Back2Back Results: Back2Back signal comparison of sim mode SiL (EC)/out vs. MiL (EC)/out:  Passed 

   Passed  EmergencyStop: OK
   Passed  VehicleControlOff: OK
   Passed  VehicleControlOn: OK
   Passed  VehicleIdle: OK
   Passed  autopilot: OK
   Passed  gear: OK