基于Concolic的Web動(dòng)態(tài)頁(yè)輸出異常自動(dòng)檢測(cè)方法研究.pdf

1、隨著軟件技術(shù)的發(fā)展，Web應(yīng)用已經(jīng)變得越來(lái)越龐大和復(fù)雜，Web頁(yè)面也以指數(shù)級(jí)增長(zhǎng)，而開(kāi)發(fā)周期卻越來(lái)越短、維護(hù)更新也更為頻繁，這就導(dǎo)致目前實(shí)際開(kāi)發(fā)中Web頁(yè)面常用的單元測(cè)試方法在面對(duì)動(dòng)態(tài)Web程序呈現(xiàn)的新特性如輸入空間巨大、內(nèi)容動(dòng)態(tài)生成、控制流可變性等呈現(xiàn)出低效、重復(fù)的測(cè)試局限性。獲得有效的測(cè)試數(shù)據(jù)和提高程序缺陷發(fā)現(xiàn)率是保障軟件測(cè)試有效性的兩種最重要的手段，本文從這兩點(diǎn)著手，研究一種能自動(dòng)分析程序生成測(cè)試數(shù)據(jù)并驗(yàn)證 Web動(dòng)態(tài)頁(yè)程序是否發(fā)

2、生異常的自動(dòng)檢測(cè)方法，使得在單元測(cè)試中就能盡早且盡可能發(fā)現(xiàn)Web輸出異常，提高Web應(yīng)用程序測(cè)試的客觀性及有效性。
　　本文在對(duì)動(dòng)態(tài)頁(yè)的特點(diǎn)及其輸出異常表現(xiàn)進(jìn)行分析的基礎(chǔ)上，首先提出一種自動(dòng)檢測(cè)單個(gè)Web動(dòng)態(tài)頁(yè)輸出異常的策略，該策略是基于Concolic方法自動(dòng)生成輸入數(shù)據(jù)驅(qū)動(dòng)程序運(yùn)行并以html語(yǔ)法為測(cè)試規(guī)范驗(yàn)證輸出，實(shí)現(xiàn)對(duì)Web動(dòng)態(tài)頁(yè)輸出異常的自動(dòng)檢測(cè)。在該策略中所生成的輸入數(shù)據(jù)能驅(qū)動(dòng)程序執(zhí)行所有的可達(dá)狀態(tài)，從而深度遍歷被測(cè)程

3、序的所有分支，有效地解決目前 web單元測(cè)試中面對(duì)巨大輸入空間測(cè)試輸入難以選擇的問(wèn)題，避免了對(duì)人工經(jīng)驗(yàn)的過(guò)大依賴，減小了測(cè)試盲目性。其次在針對(duì)多個(gè)動(dòng)態(tài)頁(yè)的模塊級(jí)檢測(cè)方面，探討分析多個(gè)動(dòng)態(tài)頁(yè)之間主要是通過(guò)狀態(tài)變量傳遞來(lái)維系的，在提出的針對(duì)單個(gè)動(dòng)態(tài)頁(yè)輸出異常檢測(cè)策略的基礎(chǔ)上，引入狀態(tài)轉(zhuǎn)換概念，提出一種針對(duì)多個(gè)動(dòng)態(tài)頁(yè)模塊級(jí)檢測(cè)策略，該策略把系統(tǒng)狀態(tài)變量和輸入數(shù)據(jù)共同作為測(cè)試數(shù)據(jù)驅(qū)動(dòng)程序運(yùn)行，實(shí)時(shí)運(yùn)行檢測(cè)程序，綜合考慮實(shí)時(shí)運(yùn)行環(huán)境中用戶輸入、系