PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML 75 Das Modul für den ATM-Test ATMTest ? importiert alle Definitionen vom ATM-Modul, ? definiert die Gruppe für den ATM-Testsuite, ? stellt innerhalb dieser Gruppentor- und -bestandteilartdefinitionen, die Funktion zum Satz oben das Ausgangstestcon- zur Verfügung figuration und schließlich die Testfälle. , um dieses Diagramm compelling zu bilden, wird ein verbraucherbestimmter Schiedsrichter zusätzlich und die Rückstellung angenommen die Behandlung wird ausdrücklich gebildet. Modul ATMTest { importieren Sie aus ATM alle; // GebrauchsIAccount schreiben Sie RekordIAccount { Ganzzahlenabgleichung, charstring Zahl } externes const IAccount accounts[0..infinity ]; Gruppe ATMSuite { ...// alle Definitionen, welche die Tests für ATM festsetzen }// Gruppe ATMSuite }// Modul ATMTest Die erforderlichen und zur Verfügung gestellten Schnittstellen werden in entsprechendem Portdefinitions- atmPort_PType reflektiert und netCom_PType , die dann in den Teilartdefinitionen verwendet werden BankEmulator_CType und HWEmulator_CType die Bestandteilarten für das PTCs festsetzen: // angeforderte Schnittstellen: IHardware // zur Verfügung gestellte Schnittstelle: IATM schreiben Sie PortatmPort_PTypeverfahren { in der Anzeige _, ejectCard, ejectMoney, acceptMoney, getStatus; IHardware aus treten Sie, isPinCorrect, selectOperation zurück, storeCardData, storeSWIFTnumber; IBank } // angeforderte Schnittstelle: IBank // keine zur Verfügung gestellte Schnittstelle schreiben Sie PortnetCom_PTypeverfahren { im debitAccount depositAccount, findAccount, wireMoney, checkCredentials//IBank } // Testteilart BankEmulator schreiben Sie Bestandteil BankEmulator_CType { tragen Sie netCom_PTypebePort; tragen Sie Schiedsrichter Arbiter_PType; Benutzer definierter Schiedsrichter } // Testteilart HWEmulator schreiben Sie Bestandteil HWEmulator_CType { tragen Sie atmPort_PTypehwCom; Boolesches pinOk var; charstring enteredPIN var; charstring Anzeige var _; Timer-T1; }