基于有限狀態(tài)機(jī)理論的Web功能自動(dòng)化測(cè)試技術(shù)研究.pdf

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

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

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