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

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

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

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