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

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

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