MTest Requirement Catalog: MTest Demo EV3Control_ec Batch Project

MTest Project: MTest Demo EV3Control_ec Batch Project
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. Test Model: EV3Control_demo_ec
    1. Test Object: EV3Control
  2. Test Model: GlobalPosition_demo_ec
    1. Test Object: GlobalPosition
  3. Test Model: ManageVehicleStates_demo_ec
    1. Test Object: ManageVehicleStates
  4. Test Model: ObstacleDetection_demo_ec
    1. Test Object: ObstacleDetection

Requirement Evaluation of Entire Project    [Contents]

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
Test Project
 
19000000

1. Test Model: EV3Control_demo_ec    [Contents]

Validation Mode: Embedded Coder

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
EV3Control_demo_ec
 
5000000

1.1 Test Object: EV3Control    [Contents]

Requirements Specification Baseline: v1         (imported: 29-Oct-2019 09:42:20)

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
EV3Control
 
5000000

RequirementLinked ItemsRequirement DescriptionAdditional 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

 

2. Test Model: GlobalPosition_demo_ec    [Contents]

Validation Mode: Embedded Coder

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
GlobalPosition_demo_ec
 
3000000

2.1 Test Object: GlobalPosition    [Contents]

Requirements Specification Baseline: v1         (imported: 29-Oct-2019 09:40:37)

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
GlobalPosition
 
3000000

RequirementLinked ItemsRequirement DescriptionAdditional 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

 

3. Test Model: ManageVehicleStates_demo_ec    [Contents]

Validation Mode: Embedded Coder

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
ManageVehicleStates_demo_ec
 
8000000

3.1 Test Object: ManageVehicleStates    [Contents]

Requirements Specification Baseline: v1         (imported: 29-Oct-2019 09:36:41)

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
ManageVehicleStates
 
8000000

RequirementLinked ItemsRequirement DescriptionAdditional 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

 

4. Test Model: ObstacleDetection_demo_ec    [Contents]

Validation Mode: Embedded Coder

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
ObstacleDetection_demo_ec
 
3000000

4.1 Test Object: ObstacleDetection    [Contents]

Requirements Specification Baseline: v1         (imported: 29-Oct-2019 09:47:10)

Requirement State
MetricPercentageTargetTotalReachedUnreached
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 DistributionPercentagePassedNotTriggeredUnknownReviewFailedErrorNone
ObstacleDetection
 
3000000

RequirementLinked ItemsRequirement DescriptionAdditional 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