宋波新論文(2003-6)-revision_and_comments(編輯修改稿)
2025-02-08 03:59 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 圖 5 中， (1)定義了測(cè)試?yán)Q(chēng)，測(cè)試組件與系統(tǒng)由參量 ComponentVariant、 SystemVariant 給出。運(yùn)行該測(cè)試?yán)氖侵鳒y(cè)試部件。（ 2）定義了 2 個(gè)并行測(cè)試部件 PTC2， PTC1。(3)(4)定義了默認(rèn)處理。（ 5） （ 7）行定義了各端口之間的映射。（ 8）行對(duì)需要傳輸數(shù)據(jù)的端口之間建立連接。（ 9）行通過(guò)向所有并行部件發(fā)送 RESET 信號(hào)，使所有并行部件同步并做好準(zhǔn)備。（ 10）行設(shè)定一異常信號(hào)，一旦系統(tǒng)捕獲到此異常信號(hào)就執(zhí)行異常處理 DisposeException()。（ 11）（ 12）行起動(dòng) PTC1和 PTC2，各自分別執(zhí)行函數(shù) Ptc1Function()、 Ptc2Function()。（ 14）（ 15）行表明如果正常結(jié)束，執(zhí)行 pass 判決。 RUT PTC1 PTC2 MTC CP1 CPO1 CPO2 CP2 CP3 圖 3（ a） 測(cè)試配置示意圖 （ 1） testcase TestFragment runs on (ComponentVariant ) system (SystemVariant){ （ 2） var PTC1type PTC1:=null。var PTC2type PTC2:=NULL； //PTC1type,PTC2type 定義略 （ 3） var default mydefault:=null。 （ 4） mydefault:=activate(InitiatorDefault)。 //default activation （ 5） map(self:cp2,system:cp2)。 （ 6） map(self:cp3， system:cp3)。 （ 7） map(PTC1:CPO1,system:CPO1)。 map(PTC2:CPO2,system:CPO2)； （ 8） connect(self:cp2,PTC1:cp2)。connect(self:cp3,PTC2:cp3)。connect(PTC1:cp1,PTC2:cp1)。 （ 9） sendsignal(RESET,0) to all； （ 10） signal(EXCEPTION,0,DisposeException)； （ 11） (Ptc1Function())。 （ 12） (Ptc2Function())。 （ 13） If done（ PTC1） and done(PTC2){ （ 14） setverdict(pass)。 （ 15） ； } （ 16） DisposeException() （ 17） { setverdict(fail)。 （ 18） 。 （ 19） } （ 20） 圖 5 分段測(cè)試?yán)? RUT MTC PTC1 PTC2 CP1 CPO1 CPO2 圖 3 (b)測(cè)試配置示意圖 圖 6 定義了并行測(cè)試部件 PTC1 執(zhí)行的函數(shù)。（ 1）（ 2）（ 3）定義了函數(shù)名及默認(rèn)處理。（ 4）行 PTC1發(fā)送信號(hào) PREPARE 給部件 PTC2，讓 PTC2 做好接收數(shù)據(jù)準(zhǔn)備。（ 5）行安裝準(zhǔn)備接收信號(hào)，一旦（ 1） Ptc1Function() （ 2） { var default mydefault:=null。 （ 3） mydefault:=activate(InitiatorDefault)。 //default activation （ 4） sendsignal(PREPARE,1) to PTC2。 （ 5） signal(PREPARE,1,RecieveDataFunction(PCO1))。 （ 6） for(var integer i:=1。i=100。i:=i+1){ （ 7） if(i==5) (5)。 （ 8） （ LargePacketType:{i,3000,}） to PTC2。 （ 9） } //end for （ 10） } //function end （ 11） RecieveDataFunction(PCO x){ （ 12） For(var integer I:=1。I=100。I++) （ 13） { timer AssemblyTimer； ()。 （ 14） do { （ 15） [](FragmentPacketType:{I,IFFragment:=0,MoreFragement:=?,offset:=?,Fr
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1