MTest Project: | MTest Demo EV3Control_ec Batch Project |
MTest User: | MTest Demo User |
Generated at: | 2019-10-29 09:48 |
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 19 | 19 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 19 | 19 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 19 | 19 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 19 | 19 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 19 | 19 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
Test Project |
|
19 | 0 | 0 | 0 | 0 | 0 | 0 |
|
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 5 | 5 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 5 | 5 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 5 | 5 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 5 | 5 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 5 | 5 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
EV3Control_demo_ec |
|
5 | 0 | 0 | 0 | 0 | 0 | 0 |
|
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 5 | 5 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 5 | 5 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 5 | 5 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 5 | 5 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 5 | 5 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
EV3Control |
|
5 | 0 | 0 | 0 | 0 | 0 | 0 |
Requirement | Linked Items | Requirement Description | Additional Document Fields |
---|---|---|---|
REQ_EV3CTRL_01: Passed (EV3Control) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_EV3CTRL_011 mars_REQ_EV3CTRL_012 Test Sequences 1: TS_EV3Control_001 |
The output signals for both motors shall be zero until gyro sensor is initalized and the user starts the car with the remote control |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_EV3CTRL_02: Passed (EV3Control) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_EV3CTRL_021 mars_REQ_EV3CTRL_022 Test Sequences 2: TS_EV3Control_002 3: TS_EV3Control_003 |
The output signal for both motors shall be less than or equal to zero while the ultrasound sensor detects an obstacle closer than parameter EMERGENCY_STOP_OBSTACLE | Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_EV3CTRL_03: Passed (EV3Control) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_EV3CTRL_031 mars_REQ_EV3CTRL_032 Test Sequences 4: TS_EV3Control_004 |
When the user stops the car via remote control the vehicle shall stop driving | Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_EV3CTRL_04: Passed (EV3Control) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_EV3CTRL_041 mars_REQ_EV3CTRL_042 Test Sequences 5: TS_EV3Control_005 |
The position shall change only when the drive motor is active | Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_EV3CTRL_05: Passed (EV3Control) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_EV3CTRL_05 Test Sequences 6: TS_EV3Control_006 |
The y position shall change only when the drive motor is active and gyro is nonzero | Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
|
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 3 | 3 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 3 | 3 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
GlobalPosition_demo_ec |
|
3 | 0 | 0 | 0 | 0 | 0 | 0 |
|
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 3 | 3 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 3 | 3 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
GlobalPosition |
|
3 | 0 | 0 | 0 | 0 | 0 | 0 |
Requirement | Linked Items | Requirement Description | Additional Document Fields |
---|---|---|---|
REQ_GLB_POS_01: Passed (GlobalPosition) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_GLB_POS_011 mars_REQ_GLB_POS_012 Test Sequences 1: TS_GLB_POS_001 2: TS_GLB_POS_002 3: TS_GLB_POS_003 |
The x-position is computed by the summing the product of the covered distance increment (s_k) and the COSINE of the measured yaw angle (psi_k), i.e.: x = SUM(s_k * cos(psi_k))_k. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_GLB_POS_02: Passed (GlobalPosition) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_GLB_POS_021 mars_REQ_GLB_POS_022 Test Sequences 1: TS_GLB_POS_001 2: TS_GLB_POS_002 3: TS_GLB_POS_003 |
The y-position is computed by the summing the product of the covered distance increment (s_k) and the SINE of the measured yaw angle (psi_k), i.e.: x = SUM(s_k * cos(psi_k))_k. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_GLB_POS_03: Passed (GlobalPosition) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_GLB_POS_03 Test Sequences 1: TS_GLB_POS_001 2: TS_GLB_POS_002 3: TS_GLB_POS_003 |
The covered distance increment (s_k) is computed by the product of wheel-size-per-degree (L_k) x gear ratio (i) x wheel rotation angle (phi_k), i.e.: s_k = L_k * i * phi_k |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
|
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 8 | 8 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 8 | 8 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 8 | 8 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 8 | 8 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 8 | 8 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
ManageVehicleStates_demo_ec |
|
8 | 0 | 0 | 0 | 0 | 0 | 0 |
|
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 8 | 8 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 8 | 8 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 8 | 8 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 8 | 8 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 8 | 8 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
ManageVehicleStates |
|
8 | 0 | 0 | 0 | 0 | 0 | 0 |
Requirement | Linked Items | Requirement Description | Additional Document Fields |
---|---|---|---|
REQ_MVS_01: Passed (ManageVehicleStates) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_MVS_01 Test Sequences 1: TS_MVS_001 2: TS_MVS_002 7: TS_MVS_007 |
The transition from state ´VehicleControlOff´ or ´VehicleIdle´ to state ´VehicleControlOn´ should occur as soon as ´remoteCtrlCmd´ is set to ´REMOTE_START´. Verification criteria: Check if state switches to VehicleControlOn from either VehicleControlOff or VehicleIdle when remoteCtrlCmd is set to REMOTE_START. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_MVS_02: Passed (ManageVehicleStates) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_MVS_02 Test Sequences 3: TS_MVS_003 |
The transition from state ´VehicleControlOn´ or ´EmergencyStop´ to state ´VehicleControlOff´ should occur as soon as ´remoteCtrlCmd´ is set to ´REMOTE_STOP´. Verification criteria: Check if state switches to ´VehicleControlOff´ from either ´VehicleControlOn´ or Emergency when ´remoteCtrlCmd´ is set to ´REMOTE_STOP´. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_MVS_03: Passed (ManageVehicleStates) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_MVS_031 mars_REQ_MVS_032 Test Sequences 2: TS_MVS_002 3: TS_MVS_003 7: TS_MVS_007 |
The transition from state ´VehicleControlOff´ to state ´VehicleIdle´ should occur as soon as ´gyroReady´ is true and ´remoteCtrlCmd´ is not set to ´REMOTE_STOP´. Verification criteria: Check if state switches to ´VehicleIdle´ from ´VehicleControlOff´ when ´gyroReady´ is true and ´remoteCtrlCmd´ is not set to ´REMOTE_STOP´. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_MVS_04: Passed (ManageVehicleStates) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_MVS_04 Test Sequences 4: TS_MVS_004 |
The transition from state ´VehicleControlOn´ to state ´EmergencyStop´ should occur as soon as ´EmergencyStopObstacle´ is set to true and ´remoteCtrlCmd´ is not set to ´REMOTE_DRIVE_REV´. Verification criteria: Check if state switches to ´EmergencyStop´ from ´VehicleControlOn´ when ´EmergencyStop´Obstacle is true. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_MVS_05: Passed (ManageVehicleStates) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_MVS_051 mars_REQ_MVS_052 Test Sequences 5: TS_MVS_005 |
While state ´VehicleControlOn´ state is active, ´autopilot´ should be activated as soon as ´remoteCtrlCmd´ is set to ´REMOTE_DRIVE_AUTO_ON´ until ´remoteCtrlCmd´ is set back to ´REMOTE_DRIVE_AUTO_OFF´ . Verification criteria: ´autopilot´ = 1 while ´VehicleControlOn´ state is true and when ´remoteCtrlCmd´ is set to ´REMOTE_DRIVE_AUTO_ON´ otherwise ´autopilot´ = 0. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_MVS_06: Passed (ManageVehicleStates) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_MVS_06 Test Sequences 3: TS_MVS_003 4: TS_MVS_004 5: TS_MVS_005 |
While state ´VehicleControlOn´ is active and ´autopilot´ is inactive, the vehicle should move in forward direction until ´remoteCtrlCmd´ is set to ´REMOTE_DRIVE_REV´ and it should again move in forward direction as soon as ´remoteCtrlCmd´ is set back to ´REMOTE_DRIVE_FWD´ or ´REMOTE_DRIVE_AUTO_ON´. Verification criteria: Check if ´gear´ = 1 while state ´VehicleControlOn´ is active and ´remoteCtrlCmd´ is set to ´REMOTE_DRIVE_FWD´ or ´REMOTE_DRIVE_AUTO_ON´. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_MVS_07: Passed (ManageVehicleStates) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_MVS_07 Test Sequences 3: TS_MVS_003 4: TS_MVS_004 |
While state ´VehicleControlOn´ is active and ´autopilot´ is inactive, vehicle should move in reverse direction as soon as ´remoteCtrlCmd´ is set to ´REMOTE_DRIVE_REV´ until ´remoteCtrlCmd´ is set back to ´REMOTE_DRIVE_FWD´ or ´REMOTE_DRIVE_AUTO_ON´. Verification criteria: Check if ´gear´ = -1 while state ´VehicleControlOn´ is true , ´autopilot´ = 0 and ´remoteCtrlCmd´ is set to ´REMOTE_DRIVE_REV´. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_MVS_08: Passed (ManageVehicleStates) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_MVS_08 Test Sequences 6: TS_MVS_006 |
While any of the states ´VehicleControlOff´ or ´VehicleIdle´ or ´EmergencyStop´ is active, vehicle should not move. Verification criteria: Check if ´gear´ = 0 while the state ´VehicleControlOff´ or ´VehicleIdle´ or ´EmergencyStop´ is true. |
Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
|
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 3 | 3 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 3 | 3 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
ObstacleDetection_demo_ec |
|
3 | 0 | 0 | 0 | 0 | 0 | 0 |
|
Requirement State | |||||||||||||||||||
Metric | Percentage | Target | Total | Reached | Unreached | ||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Testable Requirements | 100.0% | - | 3 | 3 | 0 | ||||||||||||||
Requirements with Reviewed Testability | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Testable Requirements with Test Sequences | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Testable Requirements with Assessments | 100.0% | 100% | 3 | 3 | 0 | ||||||||||||||
Requirements Compliance | 100.0% | 100% | 3 | 3 | 0 |
Result Distribution | |||||||||||
Requirement Result Distribution | Percentage | Passed | NotTriggered | Unknown | Review | Failed | Error | None | |||
---|---|---|---|---|---|---|---|---|---|---|---|
ObstacleDetection |
|
3 | 0 | 0 | 0 | 0 | 0 | 0 |
Requirement | Linked Items | Requirement Description | Additional Document Fields |
---|---|---|---|
REQ_OBST_DET_01: Passed (ObstacleDetection) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_OBST_DET_01 Test Sequences 1: TS_OBST_DET_001 |
An obstacle shall be signalized once the front ultrasound sensor provides a signal lower than DIST_OBSTACLE_EVADE | Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_OBST_DET_02: Passed (ObstacleDetection) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_OBST_DET_02 Test Sequences 1: TS_OBST_DET_001 |
An emergency stop shall be signalized once the ultrasound sensor provides a signal lower than DIST_OBSTACLE_STOP | Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |
REQ_OBST_DET_03: Passed (ObstacleDetection) Testability Status: Yes Review Status: reviewed (derived) | Assessments mars_REQ_OBST_DET_03 Test Sequences 2: TS_OBST_DET_002 |
The emergency stop shall be reset once reverse drive is commanded | Requirement Type functional requirement Requirement Status not reviewed Original Testability Test |