56 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML Tabelle 22. Das Paket ATMTest Paket ATMTest in Tabelle 22 enthält alle vorbildlichen Elemente, die notwendig sind, unsere Tests völlig zu spezifizieren. ATMTest importiert ATM-Paket zum Erhalten des Zuganges zu den Elementen geprüft zu werden. ATMTest besteht aus Test einem Testsuite, -ATMSuite und -zwei Bestandteile, BankEmulator und HWEmulator. ATMSuite hat drei testcases: validWiring(), invalidPIN() und authorizeCard(). Zwei haben allgemeine Sicht und privates eins. Die Testbestandteile führt die Schnittstellen von ein Pakete HWEmulator und BankNetwork und dienen als Nacheiferer für diese Pakete. Tabelle 23. Die zusammengesetzte Struktur des Testsuite ATMSuite Die Testkonfiguration, d.h. die zusammengesetzte Struktur vom Testsuite, wird in Tabelle 23 gezeigt über. Der Test Konfiguration spezifiziert, wie die SUT, eine Anzahl von Testbestandteilen und ein Gebrauchsteil in einem bestimmten Test benutzt werden Suite. Tore und Stecker werden benutzt, um mögliche Weisen der Kommunikation zu spezifizieren. Jede Testkonfiguration muß bestehen von mindestens einem SUT. Die zusammengesetzte Struktur ATMSuite besteht aus einem SUT, zwei Testelementen und einem Gebrauchsteil. Das SUT, ATM, ist geschrieben durch die Kategorie BankATM vom ATM-Paket. Das SUT wird an zwei Teile angeschlossen, die durch Testbestandteile geschrieben werden, seien Sie und hwe. Zusätzlich gibt es ein Gebrauchsteil, der Strom, benutzt durch hwe. Eine Kodierungrichtlinie wird an den Toren des ATMS angewendet und soll zeigen, daß die Kommunikation zwischen diesen Eigenschaften verschlüsselt wird. ATMTest "testSuite" ATMSuite - Urteilsspruch: Urteilsspruch - Menge: IMoney - targetBank: SwiftId - targetAccount: Zeichenkette - sourceAccount: Zeichenkette "testCase" +validWiring(): Urteilsspruch "testCase" +invalidPIN(): Urteilsspruch "testCase" - authorizeCard(): Urteilsspruch * - Konten "testComponent" BankEmulator IBank ATM "Import" "Schnittstelle" IAccount - pinOk: Boolesch - enteredPIN: Zeichenkette - Anzeige: Zeichenkette - T1: Timer "testComponent" HWEmulator hwCom IATM IHardware "sut " ATM: BankATM hwe: HWEmulator seien Sie: BankEmulator atmPort bankCom Strom: CardData "testSuite" Kategorie ATMSuite Kodierung "verschlüsselt"