Download ScatterClipse: Architekturzentrierte Plattform und Werkzeuge für

11.5. Die in Checks formulierten Randbedingungen
11.5.1. Randbedingungen in Visual ScatterUnit
Im Folgenden wird eine breite Auswahl der in Visual ScatterUnit definierten ChecksAusdrücke aufgelistet [Kame08]. Die in den Ausdrücken vorkommenden
Modellvariablen beziehen sich auf die Entitäten des für Visual ScatterUnit definierten
Metamodells, welches in der Abbildung 90 dargestellt wurde.
context testcase::TestCaseDiagram
ERROR ”Exactly one initial node must exist.” :this.initialNode != null;
context testcase::TestCaseDiagram
ERROR ”Exactly one final node must exist.” :this.finalNode != null;
context testcase::TestCaseDiagram
ERROR ”At least one control path must exist.” :this.controlPathes.size > 0;
context testcase::TestCaseDiagram
ERROR ”Circular links are not allowed.” :this.initialNode != null ?
this.initialNode.checkForCircularLinks() == false : true;
context testcase::InitialNodeOfTheTestCase
ERROR ”The initial node must not have any incoming links.” :
this.incoming.size == 0;
context testcase::InitialNodeOfTheTestCase
ERROR ”The initial node must have exactly one outgoing link.” :
this.outgoing.size == 1;
context testcase::FinalNodeOfTheTestCase
ERROR ”The final node must have exactly one incoming link.” :
this.incoming.size == 1;
context testcase::FinalNodeOfTheTestCase
ERROR ”The final node must not have any outgoing links.” :
this.outgoing.size == 0;
context testcase::Link ERROR ”The source node of this link is not specified.”
:this.source != null;
context testcase::Link
ERROR ”The target node of this link is not specified.” :
this.target != null;
162