PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML 77 PortnetCom_PType netCom; PortatmPort_PTypeatmPort; } // gründen Sie die Konfiguration Funktion ATMSuite_Configuration (im SUT_CType-theSUT, im MTC_CType-theMTC, inout BankEmulator_CType ist, hwe des inout HWEmulator_CType) { be:=BankEmulator_CType.create; map(theSUT:netCom, be:bePort); Diagramm zum SUT hwe:=HWEmulator_CType.create; map(theSUT:atmPort, hwe:hwCom); Diagramm zum SUT connect(theMTC:arbiter, be:arbiter); Schlichtung connect(theMTC:arbiter, hwe:arbiter); Schlichtung } Das invalidPIN prüfen Sie hwe PTCs des Fallgebrauches zwei und seien Sie jedes, das sein eigenes Testverhalten hat, das vorbei definiert wird Verhaltensfunktions- invalidPIN_hwe und invalidPIN_be wie unten gezeigt. FunktionsinvalidPIN_hwe(integerinvalidPIN) läuft auf HWEmulator_CType { activate(HWEmulator_classifierdefault()); // hier benötigen wir Testableitung // gerade für diese direkte Definition des Beispiels entlang der Rettungsleine var Boolesch enterPin_reply; hwCom.call(storeCardData:{current}, nowait); t1.start(2.0); hwCom.getreply(display_:{"Enter-STIFT "}); t1.stop; hwCom.call(isPinCorrect:{invalidPIN}, 3.0) { [ ] hwCom.getreply(isPinCorrect:{? } Wert falsch) { } } hwCom.getreply(display_:{"Invalid-STIFT "}); hwCom.getreply(display_:{"Enter-STIFT wieder "}); arbiter.send(pass-_);// lokaler Urteilsspruch zum Schiedsrichter } FunktionsinvalidPIN_be()durchläufe auf BankEmulator_CType { activate(BankEmulator_classifierdefault()); // nichts mehr } Schließlich kann der Testfall zur Verfügung gestellt werden. Entsprechend der Ausgangstestkonfiguration zwei PTCs hwe und seien Sie werden verwendet. Konfiguration wird mit ATMSuite_Configuration aufgestellt . Nachdem der Wert für das Datenfach zugänglich gemacht worden ist giveInvalidPIN(current) , das Testverhalten auf dem PTCs wird mit begonnen invalidPIN_hwe und invalidPIN_be . Der Schiedsrichter Arbitration(be, hwe) steuert den korrekten Endpunkt des Testfalles. Dieses führt das Diagramm durch. // +invalidPIN(): Urteilsspruch testcaseinvalidPIN_test() Durchläufe auf MTC_CType-System SUT_CType { hwe var HWEmulator_CType; var BankEmulator_CType ist; Erstkonfiguration ATMSuite_Configuration(system, mtc, ist, hwe); constganzzahleninvalidPIN: = giveInvalidPIN(current); hwe.start(invalidPIN_hwe(invalidPIN)); be.start(invalidPIN_be());