|
|
@@ -1,15 +0,0 @@
|
|
|
-h1. YAKINDU Statechart Tools – Testcase 05 - Validation
|
|
|
-
|
|
|
-
|
|
|
-|_. Nr |_. Testname |_. Test Instructions |_. Postconditions |_. Status|
|
|
|
-| 5.0 | Test models | Import the project located on _manual-tests/org.yakindu.sct.test.manual_ in your source code repository into your workspace. | The test models needed below are available. | %{color:red}open% |
|
|
|
-| 5.1 | Expression error check | Open statechart ExpressionError01.sct | There are two error markers with the following error message:<p>"entry and exit events are allowed as local reactions only."</p> | %{color:red}open% |
|
|
|
-| 5.2 | Expression error check | Open statechart ExpressionError03.sct | There is one error marker at the definition section with the following error message:<p>"In/Out declarations are not allowed in internal scope."</p> | %{color:red}open% |
|
|
|
-| 5.3 | Expression error check | Open statechart ExpressionError04.sct | There is one error marker at the definition section with the following error message:<p>"Local declarations are not allowed in interface scope."</p> | %{color:red}open% |
|
|
|
-| 5.4 | Expression error check | Open statechart ExpressionError05.sct | There is one error marker at the definition section with the following error message:<p>"Only one default/unnamed interface is allowed."</p> | %{color:red}open% |
|
|
|
-| 5.5 | Statechart error check | Open statechart StatechartError01.sct | There is one error marker at the state with the following error message:<p>"A state must have a name."</p> | %{color:red}open% |
|
|
|
-| 5.6 | Statechart error check | Open statechart StatechartError02.sct | There is one error marker on the transition with the following error message:<p>"Outgoing Transitions from Entries can not have a Trigger or Guard."</p> | %{color:red}open% |
|
|
|
-| 5.7 | Statechart error check | Open statechart StatechartError03.sct | There is one error marker on each of the states with the following error message:<p>"Duplicate SpecificationElement 'A' in Region 'main region'"</p> | %{color:red}open% |
|
|
|
-| 5.8 | Statechart error check | Open statechart StatechartError04.sct | There is one error marker on state 'B' with the following error message:<p>"Node is not reachable."</p> | %{color:red}open% |
|
|
|
-| 5.9 | Statechart error check | Open statechart StatechartError05.sct | There is one error marker on the entry node with the following error message:<p>"Entries must not have more than one outgoing transition."</p> | %{color:red}open% |
|
|
|
-| 5.10 | Statechart error check | Open statechart StatechartError06.sct | There is one error marker on the choice with the following error message:<p>"A choice must have at least one outgoing transition."</p><p>There is a warning maker on the choice with the following warning message:</p><p>“Missing trigger. Transition is never taken. Use 'oncycle' or 'always' instead."</p> | %{color:red}open% |
|
svenjawendler