Structural Coverage Report for LighTsControl

Table of Contents

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

Analysis Information

Model Information

  Model version   1.440
  Author   TechDirector
  Last saved   Tue Oct 09 11:19:00 2018

Simulation Optimization Options

  Default parameter behavior   inlined
  Block reduction   off
  Conditional branch optimization   off

Coverage Options

  Analyzed model   LTC_R2017/LighTsControl/LighTsControl
  Logic block short circuiting   off
  MCDC mode   masking
  Filter filename   LighTsControl.cvf

Objects Filtered from Coverage Analysis

# Model Object Rationale
 RelationalOperator block "RelationalOperator3"
asd

Tests

Test# Started execution Ended execution
Test 1 09-Oct-2018 11:19:01 09-Oct-2018 11:19:01

Summary

Model Hierarchy/Complexity Test 1  
Decision Condition MCDC  
1. LighTsControl 7 82%
   
67%
   
50%
   
 
2. . . . CTR 1 50%
   
NA NA  
3. . . . CTR1 1 50%
   
NA NA  

Details

1. SubSystem block "LighTsControl"

Child Systems: CTR,  CTR1

Metric Coverage (this object) Coverage (inc. descendants)
Cyclomatic Complexity 1 7
Condition NA 67% (8/12) condition outcomes
Decision NA 82% (9/11) decision outcomes
MCDC NA 50% (1/2) conditions reversed the outcome

   Logic block "switchheadlighttoonoroff"

Justify or Exclude
Parent: LTC_R2017/LighTsControl/LighTsControl
Uncovered Links:  Next uncovered object

Metric Coverage
Cyclomatic Complexity 0
Condition 75% (3/4) condition outcomes
MCDC 50% (1/2) conditions reversed the outcome

  Conditions analyzed
Description True False
  input port 1 
30 
  input port 2  26 

  MC/DC analysis (combinations in parentheses did not occur)
Decision/Condition True Out False Out
expression for output
      input port 1 (TF) FF
      input port 2 FT FF


   RelationalOperator block "RelationalOperator"

Justify or Exclude
Parent: LTC_R2017/LighTsControl/LighTsControl
Uncovered Links:  Previous uncovered object Next uncovered object

Metric Coverage
Cyclomatic Complexity 0
Condition 50% (1/2) condition outcomes

  Conditions analyzed
Description True False
  input1 <= input2  30 

   RelationalOperator block "RelationalOperator2"

Justify or Exclude
Parent: LTC_R2017/LighTsControl/LighTsControl
Uncovered Links:  Previous uncovered object Next uncovered object

Metric Coverage
Cyclomatic Complexity 0
Condition 50% (1/2) condition outcomes

  Conditions analyzed
Description True False
  input1 >= input2 
30 

   RelationalOperator block "RelationalOperator4"

Justify or Exclude
Parent: LTC_R2017/LighTsControl/LighTsControl
Uncovered Links:  Previous uncovered object Next uncovered object

Metric Coverage
Cyclomatic Complexity 0
Condition 50% (1/2) condition outcomes

  Conditions analyzed
Description True False
  input1 < input2  30 

   Full Coverage

Model Object Metric
MultiPortSwitch block "MultiportSwitch" Decision
Switch block "Switch" Decision
Switch block "Switch1" Decision
RelationalOperator block "RelationalOperator1" Condition

2. SubSystem block "CTR"

Justify or Exclude
Parent: LTC_R2017/LighTsControl/LighTsControl

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

   Switch block "counttime1"

Justify or Exclude
Parent: LTC_R2017/LighTsControl/LighTsControl/CTR
Uncovered Links:  Previous uncovered object Next uncovered object

Metric Coverage
Cyclomatic Complexity 1
Decision 50% (1/2) decision outcomes

  Decisions analyzed
  logical trigger input  50%
      false (output is from 3rd input port) 30/30
      true (output is from 1st input port) 0/30

3. SubSystem block "CTR1"

Justify or Exclude
Parent: LTC_R2017/LighTsControl/LighTsControl

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

   Switch block "counttime1"

Justify or Exclude
Parent: LTC_R2017/LighTsControl/LighTsControl/CTR1
Uncovered Links:  Previous uncovered object

Metric Coverage
Cyclomatic Complexity 1
Decision 50% (1/2) decision outcomes

  Decisions analyzed
  logical trigger input  50%
      false (output is from 3rd input port) 0/30
      true (output is from 1st input port) 30/30