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

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

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