Skip to content

GitLab

Commit 5ec9c340 authored by aziz's avatar aziz
Browse files

Now the .fmu doesn't appear in the component name having FMU 


Signed-off-by: default avataraziz <aziz@fortiss.org>
parents 61fd37ca 325b7564
Expand all Hide whitespace changes
Inline Side-by-side
org.fortiss.af3.cosimulation.ui/src/org/fortiss/af3/cosimulation/ui/editor/.ratings
View file @ 5ec9c340
ExternalSpecificationEditor.java 8e5b1e4971499a50465e64247031ba336ee844db YELLOW
ExternalSpecificationEditor.java e077b7ae51c980b9cd0031c41670daa047bb7246 YELLOW
ExternalSpecificationEditorBinding.java c5ede1e02867805e28e6c95c52ec3557466db47a GREEN
org.fortiss.af3.cosimulation.ui/src/org/fortiss/af3/cosimulation/ui/editor/ExternalSpecificationEditor.java
View file @ 5ec9c340
......@@ -23,8 +23,10 @@ import static org.fortiss.af3.expression.utils.ExpressionModelElementFactory.boo
import static org.fortiss.af3.expression.utils.ExpressionModelElementFactory.createNoVal;
import static org.fortiss.af3.expression.utils.ExpressionModelElementFactory.doubleType;
import static org.fortiss.af3.expression.utils.ExpressionModelElementFactory.intType;
import static org.fortiss.af3.project.utils.ProjectUtils.getFileProject;
import static org.fortiss.tooling.kernel.ui.util.DataBindingUtils.bind;
import static org.fortiss.tooling.kernel.ui.util.WidgetsFactory.createTextWithUndo;
import static org.fortiss.tooling.kernel.utils.UniqueIDUtils.generateAllIDs;
import java.io.BufferedOutputStream;
import java.io.File;
......@@ -183,6 +185,7 @@ public class ExternalSpecificationEditor extends FormsEditorBase<IExternalBehavi
DefaultHandler handler =
parseXMLAndCreateOrModifyPorts(container, newOutputPorts, newInputPorts);
saxParser.parse(tempBuildDirectoryPath + File.separator + xmlName, handler);
generateAllIDs(getFileProject(container));
deleteExtraPorts(newInputPorts, newOutputPorts, container);
} catch(Exception e) {
MessageDialog.openInformation(currentShell, "[" + fileType +
......
org.fortiss.af3.testing.ui/html/developer/.ratings
View file @ 5ec9c340
documentation.html 61d0952d8e6191f3ac59ac0b8f681d5caf713c67 RED
documentation.html 7d19076ca7ce23ed67b0d29c2f59a5b225977a65 GREEN
org.fortiss.af3.testing.ui/html/developer/documentation.html
View file @ 5ec9c340
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.testing.ui</I></H1>
<P>// TODO
</body></html>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=windows-1252"/>
<title></title>
<meta name="generator" content="LibreOffice 6.0.5.2 (Windows)"/>
<meta name="created" content="00:00:00"/>
<meta name="changed" content="2018-08-23T17:37:44.106000000"/>
<meta name="created" content="00:00:00">
<meta name="created" content="00:00:00">
<meta name="created" content="00:00:00">
<style type="text/css">
tt.cjk { font-family: "NSimSun", monospace }
</style>
</head>
<body lang="en-US" dir="ltr">
<h1>Developer Documentation for the <i>AF3 Testing GUI
(org.fortiss.af3.testing.ui)</i></h1>
<p>UI plug-in for org.fortiss.af3.testing. It hosts dedicated editors
which allow to edit the following objects:
</p>
<ul>
<li/>
<p style="margin-bottom: 0cm"><tt class="western">TestSuite:</tt>
Its editor allows to modify inputs and expected outputs of each test
step. The editor also shows (with a pass/fail symbol) if the values
expected outputs and the simulated ones coincide (notice that the
simulation might not be up to date).
</p>
<li/>
<p><tt class="western">TestSuiteSpecification:</tt> Its editor
allows to configure the different parameters to generate a test
suite with a certain coverage. Currently, only random coverage is
supported.
</p>
</ul>
<p>The package <tt class="western">editor.statics</tt> is currently
deprecated since transition and state coverage and not yet supported.
<br/>
The package <tt class="western">view</tt> implements the two
possible views for a test case: the main view where the test suite
can be modified and the simulation view.
</p>
</body>
</html>
\ No newline at end of file
org.fortiss.af3.testing/html/developer/.ratings
View file @ 5ec9c340
documentation.html 8bb5e7993c7a1f598ee2730956d99b9bd1314dba RED
documentation.html 4be9f32363a7b12de00855d2c231ef6f78a8273b GREEN
org.fortiss.af3.testing/html/developer/documentation.html
View file @ 5ec9c340
<html><body>
<H1>Developer Documentation for <I>org.fortiss.af3.testing</I></H1>
<P>// TODO
</body></html>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=windows-1252"/>
<title></title>
<meta name="generator" content="LibreOffice 6.0.5.2 (Windows)"/>
<meta name="created" content="00:00:00"/>
<meta name="changed" content="2018-08-23T17:36:15.039000000"/>
<meta name="created" content="00:00:00">
<meta name="created" content="00:00:00">
<style type="text/css">
p { margin-bottom: 0cm }
h2.cjk { font-family: "SimSun" }
h2.ctl { font-family: "Lucida Sans" }
tt.cjk { font-family: "NSimSun", monospace }
</style>
</head>
<body lang="en-US" dir="ltr">
<h1>Developer Documentation for <i>AF3 Testing</i>
<i>(</i><tt class="western"><i>org.fortiss.af3.testing</i></tt><i>)</i></h1>
<h2 class="western">Package description
</h2>
<p>The AF3 testing plug-in contains everything related to test case
generation and execution (simulation).</p>
<p>The plug-in contains, besides general classes like compositors,
constraints (to be removed when constraints are unified), model
implementation, etc, the following classes/packages:</p>
<p><br/>
</p>
<ul>
<li/>
<p><tt class="western">generator.modelchecking.GenerateTestSuiteCommand:</tt>
It creates the <tt class="western">ITestSuiteGenerator</tt> and
calls the <tt class="western">generate()</tt> method for each type
of coverage that is active.</p>
<li/>
<p><tt class="western">generator.modelchecking.VerifyTestSuiteCommand:</tt>
It checks that the expected and simulated outputs coincide.
Currently only used for checking refinement. Deprecated.</p>
<li/>
<p><tt class="western">method.random.generator:</tt> It
implements the <tt class="western">ITestSuiteGenerator</tt> for
random criteria.</p>
<li/>
<p><tt class="western">pref:</tt> Default values for
parameters used in the test case generation, e.g. number of steps,
min/max values, NoVal probability, etc.</p>
<li/>
<p><tt class="western">simulator.TestCaseSimulator:</tt> It
takes care of the simulation, creating <tt class="western">ExecutableComponent</tt>s
and calling the corresponding <tt class="western">performStep()</tt>
method that does a complete single simulation step: A pre-step, the
step itself and a post-step. It can also set simulated/expected
outputs or compare both.
</p>
<li/>
<p><tt class="western">simulator.TestCaseExecutableComponent:</tt>
It wraps one or more real <tt class="western">ExecutableComponent</tt>s,
which it contains as subExecutables. In every step the
<tt class="western">TestCaseExecutableComponent</tt> passes the
input values from the test case to the subExecutables.</p>
<li/>
<p><tt class="western">statistics:</tt> It only contains
Listeners. Most of the statistics related methods are in the utils
package. This package will be changed/removed once the testing
plug-in is re-implemented. Deprecated.</p>
<li/>
<p><tt class="western">validator.platform.*:</tt> The idea of
these packages was to execute the test cases in the generated code
(rather than in the design) using the abstractions (interfaces)
provided by the generic platform. Deprecated.</p>
</ul>
<h2 class="western">Metamodel description
</h2>
<p>The testing metamodel describes test cases, coverage, statistics
and related constrains.</p>
<p><br/>
</p>
<ul>
<li/>
<p><tt class="western">TestSuiteSpecification</tt>: These
specifications can be used to automatically generate <tt class="western">TestSuite</tt>s
using certain testing criteria. The specification allows to relate a
<tt class="western">TestSuite</tt> with the <tt class="western">Component</tt>
where it will be executed using the <tt class="western">getComponent()</tt>
method.</p>
<li/>
<p><tt class="western">TestSuiteSpecificationPart</tt>: Base
Class that will be extended to define different coverage criteria.
The active attribute is used to decide which kind of testing
coverage shall be fulfilled by the generation.</p>
<li/>
<p><tt class="western">TestSuite</tt>: Each test suite
contains several <tt class="western">TestCase</tt>s. It is related
to the <tt class="western">InputPort</tt>s and <tt class="western">OutputPort</tt>s
of the <tt class="western">Component</tt> where the test suite is
executed. Such component is related to the test suite by means of
the <tt class="western">TestSuiteSpecification</tt> from where the
test suite was generated. The Class extends <tt class="western">IConstrained</tt>
and therefore it allows to implement constraints related to the
status of the test suite (e.g. pass/fail/outdated).</p>
<li/>
<p><tt class="western">TestCase</tt>: Each test case contains
several <tt class="western">TestStep</tt>s. Each test case belongs
to a unique <tt class="western">TestSuite</tt>.</p>
<li/>
<p><tt class="western">TestStep</tt>: Each test step contains
several <tt class="western">TestInput</tt>s and <tt class="western">TestOutput</tt>s.
Each test step belongs to a unique <tt class="western">TestCase</tt>.</p>
<li/>
<p><tt class="western">TestInput</tt>: Class representing
inputs of a <tt class="western">TestStep</tt>. Its concrete value is
given as a <tt class="western">ITerm</tt>. Each input belongs to a
unique <tt class="western">TestStep</tt>.</p>
<li/>
<p style="line-height: 100%"><tt class="western">TestOutput</tt>:
Class representing outputs of a <tt class="western">TestStep</tt>.
Its expected value is given as a <tt class="western">ITerm</tt>.
Simulated values (also <tt class="western">ITerm</tt>s) are kept to
evaluate if the output generated by the <tt class="western">Component</tt>
matches the expected output). Each output belongs to a unique
<tt class="western">TestStep</tt>.</p>
</ul>
<p style="line-height: 100%"><br/>
</p>
<p>The sub-models <tt class="western">statistics</tt>, <tt class="western">coverage</tt>
and <tt class="western">constraintResults</tt> are deprecated. The
related features are planned to be re-implemented.
</p>
<p>The random-specification-model metamodel describes a particular
case of a <tt class="western">TestSuiteSpecificationPart</tt>: Random
criteria.</p>
<p><br/>
</p>
<ul>
<li/>
<p><tt class="western">RandomSpecificationPart</tt>: It
extends <tt class="western">TestSuiteSpecificationPart</tt> with the
number of test cases, their min/max length and several <tt class="western">PortBinding</tt>.</p>
<li/>
<p><tt class="western">PortBinding</tt>: It links the
specification with the <tt class="western">InputPort</tt>s and their
<tt class="western">DataProfile</tt> which defines the probability
of values that can be assigned to the port.</p>
<li/>
<p><tt class="western">DataProfile</tt>: Base data profile. It
contains the change probability for possible values and the
probability of the value to be assigned to NoVal.</p>
<li/>
<p><tt class="western">NumberProfile</tt>: It extends
<tt class="western">DataProfile</tt> with the probability to change
the value w.r.t. the previous value in the <tt class="western">DataProfile</tt>.</p>
<li/>
<p><tt class="western">IntegerProfile</tt>: It extends
<tt class="western">NumberProfile</tt> with the min/max possible
values.</p>
<li/>
<p><tt class="western">DoubleProfile</tt>: It extends
<tt class="western">NumberProfile</tt> with the min/max possible
values.</p>
<li/>
<p><tt class="western">BoolProfile</tt>: It extends
<tt class="western">DataProfile</tt> with the probability of the
value to be assigned to <font face="Liberation Mono, monospace">True</font>.</p>
<li/>
<p><tt class="western">EnumerationProfile</tt>: It extends
<tt class="western">DataProfile</tt> with a
<tt class="western">EnumerationMemberBinding</tt>.</p>
<li/>
<p><tt class="western">EnumerationMemberBinding</tt>: It
relates each <tt class="western">EnumerationMember</tt> with the
probability of the value to be assigned to that member.</p>
<li/>
<p><tt class="western">StructureProfile</tt>: It extends
<tt class="western">DataProfile</tt> with a <tt class="western">StructureMemberBinding</tt>.</p>
<li/>
<p><tt class="western">StructureMemberBinding</tt>: It relates
each <tt class="western">StructureMember</tt> with the probability
of the value to be assigned to that member.</p>
<li/>
<p><tt class="western">ArrayProfile</tt>: It relates an <tt class="western">Array</tt>
with a <tt class="western">DataProfile</tt>.</p>
</ul>
</body>
</html>
\ No newline at end of file
org.fortiss.af3.testing/model/.ratings
View file @ 5ec9c340
random-specification-model.ecore 1cbd479408436a54bfa0ecb347c6be3523b53acf RED
testing.ecore ffcb6e5eb834d7e4efaf24e664dbf439a33b172d RED
random-specification-model.ecore b04f23eef5a265ffed25435e135c0ebd85ef2ac1 GREEN
testing.ecore c2d12e3a1a99bb82278d6b4db6757f7e722de172 GREEN
org.fortiss.af3.testing/model/random-specification-model.ecore
View file @ 5ec9c340
......@@ -3,66 +3,190 @@
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="model" nsURI="http://www.fortiss.org/af3/randomspecification/model"
nsPrefix="random-profile-model">
<eClassifiers xsi:type="ecore:EClass" name="RandomSpecificationPart" eSuperTypes="platform:/resource/org.fortiss.af3.testing/model/testing.ecore#//TestSuiteSpecificationPart">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It extends {@link TestSuiteSpecificationPart} with the number of test cases, their min/max length and several {@link PortBinding}.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="numberOfTestCases" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
defaultValueLiteral="20"/>
defaultValueLiteral="20">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="minLength" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
defaultValueLiteral="5"/>
defaultValueLiteral="5">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxLength" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
defaultValueLiteral="20"/>
defaultValueLiteral="20">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EReference" name="portBinding" upperBound="-1"
eType="#//PortBinding" containment="true"/>
eType="#//PortBinding" containment="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="DataProfile" abstract="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Base data profile. It contains the change probability for possible values and the probability of the value to be assigned to NoVal&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="changeProbability" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
defaultValueLiteral="1.0"/>
defaultValueLiteral="1.0">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="noValProbability" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
defaultValueLiteral="0.0"/>
defaultValueLiteral="0.0">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="NumberProfile" abstract="true" eSuperTypes="#//DataProfile">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It extends {@link DataProfile} with the probability to change the value w.r.t the previous value in the {@link DataProfile}.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="changeRatioProbability"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble" defaultValueLiteral="1.0"/>
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble" defaultValueLiteral="1.0">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="IntegerProfile" eSuperTypes="#//NumberProfile">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It extends {@link NumberProfile} with the min/max possible values.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="minValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
defaultValueLiteral="-100000"/>
defaultValueLiteral="-100000">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
defaultValueLiteral="100000"/>
defaultValueLiteral="100000">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="DoubleProfile" eSuperTypes="#//NumberProfile">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It extends {@link NumberProfile} with the min/max possible values."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="minValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
defaultValueLiteral="-1.0"/>
defaultValueLiteral="-1.0">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
defaultValueLiteral="-1.0"/>
defaultValueLiteral="-1.0">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BoolProfile" eSuperTypes="#//DataProfile">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It extends {@link DataProfile} with the probability of the value to be assigned to True.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="trueProbability" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"
defaultValueLiteral="0.5"/>
defaultValueLiteral="0.5">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="EnumerationProfile" eSuperTypes="#//DataProfile">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It extends {@link DataProfile} with a {@link EnumerationMemberBinding}.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="memberBinding" upperBound="-1"
eType="#//EnumerationMemberBinding" containment="true"/>
eType="#//EnumerationMemberBinding" containment="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="EnumerationMemberBinding">
<eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//definitions/EnumerationMember"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="probability" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It relates each {@link EnumerationMember} with the probability of the value to be assigned to that member.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//definitions/EnumerationMember">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="probability" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="StructureProfile" eSuperTypes="#//DataProfile">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It extends {@link DataProfile} with a {@link StructureMemberBinding}."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="memberBinding" upperBound="-1"
eType="#//StructureMemberBinding" containment="true"/>
eType="#//StructureMemberBinding" containment="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PortBinding">
<eStructuralFeatures xsi:type="ecore:EReference" name="port" eType="ecore:EClass platform:/resource/org.fortiss.af3.component/model/component.ecore#//InputPort"/>
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It links the specification with the {@link InputPort}s and their {@link DataProfile} which defines the probability of values that can be assigned to the port.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="port" eType="ecore:EClass platform:/resource/org.fortiss.af3.component/model/component.ecore#//InputPort">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EReference" name="profile" eType="#//DataProfile"
containment="true"/>
containment="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="StructureMemberBinding">
<eStructuralFeatures xsi:type="ecore:EReference" name="member" eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//definitions/StructureMember"/>
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It relates each {@link StructureMember} with the probability of the value to be assigned to that member.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="member" eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//definitions/StructureMember">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EReference" name="profile" eType="#//DataProfile"
containment="true"/>
containment="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ArrayProfile" eSuperTypes="#//DataProfile">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="It relates an {@link Array} with a {@link DataProfile}.&#xA;"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="basicProfile" lowerBound="1"
eType="#//DataProfile" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="array" eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//definitions/Array"/>
eType="#//DataProfile" containment="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EReference" name="array" eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//definitions/Array">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
</ecore:EPackage>
org.fortiss.af3.testing/model/testing.ecore
View file @ 5ec9c340
This diff is collapsed.
org.fortiss.af3.testing/src/org/fortiss/af3/testing/constraint/.ratings
View file @ 5ec9c340
StatisticCoverageConstraint.java 95034620c739f1024a31b9f326eaa48d747bb4e0 GREEN
TestContractTransformationContexts.java 14c12878d4f0151941f024523dd90fb68ed4173f GREEN
TestSuiteConstraint.java a7936038bd6fad2eae812214d72c2d24d4958823 GREEN
StatisticCoverageConstraint.java 4cb2c667e410ba4323635b4aee6f8e3097a8a7f4 YELLOW
TestContractTransformationContexts.java 8974971ea5bdc6b162c2705ca3fc0e9f6bd64358 YELLOW
TestSuiteConstraint.java bf50a3818361538b1097907bd36e0cc6da0c9259 YELLOW
org.fortiss.af3.testing/src/org/fortiss/af3/testing/constraint/StatisticCoverageConstraint.java
View file @ 5ec9c340
......@@ -32,7 +32,9 @@ import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceStatus;
* {@link IConstraint} for coverage of test suites.
*
* @author aravantinos
* @deprecated
*/
@Deprecated
public class StatisticCoverageConstraint extends ComponentConstraintGroup {
/** {@inheritDoc} */
......
org.fortiss.af3.testing/src/org/fortiss/af3/testing/constraint/TestContractTransformationContexts.java
View file @ 5ec9c340
......@@ -23,7 +23,9 @@ import org.fortiss.tooling.kernel.extension.data.ITransformationContext;
* {@link ITransformationContext}s for the contract verification of {@link TestCase}.
*
* @author aravantinos
* @deprecated
*/
@Deprecated
public class TestContractTransformationContexts implements ITransformationContext {
/** Default context, just a marker class. */
......
org.fortiss.af3.testing/src/org/fortiss/af3/testing/constraint/TestSuiteConstraint.java
View file @ 5ec9c340
......@@ -58,7 +58,9 @@ import org.fortiss.tooling.kernel.utils.TransformationUtils.NoTransformationChai
* {@link IConstraint} for test suite constraints.
*
* @author aravantinos
* @deprecated
*/
@Deprecated
public class TestSuiteConstraint extends AF3ProjectConstraintBase {
/** {@inheritDoc} */
......
org.fortiss.af3.testing/src/org/fortiss/af3/testing/generator/modelchecking/.ratings
View file @ 5ec9c340
GenerateTestSuiteCommand.java 9febd2a005cfcd5d7641df3ffa0959f9e6afad6c GREEN
VerifyTestSuiteCommand.java f490e4d69d8e1d3be577b2454487a6d3ae6e99a0 GREEN
VerifyTestSuiteCommand.java efe9ac026fb76d07b1321e4aa33b3f394342928d YELLOW
org.fortiss.af3.testing/src/org/fortiss/af3/testing/generator/modelchecking/VerifyTestSuiteCommand.java
View file @ 5ec9c340
......@@ -29,7 +29,9 @@ import org.fortiss.tooling.kernel.utils.LoggingUtils;
* to the expectedValue of its ports. (used for RefinementGeneratorTest).
*
* @author Andreiasw1
* @deprecated
*/
@Deprecated
public class VerifyTestSuiteCommand implements Runnable {
/** TestSuite to be executed. */
......
org.fortiss.af3.testing/src/org/fortiss/af3/testing/statistic/.ratings
View file @ 5ec9c340
StateAutomatonStatisticListener.java ff4bf8a9d21ad640c53c0210090496a8bcff9edc GREEN
StatisticListener.java 43f7ce07a3aabba395e1216a10044d7e79135f99 GREEN
StatisticListenerManager.java baa61876aaa3e80264aa549d26d245223837de70 GREEN
StateAutomatonStatisticListener.java d531a6c6e39464ab9c6c9ab075ab02c56bd0acdf YELLOW
StatisticListener.java b55fd129b0b3e3d7ff54d3c11eb6621be4d9f469 YELLOW
StatisticListenerManager.java 8d2cdd740ff8ee9a1f175a2862e27a3a6104090e YELLOW
org.fortiss.af3.testing/src/org/fortiss/af3/testing/statistic/StateAutomatonStatisticListener.java
View file @ 5ec9c340
......@@ -41,7 +41,9 @@ import org.fortiss.tooling.kernel.model.INamedElement;
* statistic data during the execution of a state automaton.
*
* @author kisslinger
* @deprecated
*/
@Deprecated
public class StateAutomatonStatisticListener extends StatisticListener implements
IStateTraceListener {
/** Map which stores how many times each state was visited. */
......
org.fortiss.af3.testing/src/org/fortiss/af3/testing/statistic/StatisticListener.java
View file @ 5ec9c340
......@@ -26,7 +26,9 @@ import org.fortiss.tooling.kernel.model.INamedElement;
*
*
* @author kisslinger