Web應(yīng)用交互的建模和測試用例生成.pdf

1、Web應(yīng)用的巨大成功和不斷發(fā)展，使其滲透到國計民生、商業(yè)領(lǐng)域和個人生活的各個方面。Web應(yīng)用是一種非常復(fù)雜的、分布式的、多層結(jié)構(gòu)的交互式應(yīng)用系統(tǒng)，為用戶提供了一種全新的部署軟件應(yīng)用的方式。Web應(yīng)用的異構(gòu)性、動態(tài)性、連接的多樣性、控制流程的可變性以及需要快速開發(fā)與發(fā)布等特性給Web應(yīng)用的建模和測試帶來了新的挑戰(zhàn)。目前還沒有比較系統(tǒng)的方法和工具對Web應(yīng)用進行有效的建模和測試。Web應(yīng)用的特性要求必須對傳統(tǒng)的建模和測試方法進行改進或提出新

2、的適合Web應(yīng)用特性的建模和測試方法。目前對Web應(yīng)用的建模和測試工作基本上都是Web應(yīng)用的靜態(tài)導(dǎo)航建模和測試，很少關(guān)注Web應(yīng)用的交互特性。而交互特性關(guān)乎于Web應(yīng)用的功能性，Web應(yīng)用從它出現(xiàn)之日起，它就是一個交互式系統(tǒng)。因此，迫切需要一套新的Web應(yīng)用建模和測試方法來保證Web應(yīng)用交互的可靠性，從而最終來保證Web應(yīng)用功能的正確性和安全性。
　　 本文研究的對象是Web應(yīng)用，重點研究Web應(yīng)用中交互的建模和測試。主要貢獻和

3、創(chuàng)新如下：
　　 1.Web瀏覽器的交互行為消極地影響Web應(yīng)用的安全性、功能性和導(dǎo)航的正確性。針對該問題論文，考慮了由于瀏覽器的交互而可能導(dǎo)致的和Web應(yīng)用設(shè)計不一致的方面，提出了Web應(yīng)用on-the-fly導(dǎo)航建模方法和測試生成方法。采用擴展的FSM(OFNM/FSM)來對on-the-fly導(dǎo)航模型進行形式化描述，并給出了從OFN M/FSM派生FSM測試樹(FSM Test-Tree, FSM-TT)的算法，最后，從構(gòu)

4、造得到的FSM-TT中產(chǎn)生測試用例，并滿足相應(yīng)的測試覆蓋準(zhǔn)則。
　　 2．隨著Web應(yīng)用的不斷演化，數(shù)據(jù)庫已在Web應(yīng)用中得到了廣泛使用。數(shù)據(jù)庫交互已經(jīng)成為目前Web應(yīng)用的關(guān)鍵功能特性之一。針對該問題，論文在對Web應(yīng)用進行建模和測試時考慮數(shù)據(jù)庫交互。采用GFSMs(Guarded Finite State Machines)作為數(shù)據(jù)庫交互的建模工具。從得到的GFSM中構(gòu)造一個GFSM-TT(GFSM test-tree)?；?/p>

5、GFSM-TT派生出最小測試集，這樣就完成了測試生成。設(shè)計了一個算法來對測試路徑進行優(yōu)化，從而減少路徑中重疊部分，消除了部分冗余。
　　 3.Web應(yīng)用越來越依賴于后臺數(shù)據(jù)庫給其提供豐富的功能。ASP. NET支持事件驅(qū)動（event-driven）的編程范式，具有代碼隱藏特性(code-behind feature)，使得超文本標(biāo)記語言(HTML)與表示邏輯完全分離。此外，數(shù)據(jù)庫交互影響Web應(yīng)用的導(dǎo)航和功能性。對于ASP.

6、NET編程范式的數(shù)據(jù)庫交互的抽取和測試還鮮有報道。論文提出了基于事件的依賴圖模型（event-based dependence graph models, EDGMs）來對Web應(yīng)用中數(shù)據(jù)庫交互進行抽取和建模的方法。采用FSM來對Web頁面的呈現(xiàn)(presentation)建模（也就是對Web頁面的.aspx部分建模），采用控制流圖（Control Flow Graph, CFG）和數(shù)據(jù)庫交互流圖( Database Interacti

7、on Flow Graph, DIFG)來抽取和建模Web頁面對應(yīng)的邏輯處理部分(. cs)。根據(jù)得到的EDGMs，構(gòu)造一棵FSM測試樹(FSM test-tree，F(xiàn)SM-TT)。根據(jù)構(gòu)造的FSM-TT，產(chǎn)生測試序列。結(jié)合Web頁面的FSM(s)可以進一步具體化得到的測試序列。這樣就可以獲得更加詳細的測試序列。
　　 4.Web瀏覽器的行為會影響到Web應(yīng)用的正確性，當(dāng)把它部署在其支持環(huán)境中時有可能導(dǎo)致功能失常。針對Web瀏覽

8、器的交互行為問題，論文提出一種通過組合Web應(yīng)用的功能模塊（用例）和瀏覽器交互行為的Web應(yīng)用建模方法。Web應(yīng)用被看作是一個由不同的功能模塊構(gòu)成的系統(tǒng)。最后給出了測試的生成和優(yōu)化算法。
　　 5．論文從一般的Web應(yīng)用的頁面導(dǎo)航模型（UML狀態(tài)圖）出發(fā)，設(shè)計并實現(xiàn)了帶瀏覽器交互的Web應(yīng)用的自動建模和測試用例自動生成的工具原型AGT4W(Automatic Generating Tests for Web Applicatio