|
@@ -1,11 +1,12 @@
|
|
-h1(#Test2). Yakindu SCT Testcase 05 - Validation
|
|
|
|
|
|
+h1. YAKINDU Statechart Tools – Testcase 05 - Validation
|
|
|
|
|
|
|
|
|
|
|_. Nr |_. Testname |_. Test Instructions |_. Postconditions |_. Status|
|
|
|_. 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.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 specification 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 specification 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 specification section with the following error message:<p>"Only one default/unnamed interface is allowed."</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.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.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.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% |
|