Etusivu Tutki Apua
Kirjaudu sisään
simon
/
yakindu
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Puu: 974b8de187
Branchit Tagit
yakindu
/
manual-tests
/
org.yakindu.sct.test.manual
/
testcases
/
sct_testcase_05_validation.textile

sct_testcase_05_validation.textile 2.5 KB
Historia Raaka

123456789101112131415 
  1. h1(#Test2). Yakindu SCT Testcase 05 - Validation
    2. 

  2. 

  3. 

  4. |_. Nr |_. Testname |_. Test Instructions |_. Postconditions |_. Status|
    5. 

  5. | 5.1 | Expression error check | Open statechart ExpressionError01.sct | There is four error markers with the following error message:<p>"entry, exit, events are allowed as local reactions only."</p> | %{color:red}open% |
    6. 

  6. | 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% |
    7. 

  7. | 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% |
    8. 

  8. | 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% |
    9. 

  9. | 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% |
    10. 

  10. | 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% |
    11. 

  11. | 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% |
    12. 

  12. | 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% |
    13. 

  13. | 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% |
    14. 

  14. | 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% |
    15. 

  15.