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

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

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

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