基于AUML模型的BDI Agent測(cè)試用例生成算法研究.pdf

1、隨著Agent技術(shù)的不斷發(fā)展和多Agent系統(tǒng)應(yīng)用的不斷普及，對(duì)Agent系統(tǒng)的測(cè)試研究也不斷成為熱點(diǎn)。目前，國(guó)內(nèi)外大多數(shù)學(xué)者和研究人員提出了各自的測(cè)試方法對(duì)Agent軟件和多Agent系統(tǒng)進(jìn)行測(cè)試，雖然這些測(cè)試方法與測(cè)試?yán)碚摰奶岢鲇行У拇龠M(jìn)了Agent軟件測(cè)試技術(shù)的發(fā)展和不斷進(jìn)步，但是，在BDI型Agent軟件測(cè)試用例自動(dòng)化生成領(lǐng)域，當(dāng)前的研究工作尚存在些許的不足。
　　為了提高BDIAgent的測(cè)試效率和測(cè)試結(jié)果，本文提出了一

2、種基于AUML序列圖模型的BDIAgent測(cè)試方法。在本文提出的算法中，測(cè)試方法以BDI推理模型為研究對(duì)象，通過(guò)目標(biāo)規(guī)劃樹(shù)來(lái)確定單Agent處理復(fù)雜問(wèn)題的行為邏輯。通過(guò)遍歷算法確定單Agent的行為軌跡，在此基礎(chǔ)上，基于AUML序列圖模型分析多Agent系統(tǒng)間Agent交互關(guān)系。然后，對(duì)AUML模型中的序列圖進(jìn)行分析，做Agent間的交互測(cè)試。首先，將序列圖中的消息進(jìn)行提取，確定MAS中每個(gè)Agent所要處理的消息事件集合;然后，依據(jù)消