Web應(yīng)用模型的形式化與優(yōu)化及其可視化方法研究.pdf

1、Web應(yīng)用的出現(xiàn)與盛行已將軟件產(chǎn)業(yè)悄然帶入規(guī)?；?、復(fù)雜化的時代，提高其檢測方法的自動化程度是當(dāng)務(wù)之急。因此，我們采用基于模型的測試方法，以Web應(yīng)用模型作為測試用例的來源。另外，為了使該模型與用戶需求保持一致，必須對其應(yīng)滿足的各種性質(zhì)進(jìn)行驗證。由此可知，模型構(gòu)建是重要問題。 UML是理想的需求與設(shè)計模型語言，而模型檢驗與測試自動化要求模型用統(tǒng)一的形式化語言描述。鑒于大多數(shù)模型檢驗工具以FSM模型作為輸入，本文提出了一種將UML

2、模型形式化為FSM模型的方法，使之滿足檢測過程的需要。由于狀態(tài)圖代表系統(tǒng)行為的最小單位，本文從它們的形式化著手。另外，順序圖也是描述系統(tǒng)行為的常用模型，本文亦對其進(jìn)行了研究并給出相應(yīng)的形式化方法，不但服務(wù)于檢測過程，也可用于后續(xù)歸約過程。 高復(fù)雜度的Web應(yīng)用軟件將導(dǎo)致大規(guī)模的FSM模型，并可能引發(fā)狀態(tài)爆炸。為了解決這個問題，我們利用歸約指示及本文提出的一系列相關(guān)算法，對前期模型形式化后獲得的系統(tǒng)FSM模型進(jìn)行歸約優(yōu)化，產(chǎn)生只描

3、述用戶所要求測試的功能的FSM模型。該方法主要可分為兩步，首先生成形式化的歸約指示，將順序圖模型轉(zhuǎn)換為FSM模型，然后以該形式化的歸約指示為指導(dǎo)，對系統(tǒng)FSM模型執(zhí)行歸約操作，達(dá)到優(yōu)化的目的。 FSM是我們研究工作中系統(tǒng)行為的重要描述形式，它為各環(huán)節(jié)傳遞信息，但計算機(jī)處理能力的局限性迫使模型只能以文本為載體。為了直觀地了解其結(jié)構(gòu)，本文給出了一種層次FSM模型的可視化方法。它首先讀取模型文本，并以層次化的數(shù)據(jù)結(jié)構(gòu)進(jìn)行存儲，然后根