Commit 4f6f38f5 authored by Stephen Scott's avatar Stephen Scott
Browse files

Added MCDC test generation results for original system

parent bd46c66c

.gitmodules

0 → 100644
+3 −0
Original line number Diff line number Diff line 
[submodule "src/DO178_Case_Study"]

	path = src/DO178_Case_Study

	url = https://github.com/wfpotter/DO178_Case_Study.git

DO178_Case_Study @ f0ed13e3

Original line number Diff line number Diff line 
Subproject commit f0ed13e36369e3e786d9e03f82d8f73e6dfb6f61

src/validation/test_generation/FCC_Sys_Original/.status.txt

0 → 100644
+1 −0
Original line number Diff line number Diff line 
completed:success
 
 No newline at end of file

src/validation/test_generation/FCC_Sys_Original/AHRS_voter_cov.html

0 → 100644
+507 −0
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> AHRS_voter Coverage Report </title>

</head>



<body>

<h1>Coverage Report for AHRS_voter</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.69 </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; Wed May 13 16:30:04 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; AHRS_voter </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"> 25-Jun-2020 15:39:06 </td>

     <td  align="left"> 25-Jun-2020 15:39:31 </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="#refobj1285"> AHRS_voter</a></font> </td>

     <td  align="center">  <font size="2"> 18</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"> 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="#refobj1286"> Avg_Value</a></font> </td>

     <td  align="center">  <font size="2"> 4</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"> 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"> 3.  . . . <a href="#refobj1287"> Mid_Value</a></font> </td>

     <td  align="center">  <font size="2"> 6</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"> 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"> 4.  . . . <a href="#refobj1289"> Single_Value</a></font> </td>

     <td  align="center">  <font size="2"> 4</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"> 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="refobj1285">  </a><h3>1. Model "AHRS_voter"</h3>

<table> <tr> <td width="25"> </td> <td>

<table>

  <tr align="top"><td width="150"><b>Child Systems: </b></td>

      <td><a href="#refobj1286">Avg_Value</a>, &#160;<a href="#refobj1287">Mid_Value</a>, &#160;<a href="#refobj1289">Single_Value</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"> 18 </td>

</tr>



  <tr> 

     <td  align="left"> Decision </td>

     <td  align="left"> NA </td>

     <td  align="left"> 100% (61/61) decision outcomes </td>

</tr>



  <tr> 

     <td  align="left"> Execution </td>

     <td  align="left"> NA </td>

     <td  align="left"> 100% (18/18) 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="refobj1292">  </a>  MultiPortSwitch block "<a href="matlab: cvdisplay('AHRS_voter:49');">MultiportSwitch</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1294">  </a>  Sum block "<a href="matlab: cvdisplay('AHRS_voter:50');">Sum</a>" </td>

     <td  align="left"> Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1314">  </a>  Constant block "<a href="matlab: cvdisplay('AHRS_voter:51');">Constant</a>" </td>

     <td  align="left"> Execution </td>

</tr>



</table>

</td> </tr> </table>

<br/>

<a name="refobj1286">  </a><h3>2. SubSystem block "<a href="matlab: cvdisplay('AHRS_voter:17');">Avg_Value</a>"</h3>

<table> <tr> <td width="25"> </td> <td>

<table><tr> <td> <a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('', [], 0,  '', 'FCC_Sys_Original', '', 'add', 'AHRS_voter:17');">Justify or Exclude</a> </td></tr>

</table>

<table>

  <tr><td width="150"><b>Parent: </b></td>

      <td><a href="#refobj1285">/AHRS_voter</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"> 4 </td>

</tr>



  <tr> 

     <td  align="left"> Decision </td>

     <td  align="left"> NA </td>

     <td  align="left"> 100% (6/6) decision outcomes </td>

</tr>



  <tr> 

     <td  align="left"> Execution </td>

     <td  align="left"> NA </td>

     <td  align="left"> 100% (6/6) 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="refobj1296">  </a>  Switch block "<a href="matlab: cvdisplay('AHRS_voter:31');">Switch</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1297">  </a>  Switch block "<a href="matlab: cvdisplay('AHRS_voter:32');">Switch1</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1298">  </a>  Switch block "<a href="matlab: cvdisplay('AHRS_voter:33');">Switch2</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1300">  </a>  Gain block "<a href="matlab: cvdisplay('AHRS_voter:29');">Gain</a>" </td>

     <td  align="left"> Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1301">  </a>  Sum block "<a href="matlab: cvdisplay('AHRS_voter:30');">Sum</a>" </td>

     <td  align="left"> Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1318">  </a>  Constant block "<a href="matlab: cvdisplay('AHRS_voter:34');">Constant</a>" </td>

     <td  align="left"> Execution </td>

</tr>



</table>

</td> </tr> </table>

<br/>

<a name="refobj1287">  </a><h3>3. SubSystem block "<a href="matlab: cvdisplay('AHRS_voter:12');">Mid_Value</a>"</h3>

<table> <tr> <td width="25"> </td> <td>

<table><tr> <td> <a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('', [], 0,  '', 'FCC_Sys_Original', '', 'add', 'AHRS_voter:12');">Justify or Exclude</a> </td></tr>

</table>

<table>

  <tr><td width="150"><b>Parent: </b></td>

      <td><a href="#refobj1285">/AHRS_voter</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"> 6 </td>

</tr>



  <tr> 

     <td  align="left"> Decision </td>

     <td  align="left"> NA </td>

     <td  align="left"> 100% (45/45) decision outcomes </td>

</tr>



  <tr> 

     <td  align="left"> Execution </td>

     <td  align="left"> NA </td>

     <td  align="left"> 100% (4/4) 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="refobj1303">  </a>  MinMax block "<a href="matlab: cvdisplay('AHRS_voter:5');">MinMax</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1304">  </a>  MinMax block "<a href="matlab: cvdisplay('AHRS_voter:6');">MinMax1</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1305">  </a>  MinMax block "<a href="matlab: cvdisplay('AHRS_voter:7');">MinMax2</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1306">  </a>  MinMax block "<a href="matlab: cvdisplay('AHRS_voter:8');">MinMax3</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



</table>

</td> </tr> </table>

<br/>

<a name="refobj1289">  </a><h3>4. SubSystem block "<a href="matlab: cvdisplay('AHRS_voter:35');">Single_Value</a>"</h3>

<table> <tr> <td width="25"> </td> <td>

<table><tr> <td> <a href="matlab: cvi.FilterExplorer.FilterExplorer.reportRuleCallback('', [], 0,  '', 'FCC_Sys_Original', '', 'add', 'AHRS_voter:35');">Justify or Exclude</a> </td></tr>

</table>

<table>

  <tr><td width="150"><b>Parent: </b></td>

      <td><a href="#refobj1285">/AHRS_voter</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"> 4 </td>

</tr>



  <tr> 

     <td  align="left"> Decision </td>

     <td  align="left"> NA </td>

     <td  align="left"> 100% (6/6) decision outcomes </td>

</tr>



  <tr> 

     <td  align="left"> Execution </td>

     <td  align="left"> NA </td>

     <td  align="left"> 100% (5/5) 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="refobj1307">  </a>  Switch block "<a href="matlab: cvdisplay('AHRS_voter:45');">Switch</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1308">  </a>  Switch block "<a href="matlab: cvdisplay('AHRS_voter:46');">Switch1</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1309">  </a>  Switch block "<a href="matlab: cvdisplay('AHRS_voter:47');">Switch2</a>" </td>

     <td  align="left"> Decision, Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1310">  </a>  Sum block "<a href="matlab: cvdisplay('AHRS_voter:44');">Sum</a>" </td>

     <td  align="left"> Execution </td>

</tr>



  <tr> 

     <td  align="left"> <a name="refobj1319">  </a>  Constant block "<a href="matlab: cvdisplay('AHRS_voter:42');">Constant</a>" </td>

     <td  align="left"> Execution </td>

</tr>



</table>

</td> </tr> </table>

<br/>

</body>

</html>

src/validation/test_generation/FCC_Sys_Original/ActuatorLoop_cov.html

0 → 100644
+377 −0

File added.

Preview size limit exceeded, changes collapsed.