diff --git a/org.fortiss.af3.rcp.application/html/.ratings b/org.fortiss.af3.rcp.application/html/.ratings index 8ce0745e5dd5635f61653180aa2a54c83ee3956f..ca3a29722c793872fe4cef306d69143f82142389 100644 --- 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 diff --git a/org.fortiss.af3.rcp.application/html/getting_started.html b/org.fortiss.af3.rcp.application/html/getting_started.html index 027a12ec4e55a75f1eceab64fc8fa56d2ae6eec4..aa7edbe22642fdabafbcec46ae4f2ff89df3df53 100644 --- 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 /> <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 /> diff --git a/org.fortiss.af3.rcp.application/html/mcdc.html b/org.fortiss.af3.rcp.application/html/mcdc.html new file mode 100644 index 0000000000000000000000000000000000000000..18b507ba636d5721863a110501a9c6bea6c6d010 --- /dev/null +++ b/org.fortiss.af3.rcp.application/html/mcdc.html @@ -0,0 +1,57 @@ +<!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 diff --git a/org.fortiss.af3.rcp.application/html/pictures/mcdc1.png b/org.fortiss.af3.rcp.application/html/pictures/mcdc1.png new file mode 100644 index 0000000000000000000000000000000000000000..71a78cf26dac6e7e4028bd01b1590060d9735940 Binary files /dev/null and b/org.fortiss.af3.rcp.application/html/pictures/mcdc1.png differ diff --git a/org.fortiss.af3.rcp.application/html/pictures/mcdc2.png b/org.fortiss.af3.rcp.application/html/pictures/mcdc2.png new file mode 100644 index 0000000000000000000000000000000000000000..1eabba18d772bd4e2cfcad33aac9e28e087aad3f Binary files /dev/null and b/org.fortiss.af3.rcp.application/html/pictures/mcdc2.png differ diff --git a/org.fortiss.af3.rcp.application/html/pictures/mcdc3.png b/org.fortiss.af3.rcp.application/html/pictures/mcdc3.png new file mode 100644 index 0000000000000000000000000000000000000000..280e054c381ff0b812566a1f84e135af19d3260c Binary files /dev/null and b/org.fortiss.af3.rcp.application/html/pictures/mcdc3.png differ diff --git a/org.fortiss.af3.rcp.application/html/pictures/mcdc4.png b/org.fortiss.af3.rcp.application/html/pictures/mcdc4.png new file mode 100644 index 0000000000000000000000000000000000000000..4035e63b2f74f0f62b5a53c9b813a5fe5cec9018 Binary files /dev/null and b/org.fortiss.af3.rcp.application/html/pictures/mcdc4.png differ