Coverage Report for Frame_Mana_ec

Table of Contents

  1. Analysis Information
  2. Tests
  3. Summary
  4. Details

Analysis Information

Model Information

  Model version   Not Unique
  Author   KSchmidt
  Last saved   Not Unique

Simulation Optimization Options

  Default parameter behavior   tunable
  Block reduction   off
  Conditional branch optimization   off

Coverage Options

  Analyzed model   Frame_Mana_ec
  Logic block short circuiting   off

Tests

Test# Started execution Ended execution
Test 1 29-Oct-2019 09:37:39 29-Oct-2019 09:38:06

Summary

Model Hierarchy/Complexity Test 1  
Decision Condition Execution  
1. Frame_Mana_ec 23 94%
   
100%
   
100%
   
 
2. . . . ManageVehicleStates 22 94%
   
100%
   
100%
   
 
3. . . . . . . Chart 21 94%
   
100%
   
NA  
4. . . . . . . . . . SF: ManageVehicleStates/Chart 20 94%
   
100%
   
NA  
5. . . . . . . . . . . . . SF: VehicleControlOn 8 94%
   
NA NA  
6. . . . . . . . . . . . . . . . SF: ManualDrive 4 100%
   
NA NA  
7. . . . . . . HoldAfterTouch 1 100%
   
NA 100%
   
 
8. . . . TestData   NA NA 100%
   
 
9. . . . TestOutput   NA NA 100%
   
 

Details

1. Model "Frame_Mana_ec"

Child Systems: ManageVehicleStates,  TestData,  TestOutput

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 1 23
Condition NA 100% (8/8) condition outcomes
Decision NA 94% (34/36) decision outcomes
Execution NA 100% (25/25) objective outcomes

   Full Coverage

Model Object Metric
DataTypeConversion block "DataTypeConversion_Input1" Execution
DataTypeConversion block "DataTypeConversion_Input2" Execution
DataTypeConversion block "DataTypeConversion_Input3" Execution
DataTypeConversion block "DataTypeConversion_Output1" Execution
DataTypeConversion block "DataTypeConversion_Output2" Execution
DataTypeConversion block "DataTypeConversion_Output3" Execution
DataTypeConversion block "DataTypeConversion_Output4" Execution
DataTypeConversion block "DataTypeConversion_Output5" Execution
DataTypeConversion block "DataTypeConversion_Output6" Execution
ZeroOrderHold block "ZeroOrderHold1" Execution
ZeroOrderHold block "ZeroOrderHold2" Execution
ZeroOrderHold block "ZeroOrderHold3" Execution

2. SubSystem block "ManageVehicleStates"

Justify or Exclude
Parent: /Frame_Mana_ec
Child Systems: Chart,  HoldAfterTouch

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 0 22
Condition NA 100% (8/8) condition outcomes
Decision NA 94% (34/36) decision outcomes
Execution NA 100% (4/4) objective outcomes

   Full Coverage

Model Object Metric
BusCreator block "Bus Creator" Execution

3. SubSystem block "Chart"

Justify or Exclude
Parent: Frame_Mana_ec/ManageVehicleStates
Child Systems: ManageVehicleStates/Chart

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 1 21
Condition NA 100% (8/8) condition outcomes
Decision NA 94% (32/34) decision outcomes

4. Chart "ManageVehicleStates/Chart"

Justify or Exclude
Parent: Frame_Mana_ec/ManageVehicleStates/Chart
Child Systems: VehicleControlOn

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 3 20
Condition NA 100% (8/8) condition outcomes
Decision 100% (4/4) decision outcomes 94% (32/34) decision outcomes
  Decisions analyzed
  Substate executed  100%
      State "EmergencyStop" 79/802
      State "VehicleControlOff" 105/802
      State "VehicleControlOn" 401/802
      State "VehicleIdle" 217/802

   Transition "[remoteControl == REMOTE_STOP]" from "EmergencyStop" to "VehicleControlOff"

Justify or Exclude
Parent: Frame_Mana_ec/ManageVehicleStates/Chart
Uncovered Links:  Next uncovered object

Metric Coverage
Cyclomatic Complexity 1
Decision 50% (1/2) decision outcomes
1  [remoteControl == REMOTE_STOP]

#1: [remoteControl == REMOTE_STOP]

  Decisions analyzed
  remoteControl == REMOTE_STOP  50%
      false 79/79
      true 0/79


   Full Coverage

Model Object Metric
Transition "[gyroReady == true && ... remoteControl..." from "VehicleControlOff" to "VehicleIdle" Condition, Decision
Transition "[remoteControl == REMOTE_STOP]" from "VehicleControlOn" to "VehicleControlOff" Decision
Transition "[emergencyStopObstacle == true && ... r..." from "VehicleControlOn" to "EmergencyStop" Condition, Decision
Transition "[remoteControl == REMOTE_START]" from "VehicleIdle" to "VehicleControlOn" Decision
Transition "[remoteControl == REMOTE_START]" from "VehicleControlOff" to "VehicleControlOn" Decision
Transition "[remoteControl == REMOTE_DRIVE_REV]" from "EmergencyStop" to "VehicleControlOn" Decision

5. State "VehicleControlOn"

Justify or Exclude
Parent: Frame_Mana_ec/ManageVehicleStates/Chart
Child Systems: ManualDrive
Uncovered Links:  Previous uncovered object

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 2 8
Decision 75% (3/4) decision outcomes 94% (15/16) decision outcomes
  Decisions analyzed
  Substate executed  100%
      State "ControlledDrive" 100/397
      State "ManualDrive" 297/397
  Substate exited when parent exits  50%
      State "ControlledDrive" 0/4
      State "ManualDrive" 4/4

   Full Coverage

Model Object Metric
Transition "[remoteControl == REMOTE_DRIVE_AUTO_ON]" from "ManualDrive" to "ControlledDrive" Decision
Transition "[remoteControl == REMOTE_DRIVE_AUTO_OFF]" from "ControlledDrive" to "ManualDrive" Decision

6. State "ManualDrive"

Justify or Exclude
Parent: Frame_Mana_ec/ManageVehicleStates/Chart.VehicleControlOn

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 2 4
Decision 100% (4/4) decision outcomes 100% (8/8) decision outcomes
  Decisions analyzed
  Substate executed  100%
      State "FWD" 162/296
      State "REV" 134/296
  Substate exited when parent exits  100%
      State "FWD" 4/5
      State "REV" 1/5

   Full Coverage

Model Object Metric
Transition "[remoteControl == REMOTE_DRIVE_FWD]" from "REV" to "FWD" Decision
Transition "[remoteControl == REMOTE_DRIVE_REV]" from "FWD" to "REV" Decision

7. SubSystem block "HoldAfterTouch"

Justify or Exclude
Parent: Frame_Mana_ec/ManageVehicleStates

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 0 1
Decision NA 100% (2/2) decision outcomes
Execution NA 100% (3/3) objective outcomes

   Full Coverage

Model Object Metric
Switch block "holdSwitch" Decision, Execution
DataTypeConversion block "DataTypeConversion" Execution
UnitDelay block "Unit Delay" Execution

8. SubSystem block "TestData"

Justify or Exclude
Parent: /Frame_Mana_ec

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 0 0
Execution NA 100% (3/3) objective outcomes

   Full Coverage

Model Object Metric
FromWorkspace block "FromWS_emergencyStopObstacle" Execution
FromWorkspace block "FromWS_gyroReady" Execution
FromWorkspace block "FromWS_remoteCtrlCmd" Execution

9. SubSystem block "TestOutput"

Justify or Exclude
Parent: /Frame_Mana_ec

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 0 0
Execution NA 100% (6/6) objective outcomes

   Full Coverage

Model Object Metric
ToWorkspace block "ToWS_EmergencyStop" Execution
ToWorkspace block "ToWS_VehicleControlOff" Execution
ToWorkspace block "ToWS_VehicleControlOn" Execution
ToWorkspace block "ToWS_VehicleIdle" Execution
ToWorkspace block "ToWS_autopilot" Execution
ToWorkspace block "ToWS_gear" Execution