78 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML Arbitration(be, hwe); } Die folgende Tabelle faßt das Diagramm der Testmodelelemente für das invalidPIN zusammen prüfen Sie Fall zu Ttcn-3. Tabelle 3 - Diagramm von invalidPIN zu Ttcn-3 PrüfencProfil UML Ttcn-3 Paket-ATM Modul-ATM Paket ATMTest Modul ATMTest testSuite ATMSuite Gruppe ATMSuite testComponent BankEmulator schreiben Sie TeilBankEmulator Schnittstelle von BankEmulator schreiben Sie PortnetCom_PType testComponent HWEmulator schreiben Sie TeilHWEmulator Schnittstelle von HWEmulator schreiben Sie PortatmPort_PType Timer von HWEmulator Timer von componentHWEmulator BetriebsstoreCardData UnterschriftenstoreCardData Betriebsanzeige Unterschriftenanzeige _ BetriebsisPinCorrect UnterschriftenisPinCorrect prüfen Sie Verhalten von HWEmulator FunktionsinvalidPIN_hwe Klassifikatorrückstellung von HWEmulator altstep HWEmulator_classifierdefault interne Struktur von ATMSuite Funktion ATMSuite_Configuration testCaseinvalidPIN testcase invalidPIN_test