PrüfenAngenommene Spezifikation Des PROFILS 2,0 UML 65 Tabelle 37. US eingeleitet, Verhandlung verdrahtend Tabelle 38. Verhandlungdetail Tabelle 39 veranschaulicht das Verhalten des Bestandteils LoadArbiter, der feststellt, ob oder nicht der Laststest war erfolgreich oder nicht "testComponent" lm "testComponent" tc "sut" usATM runUSTrxn(dp.getUSTrxnData()) Hinweis startTest Sd USWiring { 0,,4 } tc() "sut" usBank "sut" euBank "validationAction" Durchlauf numUsers numUsers=numUsers-1 numUsers=numUsers+1 Sd- runUSTrxn(p: TrxnData) tc "sut " usATM Hinweis authorizeCard selectOperation(wireMoney) atmPort usBank euBank startTest "sut " "sut " checkBalance(p.euAccount ) checkBalance(-): initUSbal display("Enter SCHNELL und Kontonummer") checkBalance(-): initEUbal checkBalance(p.usAccount ) display("Depositgeld") acceptMoney() acceptMoney:p.amount getTransactionInfo(targetBank, targetAccount) display("Transaction Angenommen") selectOperation: zutreffend Credit(p.amount) Credit:true checkBalance(p.euAccount ) checkBalance(-): initUSbal-p.amount checkBalance(-): initEUbal+p.amount checkBalance(p.usAccount )