74 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML Im folgenden wird ein Beispieldiagramm für die Bank-ATM-Fallstudie zur Verfügung gestellt, die im vorhergehenden Abschnitt beschrieben wird - für das Testfall- invalidPIN gegeben in Tabelle 24 . Zwei Module Ttcn-3 werden erzeugt: ein für ATM, das das SUT ist (und, definierend in einem unterschiedlichen UML-Paket) und ein anderes Modul für den ATM-Test, der auch die Tests für das Bank-ATM in einem unterschiedlichen UML-Paket definiert. Modul- ATM stellt alle Unterzeichnungen zur Verfügung, die an den SUT-Schnittstellen vorhanden sind, die während der Prüfung benutzt werden. Modul-ATM { // withdraw(amount: Ganzzahl): Boolesch Unterschriftenwithdraw(integer-Mengen) Rückkehr Boolesch; // isPinCorrect(c: Ganzzahl): Boolesch Rückkehr des UnterschriftenisPinCorrect(integer c) Boolesch; // selectOperation(op: OpKind): Boolesch OP) Rückkehr des UnterschriftenselectOperation(OpKind Boolesch; ...// und so weiter } System Unter Test (SUT) Das Testsystem macht das SUT über den Auszug zugänglich prüfen Sie Systemschnittstellen (TSI). Das SUT schließt bezüglich an sult in den Portarten benutzt von TSI. Ein zusätzliches Tor ist erforderlich mit einem verbraucherbestimmten Schiedsrichter verständigen. Möglicherweise zusätzliche Tore sollen erforderliches/ koordinieren synchronisieren Sie Testbestandteile. Schiedsrichter Der prüfenprofilrückstellungsschiedsrichter ist ein Ttcn-3 errichtet in. Verbraucherbestimmte Schiedsrichter werden durch das MTC verwirklicht. GebrauchscTeil Externe Konstanten und/oder externe Funktionen zum Verweisen und gebrauchen Sie das Gebrauchsteil, das außerhalb ist Modul Ttcn-3. TestcDaten: Wildcards Zusammenpassende Einheiten Ttcn-3. Datenlache Eine externe Konstante (auf die Daten in beziehend Datenlache) oder externe Funktionen zum Erhalten des Zuganges zu Datenlache. Datenfach Können zusammenpassende Einheiten Ttcn-3 zum han- benutzt werden dledatenfächer für Beobachtungen. Für Anregungen wie überhaupt sind Benutzer definierte Funktionen erforderlich zu verwirklichen die Testfalldurchführung mit den unterschiedlichen zu sendenden Daten zum SUT. Kodierungrichtlinien Ttcn-3 kodieren und kodieren verschiedene Attribute. ZeitcKonzepte: Timezone Kann nicht in Ttcn-3 dargestellt werden. Timer Timer Ttcn-3. a. Merken Sie bitte, daß wegen z.B. der Leistungsaspekte es nicht nur ein geben konnte -ein zum Diagramm zwischen die prüfenBestandteile profil und Ttcn-3. Stattdessen eine andere Testkonfiguration konnte verwendet werden. Tabelle 2 - Vergleich zwischen prüfenKonzepte profil und Ttcn-3 PrüfencProfil UML Ttcn-3