| |
60 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML wendet an allem Test das Verhalten an, das durch den Testbestandteil besessen wird. Tabelle 29. Paketniveaurückstellung In einigen Fällen ist es notwendig, eine Rückstellung an vielen anzuwenden, oder alle Elemente in einem Test modellieren. Nehmen Sie z.B. daß Sie an Notwendigkeit, die UML-Semantik auf Fälle einzustellen. Es sei denn ausdrücklich aufgeschoben, werden Fälle bei Empfang weggeworfen. Dieses Macht von einer prüfenperspektive wünschenswert nicht sein, in der alle Fälle als wichtig gelten. Tabelle 29 zeigt wie dieses kann indem das Definieren einer Rückstellung mit dem gewünschten Verhalten und das Anwenden sie an einem Paket vollendet werden. Rückstellungen angewendet worden an ein Paket trifft auf alle Testbestandteile im Paket zu und folglich, müssen sie häufig in ihrem sehr allgemein sein Spezifikation. Das ATMTestDefault enthält Wildcards, um auf alle Testbestandteile im Paket anwendbar zu sein. Stern ' * ' im Zustandsymbol bedeutet ' jeden möglichen Zustand ', und der Stern vor der aufschiebenaussage bedeutet irgendein Signal. Jedes mögliches Testverhalten können einige Rückstellungen gleichzeitig beantragen werden. In unserem Beispiel beim Empfangen display("Transaction geltende") Anzeige, drei Rückstellungen sind aktiv: DisplayDefault , hweDefault und ATMTestDefault . Wenn eine Rückstellung nicht eine Anzeige anfaßt, wird die folgende Rückstellung und so weiter überprüft. Die Auswertung Auftrag wird durch den Bereich erteilt, auf dem die Rückstellungen angewendet werden. Auswertung beginnt am innersten Bereich und überquert außerhalb. Tabelle 30. Prüfen Sie Teilverhalten In vielen Fällen gibt es eine Notwendigkeit, das ausführliche Verhalten der Bestandteile des einzelnen Tests, z.B. für Testerzeugung zu spezifizieren Zwecke. Dieses wird getan, indem man das Klassifikatorverhalten eines Testbestandteils spezifiziert. Diagramme Statemachine sind verwendbar für dieses. Tabelle 30 enthält Teile des Testverhaltens für den Testbestandteil HWEmulator. (das Teil, das entspricht der invalidPINtestfall.) * */schieben Sie auf "Rückstellung" statemachine ATMTestDefault Rückstellung ATMTestDefault ATMTest WaitMessage storeCardData() displayMessage(message) [ Anzeigen== "kommen STIFT" ] [ sonst ] pinOk: = isPinCorrect(enteredPIN); [ pinOK== falsch ] [ pinOK== zutreffend ] "validationAction" Durchlauf "validationAction" Ausfallen Kodierung "STIFT wird verschlüsselt" "testCase" statemachine HWEmulator |  |
|
| |
|
|