Commit 82dad5df authored by Hernan Ponce de Leon's avatar Hernan Ponce de Leon
Browse files

MCDC testing: code review [GREEN]


Signed-off-by: Hernan Ponce de Leon's avatarHernan Ponce de Leon <ponce@fortiss.org>
parent c6d8b536
random-specification-model.ecore b04f23eef5a265ffed25435e135c0ebd85ef2ac1 GREEN
testing.ecore c2d12e3a1a99bb82278d6b4db6757f7e722de172 GREEN
testing.ecore f3a265b2a8807a7405dd75e718f978c8d59bf951 GREEN
......@@ -387,7 +387,7 @@
nsPrefix="org-fortiss-af3-testing-mcdc">
<eClassifiers xsi:type="ecore:EClass" name="FormalRequirementMCDC" eSuperTypes="platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//terms/imperative/IfThenElse">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Imperative if-then-else statement with defined inputs and outputs.&#xA;Guard, thenBlock and else block must not be &lt;code>null&lt;/code>.&#xA;ThenBlock and ElseBlock are only allowed to contain &#xA;{@link org.fortiss.af3.expression.model.terms.imperative.Assignment}s."/>
<details key="documentation" value="Class to formalize requirements in such a way that a {@link TestSuite} satisfying MCDC can be generated.&#xA;The formal language is an if-then-else statement with defined inputs and outputs.&#xA;Guard, thenBlock and else block must not be &lt;code>null&lt;/code>.&#xA;ThenBlock and ElseBlock are only allowed to contain &#xA;{@link org.fortiss.af3.expression.model.terms.imperative.Assignment}s."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1"
eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//terms/Var"
......@@ -405,7 +405,7 @@
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="McdcSpecificationPart" eSuperTypes="#//TestSuiteSpecificationPart">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Specification part for a formal mcdc requirement."/>
<details key="documentation" value="Specification part for a formal MCDC requirement."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="formalRequirementMCDC"
eType="#//mcdc/FormalRequirementMCDC" containment="true">
......
GenerateStateAutomatonUtils.java 81645f6c18da5bcc920f8671da4eeb622f8f69d4 GREEN
StatisticUtils.java d2ea1b26fc14f0b19d18604d330205b8aae3352e GREEN
TestingConstraintUtils.java 7c423db9009862b16a96c05ab7ef9a59d4af6c81 GREEN
TestingModelElementFactory.java 66acd55aeafd698b525dfaae2e343b62584f11fc YELLOW
TestingUtils.java 274b7a65eb14c78b8daf47f4131dcfe303de19da YELLOW
TestingModelElementFactory.java 66acd55aeafd698b525dfaae2e343b62584f11fc GREEN
TestingUtils.java e9fa206a3ab1f59b56b242097d4a8cc19935f9d7 GREEN
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment