PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML 55 6,5,2 Bank-ATM-Beispiel Dieses Teil des Beispiels veranschaulicht, wie das prüfenprofil für das Spezifizieren der Tests an der Integration und am System verwendet werden kann Niveaus. Der Zweck dieser Tests ist, die Logik der ATM-Maschine zu überprüfen, wenn ein Benutzer eine Verhandlung zu einleitet legen Sie nieder und verdrahten Sie Geld zu einem Konto in einem anderen Teil der Welt. Dieses umfaßt das Autorisieren einer Karte und des Stift-Codes und Kommunikation mit dem Banknetz einleitend. Alle die Kleinteile, die Bank und Network Connections werden emuliert, da wir die Logik der ATM-Maschine selbst nur prüfen. Die ATM-Logik wird im ATM-Paket spezifiziert. Das ATM-Paket das Paket HWControl in dem importiert Schnittstellen zu den Kleinteilen wird und das Bankpaket spezifiziert, in dem die Schnittstelle zur Bank spezifiziert wird. Tabelle 20 unterhalb der Erscheinen die Pakete mit einbezogen in dieses Teil des Beispiels. Tabelle 20. ATM und in Verbindung stehende Pakete. Tabelle 21 zeigt die allgemeinen Teile dieser Pakete. Die Kategorie BankATM steuert die ATM-Logik und ist der Fokus von unsere Tests. Sie führt die IATM-Schnittstelle für die Steuerlogik ein und beruht auf einer Anzahl von Schnittstellen, um in Verbindung zu stehen mit den Kleinteilen und der Bank. Seit den Kleinteilen und der Bank wird, nur die Schnittstellen der Pakete HWControl und der Bank emuliert, die durch benutzt werden Kategorie BankATM werden gezeigt. Tabelle 21. Elemente des zu prüfenden Systems ATM HWControl Bank "Import" "Import" ATM BankATM IATM IHardware atmPort IBank bankCom "Schnittstelle" IATM withdraw(amount: IMoney): Boolesch deposit(amount: IMoney): Boolesch isPinCorrect(c: Ganzzahl): Boolesch selectOperation(op: OpKind): Boolesch storeCardData(c: CardData) storeSWIFTNumber(id: SwiftId, Konto: Zeichenkette) "Aufzählung" OpKind withdrawMoney getBalance wireMoney CardData pinCode: Ganzzahl cardNumber: Zeichenkette isPinCorrect(c: Ganzzahl): Boolesch "Schnittstelle" IBank debitAccount(accnt: Zeichenkette, Menge: IMoney): Boolesch depositAccount(account: Zeichenkette, Menge: IMoney): Boolesch findAccount(c: CardData): Zeichenkette wireMoney(amount: IMoney, Ziel: SwiftId, Konto: Zeichenkette): Boolesch checkCredentials(account: Zeichenkette): Boolesch Bank "Schnittstelle" IHardware getStatus(): Boolesch ejectMoney(amount: IMoney) acceptMoney(): IMoney Anzeige (Anzeige: Zeichenkette) ejectCard(): Boolesch getTransactionInfo(inoutkonto: Zeichenkette, inoutbic: SwiftId) HWControl