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

1、GUI測試多采用基于規(guī)約(Specification)的方法，即檢查軟件實現(xiàn)是否與規(guī)約一致。這種測試通常先基于規(guī)約建立測試模型，然后再在模型的基礎上生成測試用例。當前描述GUI的測試模型多采用有限狀態(tài)機(FSM)。使用FSM描述GUI模型有一定的局限性： (1)狀態(tài)爆炸問題。GUI是事件驅動的，輸入事件排列空間非常大，這導致了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網來描述GUI的交互模型。Petri網通過初始狀態(tài)和變遷的規(guī)則來描述系統(tǒng)行為，而不是采用全局狀態(tài)以及羅列出所有可能轉換的方式，這使得Petri網能以更簡約的方式描述GUI交互模型，而且Petri網的描述能力比FSM更強，能較

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