Coverage Report for AHRS_voter

Table of Contents

  1. Analysis Information
  2. Aggregated Tests
  3. Summary
  4. Details
  5. Signal Ranges

Analysis Information

Model Information

  Model version   1.69
  Author   bpotter
  Last saved   Wed May 13 13:30:04 2020

Harness information

  Harness model(s)   Not Unique
  Harness model owner   AHRS_voter

Simulation Optimization Options

  Default parameter behavior   inlined
  Block reduction   off
  Conditional branch optimization   on

Coverage Options

  Analyzed model   AHRS_voter
  Logic block short circuiting   off

Aggregated Tests

Run Test Name Date
Model: "AHRS_voter"
T1 Mid Value Voting Test Case 13-May-2020 13:37:50
T2 Average Value Voting Test Case 13-May-2020 13:37:55
T3 Single Value Voting Test Case 13-May-2020 13:37:59

Summary

Model Hierarchy/Complexity  
Decision Execution  
1. AHRS_voter 38 97% (59/61)
   
 100% (18/18)
   
  
2. . . . Avg_Value 4 100% (6/6)
   
 100% (6/6)
   
  
3. . . . Mid_Value 26 98% (44/45)
   
 100% (4/4)
   
  
4. . . . Single_Value 4 100% (6/6)
   
 100% (5/5)
   
  

Details

1. Model "AHRS_voter"

Child Systems: Avg_Value,  Mid_Value,  Single_Value

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 1 38
Decision NA 97% (59/61) decision outcomes
Execution NA 100% (18/18) objective outcomes

   MultiPortSwitch block "MultiportSwitch"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Validity Check Single Value Voting Test Case T3
Average Value Voting Test Case T2
Mid Value Voting Test Case T1
AHRS Voting for Triple Sensors Mid Value Voting Test Case T1
AHRS Voting for Dual Sensors Average Value Voting Test Case T2
AHRS Usage of Single Sensor Single Value Voting Test Case T3

Parent: /AHRS_voter
Uncovered Links:  Next uncovered object

Metric Coverage
Cyclomatic Complexity 3
Decision 75% (3/4) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  integer input value  75%
      = 0 (output is from input port 0) 0/3003
      = 1 (output is from input port 1) 1001/3003
      = 2 (output is from input port 2) 1001/3003
      = *,3 (output is from input port 3) 1001/3003
  Execution analyzed
  Block executed  100%
      3003/3003

   Sum block "Sum"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Validity Check Single Value Voting Test Case T3
Average Value Voting Test Case T2
Mid Value Voting Test Case T1

Parent: /AHRS_voter

Metric Coverage
Cyclomatic Complexity 0
Execution 100% (1/1) objective outcomes
  Execution analyzed
  Block executed  100%
      3003/3003

   Constant block "Constant"

Justify or Exclude
Parent: /AHRS_voter

Metric Coverage
Cyclomatic Complexity 0
Execution 100% (1/1) objective outcomes
  Execution analyzed
  Block executed  100%
      3/3

2. SubSystem block "Avg_Value"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Dual Sensors Average Value Voting Test Case T2

Parent: /AHRS_voter

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

   Switch block "Switch"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Dual Sensors Average Value Voting Test Case T2

Parent: AHRS_voter/Avg_Value

Metric Coverage
Cyclomatic Complexity 1
Decision 100% (2/2) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  logical trigger input  100%
      false (output is from 3rd input port) 1699/3003
      true (output is from 1st input port) 1304/3003
  Execution analyzed
  Block executed  100%
      3003/3003

   Switch block "Switch1"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Dual Sensors Average Value Voting Test Case T2

Parent: AHRS_voter/Avg_Value

Metric Coverage
Cyclomatic Complexity 1
Decision 100% (2/2) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  logical trigger input  100%
      false (output is from 3rd input port) 1001/3003
      true (output is from 1st input port) 2002/3003
  Execution analyzed
  Block executed  100%
      3003/3003

   Switch block "Switch2"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Dual Sensors Average Value Voting Test Case T2

Parent: AHRS_voter/Avg_Value

Metric Coverage
Cyclomatic Complexity 1
Decision 100% (2/2) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  logical trigger input  100%
      false (output is from 3rd input port) 303/3003
      true (output is from 1st input port) 2700/3003
  Execution analyzed
  Block executed  100%
      3003/3003

   Gain block "Gain"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Dual Sensors Average Value Voting Test Case T2

Parent: AHRS_voter/Avg_Value

Metric Coverage
Cyclomatic Complexity 0
Execution 100% (1/1) objective outcomes
  Execution analyzed
  Block executed  100%
      3003/3003

   Sum block "Sum"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Dual Sensors Average Value Voting Test Case T2

Parent: AHRS_voter/Avg_Value

Metric Coverage
Cyclomatic Complexity 0
Execution 100% (1/1) objective outcomes
  Execution analyzed
  Block executed  100%
      3003/3003

   Constant block "Constant"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Dual Sensors Average Value Voting Test Case T2

Parent: AHRS_voter/Avg_Value

Metric Coverage
Cyclomatic Complexity 0
Execution 100% (1/1) objective outcomes
  Execution analyzed
  Block executed  100%
      3/3

3. SubSystem block "Mid_Value"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Triple Sensors Mid Value Voting Test Case T1

Parent: /AHRS_voter

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 1 26
Decision NA 98% (44/45) decision outcomes
Execution NA 100% (4/4) objective outcomes

   MinMax block "MinMax"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Triple Sensors Mid Value Voting Test Case T1

Parent: AHRS_voter/Mid_Value

Metric Coverage
Cyclomatic Complexity 5
Decision 100% (10/10) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  Logic to determine output element 1  100%
      input 1 is the minimum 799/1001
      input 2 is the minimum 202/1001
  Logic to determine output element 2  100%
      input 1 is the minimum 303/1001
      input 2 is the minimum 698/1001
  Logic to determine output element 3  100%
      input 1 is the minimum 101/1001
      input 2 is the minimum 900/1001
  Logic to determine output element 4  100%
      input 1 is the minimum 900/1001
      input 2 is the minimum 101/1001
  Logic to determine output element 5  100%
      input 1 is the minimum 900/1001
      input 2 is the minimum 101/1001
  Execution analyzed
  Block executed  100%
      1001/1001

   MinMax block "MinMax1"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Triple Sensors Mid Value Voting Test Case T1

Parent: AHRS_voter/Mid_Value

Metric Coverage
Cyclomatic Complexity 5
Decision 100% (10/10) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  Logic to determine output element 1  100%
      input 1 is the minimum 202/1001
      input 2 is the minimum 799/1001
  Logic to determine output element 2  100%
      input 1 is the minimum 900/1001
      input 2 is the minimum 101/1001
  Logic to determine output element 3  100%
      input 1 is the minimum 900/1001
      input 2 is the minimum 101/1001
  Logic to determine output element 4  100%
      input 1 is the minimum 303/1001
      input 2 is the minimum 698/1001
  Logic to determine output element 5  100%
      input 1 is the minimum 900/1001
      input 2 is the minimum 101/1001
  Execution analyzed
  Block executed  100%
      1001/1001

   MinMax block "MinMax2"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Triple Sensors Mid Value Voting Test Case T1

Parent: AHRS_voter/Mid_Value

Metric Coverage
Cyclomatic Complexity 5
Decision 100% (10/10) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  Logic to determine output element 1  100%
      input 1 is the minimum 202/1001
      input 2 is the minimum 799/1001
  Logic to determine output element 2  100%
      input 1 is the minimum 900/1001
      input 2 is the minimum 101/1001
  Logic to determine output element 3  100%
      input 1 is the minimum 303/1001
      input 2 is the minimum 698/1001
  Logic to determine output element 4  100%
      input 1 is the minimum 900/1001
      input 2 is the minimum 101/1001
  Logic to determine output element 5  100%
      input 1 is the minimum 101/1001
      input 2 is the minimum 900/1001
  Execution analyzed
  Block executed  100%
      1001/1001

   MinMax block "MinMax3"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Voting for Triple Sensors Mid Value Voting Test Case T1

Parent: AHRS_voter/Mid_Value
Uncovered Links:  Previous uncovered object

Metric Coverage
Cyclomatic Complexity 10
Decision 93% (14/15) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  Logic to determine output element 1  100%
      input 1 is the maximum 202/1001
      input 2 is the maximum 698/1001
      input 3 is the maximum 101/1001
  Logic to determine output element 2  100%
      input 1 is the maximum 202/1001
      input 2 is the maximum 101/1001
      input 3 is the maximum 698/1001
  Logic to determine output element 3  67%
      input 1 is the maximum 202/1001
      input 2 is the maximum 0/1001
      input 3 is the maximum 799/1001
  Logic to determine output element 4  100%
      input 1 is the maximum 799/1001
      input 2 is the maximum 101/1001
      input 3 is the maximum 101/1001
  Logic to determine output element 5  100%
      input 1 is the maximum 101/1001
      input 2 is the maximum 799/1001
      input 3 is the maximum 101/1001
  Execution analyzed
  Block executed  100%
      1001/1001

4. SubSystem block "Single_Value"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Usage of Single Sensor Single Value Voting Test Case T3

Parent: /AHRS_voter

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 1 4
Decision NA 100% (6/6) decision outcomes
Execution NA 100% (5/5) objective outcomes

   Switch block "Switch"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Usage of Single Sensor Single Value Voting Test Case T3

Parent: AHRS_voter/Single_Value

Metric Coverage
Cyclomatic Complexity 1
Decision 100% (2/2) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  logical trigger input  100%
      false (output is from 3rd input port) 1699/3003
      true (output is from 1st input port) 1304/3003
  Execution analyzed
  Block executed  100%
      3003/3003

   Switch block "Switch1"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Usage of Single Sensor Single Value Voting Test Case T3

Parent: AHRS_voter/Single_Value

Metric Coverage
Cyclomatic Complexity 1
Decision 100% (2/2) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  logical trigger input  100%
      false (output is from 3rd input port) 1001/3003
      true (output is from 1st input port) 2002/3003
  Execution analyzed
  Block executed  100%
      3003/3003

   Switch block "Switch2"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Usage of Single Sensor Single Value Voting Test Case T3

Parent: AHRS_voter/Single_Value

Metric Coverage
Cyclomatic Complexity 1
Decision 100% (2/2) decision outcomes
Execution 100% (1/1) objective outcomes
  Decisions analyzed
  logical trigger input  100%
      false (output is from 3rd input port) 303/3003
      true (output is from 1st input port) 2700/3003
  Execution analyzed
  Block executed  100%
      3003/3003

   Sum block "Sum"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Usage of Single Sensor Single Value Voting Test Case T3

Parent: AHRS_voter/Single_Value

Metric Coverage
Cyclomatic Complexity 0
Execution 100% (1/1) objective outcomes
  Execution analyzed
  Block executed  100%
      3003/3003

   Constant block "Constant"

Justify or Exclude

Requirement Testing Details

Implemented Requirements Verified by Tests Associated Runs
AHRS Usage of Single Sensor Single Value Voting Test Case T3

Parent: AHRS_voter/Single_Value

Metric Coverage
Cyclomatic Complexity 0
Execution 100% (1/1) objective outcomes
  Execution analyzed
  Block executed  100%
      3/3

Signal Ranges

Hierarchy Min Max
AHRS_voter  
. . . MultiportSwitch  
. . . . . . out[1] -179 179
. . . . . . out[2] -179 179
. . . . . . out[3] -179 179
. . . . . . out[4] -179 179
. . . . . . out[5] -179 179
. . . Sum   1 3
. . . Constant  
. . . . . . out[1] 0 0
. . . . . . out[2] 0 0
. . . . . . out[3] 0 0
. . . . . . out[4] 0 0
. . . . . . out[5] 0 0
. . . Avg_Value  
. . . . . . Switch  
. . . . . . . . . out[1] -180 180
. . . . . . . . . out[2] -178 179
. . . . . . . . . out[3] -179 180
. . . . . . . . . out[4] -179 178
. . . . . . . . . out[5] -180 178
. . . . . . Switch1  
. . . . . . . . . out[1] -178 179
. . . . . . . . . out[2] -180 180
. . . . . . . . . out[3] -180 179
. . . . . . . . . out[4] -178 179
. . . . . . . . . out[5] -179 180
. . . . . . Switch2  
. . . . . . . . . out[1] -179 178
. . . . . . . . . out[2] -179 178
. . . . . . . . . out[3] -178 178
. . . . . . . . . out[4] -180 180
. . . . . . . . . out[5] -178 179
. . . . . . Gain  
. . . . . . . . . out[1] -268.5 268.5
. . . . . . . . . out[2] -268.5 268.5
. . . . . . . . . out[3] -268.5 268.5
. . . . . . . . . out[4] -268.5 268.5
. . . . . . . . . out[5] -268.5 268.5
. . . . . . Sum  
. . . . . . . . . out[1] -537 537
. . . . . . . . . out[2] -537 537
. . . . . . . . . out[3] -537 537
. . . . . . . . . out[4] -537 537
. . . . . . . . . out[5] -537 537
. . . . . . Constant  
. . . . . . . . . out[1] 0 0
. . . . . . . . . out[2] 0 0
. . . . . . . . . out[3] 0 0
. . . . . . . . . out[4] 0 0
. . . . . . . . . out[5] 0 0
. . . Mid_Value  
. . . . . . MinMax  
. . . . . . . . . out[1] -180 179
. . . . . . . . . out[2] -180 179
. . . . . . . . . out[3] -180 179
. . . . . . . . . out[4] -179 178
. . . . . . . . . out[5] -180 178
. . . . . . MinMax1  
. . . . . . . . . out[1] -179 178
. . . . . . . . . out[2] -180 178
. . . . . . . . . out[3] -180 178
. . . . . . . . . out[4] -180 179
. . . . . . . . . out[5] -179 179
. . . . . . MinMax2  
. . . . . . . . . out[1] -180 178
. . . . . . . . . out[2] -179 178
. . . . . . . . . out[3] -179 178
. . . . . . . . . out[4] -180 178
. . . . . . . . . out[5] -180 178
. . . . . . MinMax3  
. . . . . . . . . out[1] -179 179
. . . . . . . . . out[2] -179 179
. . . . . . . . . out[3] -179 179
. . . . . . . . . out[4] -179 179
. . . . . . . . . out[5] -179 179
. . . Single_Value  
. . . . . . Switch  
. . . . . . . . . out[1] -180 180
. . . . . . . . . out[2] -178 179
. . . . . . . . . out[3] -179 180
. . . . . . . . . out[4] -179 178
. . . . . . . . . out[5] -180 178
. . . . . . Switch1  
. . . . . . . . . out[1] -178 179
. . . . . . . . . out[2] -180 180
. . . . . . . . . out[3] -180 179
. . . . . . . . . out[4] -178 179
. . . . . . . . . out[5] -179 180
. . . . . . Switch2  
. . . . . . . . . out[1] -179 178
. . . . . . . . . out[2] -179 178
. . . . . . . . . out[3] -178 178
. . . . . . . . . out[4] -180 180
. . . . . . . . . out[5] -178 179
. . . . . . Sum  
. . . . . . . . . out[1] -537 537
. . . . . . . . . out[2] -537 537
. . . . . . . . . out[3] -537 537
. . . . . . . . . out[4] -537 537
. . . . . . . . . out[5] -537 537
. . . . . . Constant  
. . . . . . . . . out[1] 0 0
. . . . . . . . . out[2] 0 0
. . . . . . . . . out[3] 0 0
. . . . . . . . . out[4] 0 0
. . . . . . . . . out[5] 0 0