Web應用交互的建模和測試用例生成.pdf

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

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

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

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

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

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

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

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