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:

"entry and exit events are allowed as local reactions only."

| %{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:

"In/Out declarations are not allowed in internal scope."

| %{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:

"Local declarations are not allowed in interface scope."

| %{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:

"Only one default/unnamed interface is allowed."

| %{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:

"A state must have a name."

| %{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:

"Outgoing Transitions from Entries can not have a Trigger or Guard."

| %{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:

"Duplicate SpecificationElement 'A' in Region 'main region'"

| %{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:

"Node is not reachable."

| %{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:

"Entries must not have more than one outgoing transition."

| %{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:

"A choice must have at least one outgoing transition."

There is a warning maker on the choice with the following warning message:

“Missing trigger. Transition is never taken. Use 'oncycle' or 'always' instead."

| %{color:red}open% |