Added MCDC documentation

Issue-Ref: 3833 Signed-off-by: Hernan Ponce de Leon <ponce@fortiss.org>

Added MCDC documentation
b5c2dccf · Hernan Ponce de Leon · a2961ca4 · b5c2dccf · b5c2dccf · b5c2dccf
Commit b5c2dccf authored 5 years ago by Hernan Ponce de Leon
--- a/org.fortiss.af3.rcp.application/html/.ratings
+++ b/org.fortiss.af3.rcp.application/html/.ratings
@@ -23,6 +23,7 @@ hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
 library.html 4dcbc369f70cc5ba943404da07e15955df65b3fc RED
 loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
 manual_deployment.html 91f2636b00d59253f7007864d4e0ebdd0b713dad RED
+mcdc.html 18b507ba636d5721863a110501a9c6bea6c6d010 YELLOW
 mode_automaton.html dc395eab03cb6920580f54e317c3d203e64cb496 RED
 model_checking_with_af3.html e856030ffeaab17a2f69da94ea76b8b369c30297 RED
 model_element_attributes.html 627723b0a950a43af5cbe16c9ffd608a951ccf49 RED

--- a/org.fortiss.af3.rcp.application/html/getting_started.html
+++ b/org.fortiss.af3.rcp.application/html/getting_started.html
@@ -122,7 +122,7 @@ Getting started help page.
 												<img alt="" border="1" height="200" hspace="80" src="gettingStarted/img/WAF3verification.png" width="200" /><br />
 												&nbsp;
 												<p style="margin-left: 50px;"><a href="model_markers_view.html">On the Fly Checks</a><br />
-												<a href="model_testing.html">Model Based Testing</a><br />
+												<a href="mcdc.html">MCDC Test Case generation</a><br />
 												<a href="refinement_testing.html">Refinement Testing</a><br />
 												<a href="non_determinism_analysis.html">Nondeterminism Analysis</a><br />
 												<a href="reachability_analysis.html">Reachability Analysis</a><br />

--- a/org.fortiss.af3.rcp.application/html/mcdc.html
+++ b/org.fortiss.af3.rcp.application/html/mcdc.html
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
+
+<!--
+User documentation for Cosimulation feature.
+ 
+ @author vogelsan
+ @ConQAT.Rating 
+-->
+ 
+<html>
+<head>
+	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+	<title>MCDC Test Case Generation</title>
+</head>
+<body>
+
+<h2><u><font color="#336699">MCDC Test Case Generation</font></u></h2>
+
+<font color="#000000" style="font-family:Verdana, Geneva, sans-serif" size="2px">
+
+	AF3 has a semi-formal language to write requirements that allows to automatically generate test cases fulfilling the MCDC criterion.
+	<br>
+	Such requirements specify the value of outputs based on the value of input, thus the interface (inputs / outputs) shall be clearly defined.
+	<br>
+	Requirements are written using an if-then-else pattern.
+	<br> <br>
+	Consider the following requirement:
+	<br><br>
+	<img src="./pictures/mcdc1.png">
+	<br><br>
+	Right click on the requirement and select "Formal specification aspect", then move to the "Formal aspect" tab.
+	<br>
+	This will create a component that allows to define the interface.
+	<br>
+	You can add inputs and outputs to the interface using the palette on the right-hand-side.
+	<br><br>
+	<img src="./pictures/mcdc2.png">
+	<br><br>
+	In order to formally define the requirement, add a "Code specification" behavior to the component (drag&drop from the palette).
+	<br>
+	Double click in the component to open the editor.
+	<br>
+	The requirement shall follow the if-then-else pattern where the guard (if-part) shall refer to the inputs and the branches (then and else parts) 
+	<br>
+	shall be a list of assignments (one for each output) using only expressions on the inputs and constants.
+	<br><br>
+	<img src="./pictures/mcdc3.png">
+	<br><br>
+	Test cases can be automatically created by right-clicking on the requirement and selecting "Generate MCDC".
+	<br>
+	The test suite will be created as a child of the requirement: expand the arrow on the left of the requirement and double click to open the test suite.
+	<br><br>
+	<img src="./pictures/mcdc4.png">
+	<br><br>
+
+</body>
+</html>
\ No newline at end of file
--- a/org.fortiss.af3.rcp.application/html/pictures/mcdc1.png
+++ b/org.fortiss.af3.rcp.application/html/pictures/mcdc1.png
--- a/org.fortiss.af3.rcp.application/html/pictures/mcdc2.png
+++ b/org.fortiss.af3.rcp.application/html/pictures/mcdc2.png
--- a/org.fortiss.af3.rcp.application/html/pictures/mcdc3.png
+++ b/org.fortiss.af3.rcp.application/html/pictures/mcdc3.png
--- a/org.fortiss.af3.rcp.application/html/pictures/mcdc4.png
+++ b/org.fortiss.af3.rcp.application/html/pictures/mcdc4.png