基于有限狀態(tài)機理論的Web功能自動化測試技術研究.pdf

1、隨著Web應用廣泛進入教育、銀行、航空、電子商務等領域,系統的規(guī)模急劇擴大,業(yè)務邏輯和流程變得復雜,Web功能測試的作用也顯得越來越重要。面對系統規(guī)模的增大及復雜性的提高,Web功能測試需要更完善的系統方法和測試模型,以便有效地展開自動化測試。雖然現在已經有一些Web測試模型,但是它們主要從交互導航、系統結構等角度進行建模,并不適用于功能測試,而且大部分模型與實際工程應用之間存在一定的差距。針對這些問題,本文對Web功能測試進行了建模,

2、并與實際應用相結合,開發(fā)了一個Web功能測試工具。該工具可以較全面地測試Web應用程序的各類缺陷,并擴大測試覆蓋率。本文的主要工作包括:(1)提出了一種Web功能測試模型。對Web應用中的實體對象進行劃分,結合有限狀態(tài)機理論對Web功能測試進行建模,以形式化的方式描述了Web功能測試在測試用例驅動下的行為,較好地體現出其動態(tài)交互特征。(2)設計了兩種基于XML的語言:FFSMDL和TCDL。這兩種語言分別用于定義Web功能測試模型和描述

3、測試用例,實現了從模型到測試腳本的轉換,是該模型和測試工具之間的橋梁。(3)基于以上工作實現了一個Web功能測試工具。它用于解析出測試人員定義的測試模型,找出所有可能的測試路徑,結合測試用例產生可執(zhí)行的測試腳本,并自動執(zhí)行測試。該方法在測試人員定義功能測試模型和測試用例的基礎上,實現了Web功能測試自動化。它能夠針對Web應用程序的各類缺陷進行檢測,包括遺漏的以及不符合規(guī)格說明的功能。同時,它改善了傳統測試方法中測試用例與測試腳本緊密結