PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML 57 Tabelle 24. Das Verhalten des invalidPIN prüfen Sie Fall Das Relaisdiagramm in Tabelle 24 spezifiziert das Verhalten für den invalidPIN()testfall. Die Testzielsetzung dieses Tests Fall ist: Überprüfen Sie, daß, wenn eine gültige Karte eingesetzt wird und ein unzulässiger Stift-Code eingetragen ist, der Benutzer aufgefordert ist, den Stift-Code wieder einzutragen. Verhalten von Testsuites und von Testfällen kann mit jedem möglichem UML-Verhalten spezifiziert werden, aber in diesem Fall ist eine Abhängigkeit verwendet. Wenn sie als Testverhalten verwendet wird, spezifiziert die Abhängigkeit die erwartete Reihenfolge der Anzeigen. Während eines Testfalles Gültigkeitserklärungtätigkeiten können verwendet werden, um den Urteilsspruch einzustellen. Gültigkeitserklärungtätigkeiten verwenden einen Schiedsrichter, um einen Urteilsspruch zu errechnen und beizubehalten für einen Testfall. Prüfen Sie Fälle zurückbringen immer Urteilssprüche. Dieses wird normalerweise implizit durch den Schiedsrichter getan und hat nicht im Testfallverhalten gezeigt werden. Im Beispiel oben, wird ein vermittelter Urteilsspruch implizit zurückgebracht. Das Diagramm oben veranschaulicht auch den Gebrauch von einem Timer und einer Dauerbegrenzung. Der TimerIST gewohnt, zu spezifizieren wie lang der Kleinteilnacheiferer wartet das display("eintragen STIFT") Anzeige. Sobald die Anzeige empfangen worden ist, der Timer wird gestoppt. Wenn die Anzeige nicht innerhalb der Grenzzeit erscheint, wird die Timer-Zeiten heraus und die Spezifikation verletzt. In diesem Beispiel, welches die Abschaltung in der Rückstellung dieses Testbestandteils angefaßt wird, siehe Tabelle 28 für Details. Das Timer-T1 ist ein Attribut des Testbestandteils HWEmulator, sehen Tabelle 22 . Sd- invalidPIN storeCardData(current) "sut" ATM hwe display("EntercStift") isPinCorrect(invalidPIN) isPinCorrect: falsch "validationAction" Durchlauf gegenwärtig { schreibgeschütztes } GanzzahleninvalidPIN; { current.isPinCorrect(invalidPIN) == falsch } isPinCorrect(invalidPIN) display("InvalidcStift") display("EntercStift wieder") isPinCorrect: falsch t1(2.0) T1 { 0.. 3 }