Commit 0bc9a9e3 authored by Stephen Scott's avatar Stephen Scott
Browse files

Added MCDC test generation results for new system

parent ddf66f00
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -4,4 +4,4 @@ This directory includes all tests for the original and new FCC systems

Directory:

\sldv_output		Includes MCDC test generation results for the original and new FCC systems from Simulink Design Verifier
 No newline at end of file
\test_generation		Includes MCDC test generation results for the original and new FCC systems from Simulink Design Verifier
 No newline at end of file
+0 −11724

File deleted.

Preview size limit exceeded, changes collapsed.

+0 −1378

File deleted.

Preview size limit exceeded, changes collapsed.

+0 −449
Original line number Diff line number Diff line
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<script type="text/javascript" src="./scv_images/covreport_utils.js"></script>
<link rel="stylesheet" type="text/css" href="./scv_images/modelcovreport.css"/>
<title> ActuatorLoop Coverage Report </title>
</head>

<body>
<h1>Coverage Report for ActuatorLoop</h1>
<a name="slvnv_simcoverage_cvhtml_tableofcontents"></a><h2>Table of Contents</h2>
<ol>
	<li><a href="#slvnv_simcoverage_cvhtml_analysisinformation">Analysis Information</a></li>
	<li><a href="#slvnv_simcoverage_cvhtml_tests">Tests</a></li>
	<li><a href="#slvnv_simcoverage_cvhtml_summary">Summary</a></li>
	<li><a href="#slvnv_simcoverage_cvhtml_details">Details</a></li>
</ol>
<a name="slvnv_simcoverage_cvhtml_analysisinformation"></a><h2>Analysis Information</h2>
<a name="slvnv_simcoverage_cvhtml_modelinformation"></a><h3>Model Information</h3>

<table border="0" cellpadding="5" >

  <tr> 
     <td  width="300" align="left"> &#160; Model version </td>
     <td  width="300" align="left"> &#160; 1.46 </td>
</tr>

  <tr> 
     <td  align="left"> &#160; Author </td>
     <td  align="left"> &#160; bpotter </td>
</tr>

  <tr> 
     <td  align="left"> &#160; Last saved </td>
     <td  align="left"> &#160; Thu Jun 25 21:17:36 2020 </td>
</tr>

</table>
<a name="slvnv_simcoverage_cvhtml_simulationoptimizationoptions"></a><h3>Simulation Optimization Options</h3>

<table border="0" cellpadding="5" >

  <tr> 
     <td  width="300" align="left"> &#160; Default parameter behavior </td>
     <td  width="300" align="left"> &#160; inlined </td>
</tr>

  <tr> 
     <td  align="left"> &#160; Block reduction </td>
     <td  align="left"> &#160; off </td>
</tr>

  <tr> 
     <td  align="left"> &#160; Conditional branch optimization </td>
     <td  align="left"> &#160; on </td>
</tr>

</table>
<a name="slvnv_simcoverage_cvhtml_coverageoptions"></a><h3>Coverage Options</h3>

<table border="0" cellpadding="5" >

  <tr> 
     <td  width="300" align="left"> &#160; Analyzed model </td>
     <td  width="300" align="left"> &#160; ActuatorLoop </td>
</tr>

  <tr> 
     <td  align="left"> &#160; Logic block short circuiting </td>
     <td  align="left"> &#160; off </td>
</tr>

</table>
<a name="slvnv_simcoverage_cvhtml_tests"></a><h2>Tests</h2>

<table border="0" cellpadding="5" >

  <tr> 
     <td  align="left"> <b> Test# </b> </td>
     <td  align="left"> <b> Started execution </b> </td>
     <td  align="left"> <b> Ended execution </b> </td>
     <td  align="left"> <b> Description </b> </td>
</tr>

  <tr> 
     <td  align="left"> Test 1 </td>
     <td  align="left"> 30-Jun-2020 13:23:18 </td>
     <td  align="left"> 30-Jun-2020 13:23:59 </td>
     <td  align="left"> This model represents a flight control system for a helicopter that controls pitch attitude, roll attitude and yaw rate based on pilot inputs from the cyclic and pedals. The flight control computer also closes the loop on three hydrualic actuators and has sensor inputs from three Attitude/Heading Reference Systems.   </td>
</tr>

</table>
<br/>
<a name="slvnv_simcoverage_cvhtml_summary"></a><h2>Summary</h2>

<table cellpadding="2" >

  <tr> 
     <td  colspan="2">  <font size="2"> <b>Model Hierarchy/Complexity</b></font> </td>
     <td  colspan="4">  <font size="2"> <b>Test 1</b></font> </td>
     <td  align="center">  <font size="2"> &#160;</font> </td>
</tr>

  <tr> 
     <td  align="center">  <font size="2">  </font> </td>
     <td  align="center">  <font size="2">  </font> </td>
     <td  colspan="2">  <font size="2"> <b>Decision</b></font> </td>
     <td  colspan="2">  <font size="2"> <b>Execution</b></font> </td>
     <td  align="center">  <font size="2"> &#160;</font> </td>
</tr>

  <tr> 
     <td  align="left">  <font size="2"> 1. <a href="#refobj242"> ActuatorLoop</a></font> </td>
     <td  align="center">  <font size="2"> 5</font> </td>
     <td  align="center">  <font size="2"> 50%</font> </td>
     <td  align="center"> 
<table cellpadding="0" cellspacing="0">
<tr>
   <td>&#160;</td>
   <td><img src="scv_images/blue.gif" width="25" height="6" border="0"></img></td>
   <td><img src="scv_images/pink.gif" width="25" height="6" border="0"></img></td>
   <td>&#160;</td></tr>
</table> </td>
     <td  align="center">  <font size="2"> 100%</font> </td>
     <td  align="center"> 
<table cellpadding="0" cellspacing="0">
<tr>
   <td>&#160;</td>
   <td><img src="scv_images/blue.gif" width="50" height="6" border="0"></img></td>
   <td></td>
   <td>&#160;</td></tr>
</table> </td>
     <td  align="center">  <font size="2"> &#160;</font> </td>
</tr>

  <tr> 
     <td  align="left">  <font size="2"> 2.  . . . <a href="#refobj243"> Difference</a></font> </td>
     <td  align="center">  <font size="2"> &#160;</font> </td>
     <td  colspan="2">  <font size="2"> NA</font> </td>
     <td  align="center">  <font size="2"> 100%</font> </td>
     <td  align="center"> 
<table cellpadding="0" cellspacing="0">
<tr>
   <td>&#160;</td>
   <td><img src="scv_images/blue.gif" width="50" height="6" border="0"></img></td>
   <td></td>
   <td>&#160;</td></tr>
</table> </td>
     <td  align="center">  <font size="2"> &#160;</font> </td>
</tr>

</table>
<a name="slvnv_simcoverage_cvhtml_details"></a><h2>Details</h2>
<a name="refobj242">  </a><h3>1. Model "ActuatorLoop"</h3>
<table> <tr> <td width="25"> </td> <td>
<table>
  <tr align="top"><td width="150"><b>Child Systems: </b></td>
      <td><a href="#refobj243">Difference</a></td></tr>
</table>
<br/>


<table >

  <tr> 
     <td  width="200" align="left"> <b>Metric</b> </td>
     <td  width="200" align="left"> <b>Coverage (this object)</b> </td>
     <td  width="200" align="left"> <b>Coverage (inc. descendants)</b> </td>
</tr>

  <tr> 
     <td  align="left"> Cyclomatic Complexity </td>
     <td  align="left"> 1 </td>
     <td  align="left"> 5 </td>
</tr>

  <tr> 
     <td  align="left"> Decision </td>
     <td  align="left"> NA </td>
     <td  align="left"> 50% (4/8) decision outcomes </td>
</tr>

  <tr> 
     <td  align="left"> Execution </td>
     <td  align="left"> NA </td>
     <td  align="left"> 100% (12/12) objective outcomes </td>
</tr>

</table>
</td> </tr> </table>
<br/>
<a name="refobj247">  </a><h4> &#160; &#160;DiscreteIntegrator block "<a href="matlab: cvdisplay('ActuatorLoop:6');">Integrator</a>"</h4>
<table> <tr> <td width="25"> </td> <td>
<table><tr> <td> <a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('RE#5a957cd5-0c60-46d1-b341-3f6ea6369de4', [], 239,  'cvhtml', 'FCC_Sys_Original', '', 'add', 'ActuatorLoop:6');">Justify or Exclude</a> </td></tr>
</table>
<table>
  <tr><td width="150"><b>Parent: </b></td>
      <td><a href="#refobj242">/ActuatorLoop</a></td></tr>
  <tr><td><b>Uncovered Links: </b></td>
      <td>&#160;<a href="#refobj249"><img src="scv_images/right_arrow.gif" alt="Next uncovered object" border="0"></img></a><br/>
</td></tr>
</table>
<br/>


<table >

  <tr> 
     <td  width="200" align="left"> <b>Metric</b> </td>
     <td  width="200" align="left"> <b>Coverage</b> </td>
</tr>

  <tr> 
     <td  align="left"> Cyclomatic Complexity </td>
     <td  align="left"> 2 </td>
</tr>

  <tr> 
     <td  align="left"> Decision </td>
     <td  align="left"> 50% (2/4) decision outcomes </td>
</tr>

  <tr> 
     <td  align="left"> Execution </td>
     <td  align="left"> 100% (1/1) objective outcomes </td>
</tr>

</table>
&#160; <b>Decisions analyzed</b><br/>

<table border="1" cellpadding="5">

  <tr> 
     <td  width="380" align="left"> &#160; integration result &lt;= lower limit&#160;  </td>
     <td  width="60" align="center"> 50% </td>
</tr>

  <tr> 
     <td  align="left"> &#160; &#160; &#160; false </td>
     <td  align="center"> 900003/900003 </td>
</tr>

  <tr> 
     <td  bgcolor="#FFD0D0"  align="left"> &#160; &#160; &#160; true </td>
     <td  bgcolor="#FFD0D0"  align="center"> 0/900003<a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('RE#5a957cd5-0c60-46d1-b341-3f6ea6369de4', [], 239,  'cvhtml', 'FCC_Sys_Original', '', 'add', 'ActuatorLoop:6', [], 1, 2, 'decision', 'T outcome of integration result &lt;= lower limit in DiscreteIntegrator block &quot;Integrator&quot;');"><div title="Add justification rule"><img src="scv_images/filter_add.png" border="0"></img></div></a> </td>
</tr>

  <tr> 
     <td  align="left"> &#160; integration result &gt;= upper limit&#160;  </td>
     <td  align="center"> 50% </td>
</tr>

  <tr> 
     <td  align="left"> &#160; &#160; &#160; false </td>
     <td  align="center"> 900003/900003 </td>
</tr>

  <tr> 
     <td  bgcolor="#FFD0D0"  align="left"> &#160; &#160; &#160; true </td>
     <td  bgcolor="#FFD0D0"  align="center"> 0/900003<a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('RE#5a957cd5-0c60-46d1-b341-3f6ea6369de4', [], 239,  'cvhtml', 'FCC_Sys_Original', '', 'add', 'ActuatorLoop:6', [], 2, 2, 'decision', 'T outcome of integration result &gt;= upper limit in DiscreteIntegrator block &quot;Integrator&quot;');"><div title="Add justification rule"><img src="scv_images/filter_add.png" border="0"></img></div></a> </td>
</tr>

</table>
</td> </tr> </table>
<br/>
<a name="refobj249">  </a><h4> &#160; &#160;Saturate block "<a href="matlab: cvdisplay('ActuatorLoop:11');">Saturation</a>"</h4>
<table> <tr> <td width="25"> </td> <td>
<table><tr> <td> <a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('RE#5a957cd5-0c60-46d1-b341-3f6ea6369de4', [], 239,  'cvhtml', 'FCC_Sys_Original', '', 'add', 'ActuatorLoop:11');">Justify or Exclude</a> </td></tr>
</table>
<table>
  <tr><td width="150"><b>Parent: </b></td>
      <td><a href="#refobj242">/ActuatorLoop</a></td></tr>
  <tr><td><b>Uncovered Links: </b></td>
      <td>&#160;<a href="#refobj247"><img src="scv_images/left_arrow.gif" alt="Previous uncovered object" border="0"></img></a><br/>
</td></tr>
</table>
<br/>


<table >

  <tr> 
     <td  width="200" align="left"> <b>Metric</b> </td>
     <td  width="200" align="left"> <b>Coverage</b> </td>
</tr>

  <tr> 
     <td  align="left"> Cyclomatic Complexity </td>
     <td  align="left"> 2 </td>
</tr>

  <tr> 
     <td  align="left"> Decision </td>
     <td  align="left"> 50% (2/4) decision outcomes </td>
</tr>

  <tr> 
     <td  align="left"> Execution </td>
     <td  align="left"> 100% (1/1) objective outcomes </td>
</tr>

</table>
&#160; <b>Decisions analyzed</b><br/>

<table border="1" cellpadding="5">

  <tr> 
     <td  width="380" align="left"> &#160; input &gt; lower limit&#160;  </td>
     <td  width="60" align="center"> 50% </td>
</tr>

  <tr> 
     <td  bgcolor="#FFD0D0"  align="left"> &#160; &#160; &#160; false </td>
     <td  bgcolor="#FFD0D0"  align="center"> 0/900003<a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('RE#5a957cd5-0c60-46d1-b341-3f6ea6369de4', [], 239,  'cvhtml', 'FCC_Sys_Original', '', 'add', 'ActuatorLoop:11', [], 1, 1, 'decision', 'F outcome of input &gt; lower limit in Saturate block &quot;Saturation&quot;');"><div title="Add justification rule"><img src="scv_images/filter_add.png" border="0"></img></div></a> </td>
</tr>

  <tr> 
     <td  align="left"> &#160; &#160; &#160; true </td>
     <td  align="center"> 900003/900003 </td>
</tr>

  <tr> 
     <td  align="left"> &#160; input &gt;= upper limit&#160;  </td>
     <td  align="center"> 50% </td>
</tr>

  <tr> 
     <td  align="left"> &#160; &#160; &#160; false </td>
     <td  align="center"> 900003/900003 </td>
</tr>

  <tr> 
     <td  bgcolor="#FFD0D0"  align="left"> &#160; &#160; &#160; true </td>
     <td  bgcolor="#FFD0D0"  align="center"> 0/900003<a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('RE#5a957cd5-0c60-46d1-b341-3f6ea6369de4', [], 239,  'cvhtml', 'FCC_Sys_Original', '', 'add', 'ActuatorLoop:11', [], 2, 2, 'decision', 'T outcome of input &gt;= upper limit in Saturate block &quot;Saturation&quot;');"><div title="Add justification rule"><img src="scv_images/filter_add.png" border="0"></img></div></a> </td>
</tr>

</table>
</td> </tr> </table>
<br/>
<a name="slvnv_simcoverage_cvhtml_fullcoverage"></a><h4>&#160; &#160;Full Coverage</h4><table> <tr> <td width="25"> </td> <td>

<table border="0" cellpadding="5" >

  <tr> 
     <td  width="300" align="left"> <b> Model Object </b> </td>
     <td  width="300" align="left"> <b> Metric </b> </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj251">  </a>  DataTypeConversion block "<a href="matlab: cvdisplay('ActuatorLoop:14');">TypeConversion</a>" </td>
     <td  align="left"> Execution </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj252">  </a>  DataTypeConversion block "<a href="matlab: cvdisplay('ActuatorLoop:16');">TypeConversion6</a>" </td>
     <td  align="left"> Execution </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj254">  </a>  Gain block "<a href="matlab: cvdisplay('ActuatorLoop:2');">Gain</a>" </td>
     <td  align="left"> Execution </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj255">  </a>  Gain block "<a href="matlab: cvdisplay('ActuatorLoop:9');">Gain1</a>" </td>
     <td  align="left"> Execution </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj256">  </a>  Gain block "<a href="matlab: cvdisplay('ActuatorLoop:10');">Gain2</a>" </td>
     <td  align="left"> Execution </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj257">  </a>  Gain block "<a href="matlab: cvdisplay('ActuatorLoop:13');">Scaling</a>" </td>
     <td  align="left"> Execution </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj258">  </a>  Gain block "<a href="matlab: cvdisplay('ActuatorLoop:15');">Scaling6</a>" </td>
     <td  align="left"> Execution </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj260">  </a>  Sum block "<a href="matlab: cvdisplay('ActuatorLoop:4');">Sum</a>" </td>
     <td  align="left"> Execution </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj261">  </a>  Sum block "<a href="matlab: cvdisplay('ActuatorLoop:8');">Sum1</a>" </td>
     <td  align="left"> Execution </td>
</tr>

</table>
</td> </tr> </table>
<br/>
<a name="refobj243">  </a><h3>2. SubSystem block "<a href="matlab: cvdisplay('ActuatorLoop:5');">Difference</a>"</h3>
<table> <tr> <td width="25"> </td> <td>
<table><tr> <td> <a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('RE#5a957cd5-0c60-46d1-b341-3f6ea6369de4', [], 239,  'cvhtml', 'FCC_Sys_Original', '', 'add', 'ActuatorLoop:5');">Justify or Exclude</a> </td></tr>
</table>
<table>
  <tr><td width="150"><b>Parent: </b></td>
      <td><a href="#refobj242">/ActuatorLoop</a></td></tr>
</table>
<br/>


<table >

  <tr> 
     <td  width="200" align="left"> <b>Metric</b> </td>
     <td  width="200" align="left"> <b>Coverage (this object)</b> </td>
     <td  width="200" align="left"> <b>Coverage (inc. descendants)</b> </td>
</tr>

  <tr> 
     <td  align="left"> Cyclomatic Complexity </td>
     <td  align="left"> 0 </td>
     <td  align="left"> 0 </td>
</tr>

  <tr> 
     <td  align="left"> Execution </td>
     <td  align="left"> NA </td>
     <td  align="left"> 100% (1/1) objective outcomes </td>
</tr>

</table>
</td> </tr> </table>
<br/>
<a name="slvnv_simcoverage_cvhtml_fullcoverage"></a><h4>&#160; &#160;Full Coverage</h4><table> <tr> <td width="25"> </td> <td>

<table border="0" cellpadding="5" >

  <tr> 
     <td  width="300" align="left"> <b> Model Object </b> </td>
     <td  width="300" align="left"> <b> Metric </b> </td>
</tr>

  <tr> 
     <td  align="left"> <a name="refobj262">  </a>  Sum block "<a href="matlab: cvdisplay('ActuatorLoop:5:2');">Diff</a>" </td>
     <td  align="left"> Execution </td>
</tr>

</table>
</td> </tr> </table>
<br/>
</body>
</html>
−2.3 KiB

File deleted.

Loading