76 PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML Die folgenden Erscheinen das Diagramm für einen verbraucherbestimmten Schiedsrichter. Eine spezifische Art MyVerdict_Type zusammen mit Schlichtungsfunktions- Schlichtung wird verwendet, den gesamten Urteilsspruch während der Testfalldurchführung zu errechnen. Die Endrunde Einschätzung wird gegeben, indem man die verbraucherbestimmten Urteilssprüche zum Urteilsspruch Ttcn-3 am Ende abbildet. Dieses ermöglicht zum Beispiel der Gebrauch von statistischen Urteilssprüchen, in denen z.B. die 5%-Ausfälle führen, um auszufallen aber weniger Störungen zu überschreiten. Der Schiedsrichter wird durch verwirklicht MTC . Es erhält Urteilsspruchupdateinformationen über einen unterschiedlichen Portschiedsrichter. Der vermittelte Urteilsspruch wird in einem lokalem gespeichert variabler mv . // die Schlichtung schreiben Sie aufgezähltes MyVerdict_Type { überschreiten Sie _, Ausfallen _, inconc _, keine _ } schreiben Sie PortAnzeige Arbiter_PType { inout MyVerdict_Type } // das MTC ist ein Steuerpult gerade schreiben Sie Bestandteil MTC_CType { tragen Sie Schiedsrichter Arbiter_PType; Benutzer definierter Schiedsrichter var MyVerdict_Type mv: = keine _; } Funktion Arbitration(BankEmulator_CType ist, HWEmulator_CType-hwe) Durchläufe auf MTC_CType { während (be.running oder hwe.running) { Alt { [ ] arbiter.receive(none _) {... } [ ]... } } } wenn (mv-==durchlauf _) { setverdict(pass) } sonst... } Die Rückstellungen in der Rückstellungshierarchie werden zu einigen altsteps abgebildet, die später entlang dieser Hierarchie hervorgerufen werden. In diesem Beispiel wird ein altstep für jede Teilart, d.h. definiert. HWEmulator_classifierdefault und BankEmulator_classifierdefault . Die Paketniveaurückstellung ATMTestDefault braucht nicht abgebildet zu werden - es wird automatisch durch die Semantik Ttcn-3 verwirklicht. altstep HWEmulator_classifierdefault() Durchläufe auf HWEmulator_CType { var, der s charstring ist; [ ] t1.timeout { arbiter.send(fail _); } [ ] hwCom.getcall(ejectCard:{ }) { arbiter.send(fail _); } [ ] hwCom.getcall(display_:{? }) - > Param (S) { wenn (s-== "Anschluß verloren") { arbiter.send(inconc _) } sonst { arbiter.send(fail _) } } } } altstep BankEmulator_classifierdefault() Durchläufe auf BankEmulator_CType { // ist leer } Die Teilart für die Testsystemschnittstelle SUT_CType wird durch die Tore netCom festgesetzt und atmPort verwendet während der Prüfung im spezifischen Testsuite. Eine Konfigurationsfunktion ATMSuite_Configuration stellt den Ausgangstest auf Konfiguration und wird an zuerst vorbei jedem Testfall dieses Testsuite hervorgerufen. // SUT schreiben Sie Bestandteil SUT_CType {