基于Petri網(wǎng)的GUI交互模型及測(cè)試用例生成研究.pdf

1、GUI測(cè)試多采用基于規(guī)約(Specification)的方法，即檢查軟件實(shí)現(xiàn)是否與規(guī)約一致。這種測(cè)試通常先基于規(guī)約建立測(cè)試模型，然后再在模型的基礎(chǔ)上生成測(cè)試用例。當(dāng)前描述GUI的測(cè)試模型多采用有限狀態(tài)機(jī)(FSM)。使用FSM描述GUI模型有一定的局限性： (1)狀態(tài)爆炸問題。GUI是事件驅(qū)動(dòng)的，輸入事件排列空間非常大，這導(dǎo)致了GUI在運(yùn)行的過程中呈現(xiàn)出多種可能狀態(tài)，而FSM通過全局狀態(tài)來(lái)描述系統(tǒng)行為，這會(huì)使FSM的狀態(tài)隨著GUI

2、狀態(tài)的增長(zhǎng)而劇增。 (2)描述能力不足問題。FSM沒有專門的機(jī)制來(lái)存儲(chǔ)歷史信息，只能通過有限的狀態(tài)量來(lái)作記錄，因此難以描述GUI中像Undo/Redo這一類行為。 為了解決這些問題，本文采用Petri網(wǎng)來(lái)描述GUI的交互模型。Petri網(wǎng)通過初始狀態(tài)和變遷的規(guī)則來(lái)描述系統(tǒng)行為，而不是采用全局狀態(tài)以及羅列出所有可能轉(zhuǎn)換的方式，這使得Petri網(wǎng)能以更簡(jiǎn)約的方式描述GUI交互模型，而且Petri網(wǎng)的描述能力比FSM更強(qiáng)，能較

3、好地描述Undo/Redo這一類行為。 本文給出了基于Petri網(wǎng)的GUI交互模型的定義、性質(zhì)和如何建立這種模型的方法，并通過大量的例子和實(shí)驗(yàn)說(shuō)明Petri網(wǎng)用于描述GUI交互模型的優(yōu)越性。 在GUI的Petri網(wǎng)模型的基礎(chǔ)上，本文設(shè)計(jì)了基于可達(dá)圖生成測(cè)試用例的方法，這種方法能為測(cè)試用例的每個(gè)事件都生成預(yù)期狀態(tài)，解決了GUI測(cè)試生成預(yù)期狀態(tài)難的問題。結(jié)合已有的工作本文又給出了三種覆蓋標(biāo)準(zhǔn)：Length N標(biāo)準(zhǔn)、全路徑標(biāo)準(zhǔn)