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

1、圖形用戶界面(GUI)是當今軟件中的一個必不可少的組成部分，它是軟件底層代碼的前端并使得軟件易于使用，現(xiàn)在圖形用戶界面已經(jīng)被廣泛地使用。與傳統(tǒng)的軟件相比，GUI軟件具有許多不同的特點，因此，GUI的測試仍然是一個有待進一步研究的領(lǐng)域。 本文對GUI測試的研究，主要工作有：第一是GUI的形式化描述，第二是GUI測試用例的生成。Petri網(wǎng)是一種可用到很多系統(tǒng)和領(lǐng)域中的圖形和數(shù)學工具，我們采用Petri網(wǎng)作為描述GUI的工具，能夠有

2、效地描述和模擬系統(tǒng)的動態(tài)特性。文中提出了基于基本Petri網(wǎng)的GUI模型，說明了如何用這個模型對實際的GUI系統(tǒng)進行建模，并且給出了建模的實例。由于GUI測試用例的生成是基于有限狀態(tài)機(FSM)的，所以本文進一步研究了從Petri網(wǎng)到FSM的轉(zhuǎn)換。文章中提出了轉(zhuǎn)換定理，進行了證明，并給出了轉(zhuǎn)換的算法；同時用該轉(zhuǎn)換算法對以Petri網(wǎng)建模的GUI實例進行了轉(zhuǎn)換，即將其轉(zhuǎn)換為FSM的模型。本文選擇基于覆蓋的方法來生成GUI測試用例，這種方法