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

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

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

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