基于FitNesse的自動(dòng)化回歸測(cè)試模型和工具的研究.pdf

1、軟件測(cè)試在軟件的整個(gè)開發(fā)過程中占有非常重要的地位，是保證軟件質(zhì)量、提高軟件可靠性的關(guān)鍵步驟之一。測(cè)試自動(dòng)化是軟件測(cè)試的一個(gè)發(fā)展趨勢(shì)，人們?cè)谧詣?dòng)化軟件測(cè)試方面做了大量工作，研發(fā)出很多的軟件測(cè)試工具，用于實(shí)現(xiàn)自動(dòng)化測(cè)試。早期的軟件自動(dòng)化測(cè)試工具在技術(shù)和功能上存在的不足：這些工具通常需要手工指定被測(cè)系統(tǒng)(System Under Test，SUT)，指定待測(cè)試方法，手工編輯和調(diào)試生成測(cè)試腳本，所以測(cè)試腳本的可重用性和可維護(hù)性較差，當(dāng)被測(cè)系統(tǒng)發(fā)

2、生改變后，需要調(diào)整才能正確執(zhí)行原來的測(cè)試腳本。
　　 測(cè)試用例的設(shè)計(jì)與生成是軟件測(cè)試過程中的重要環(huán)節(jié)。全面測(cè)試需要大量的測(cè)試用例，單純的手動(dòng)生成方式往往十分困難。因此測(cè)試用例的自動(dòng)生成便成為自動(dòng)化測(cè)試中的一個(gè)重要問題。本文在研究當(dāng)前軟件測(cè)試用例自動(dòng)生成技術(shù)及常用的測(cè)試用例自動(dòng)生成算法基礎(chǔ)上，受Simon Poulding和John A.Clark提出的參數(shù)分布尋優(yōu)算法的啟發(fā)，提出一種基于代碼邏輯結(jié)構(gòu)的參數(shù)分布尋優(yōu)及組合邊界值分析

3、的測(cè)試用例生成算法(An Approach For Test Case Generation Based OnOptimization Of Parameter And Boundary Value Analysis，簡(jiǎn)稱TCG-OPBVA)。與Simon Poulding和John A.Clark提出的參數(shù)分布尋優(yōu)算法相比較，關(guān)鍵不同點(diǎn)如下：
　　 (1)從控制流圖自動(dòng)導(dǎo)出輸入?yún)?shù)的貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)。先通過工具軟件解析源代碼，構(gòu)

4、造程序的控制流圖，然后從控制流圖自動(dòng)化構(gòu)造程序的參數(shù)的貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)。
　　 (2)適應(yīng)度函數(shù)。自動(dòng)化構(gòu)造參數(shù)的貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)后，搜索算法只需對(duì)貝葉斯網(wǎng)絡(luò)進(jìn)行參數(shù)學(xué)習(xí)，因而可以去掉差異性約束項(xiàng)，同時(shí)也減少了人為規(guī)定覆蓋性約束項(xiàng)與差異性約束項(xiàng)之間的權(quán)重因子所造成的不確定性影響。
　　 (3)邊界值組合分析。抽樣出測(cè)試集合之后，再按照組合邊界值分析法增加適量的測(cè)試用例，形成最終的測(cè)試用例集。
　　 為了更好的實(shí)施自動(dòng)

5、化回歸測(cè)試，應(yīng)用TCG-OPBVA算法，基于驗(yàn)收測(cè)試框架FitNesse，提出一個(gè)自動(dòng)化回歸測(cè)試模型?；谠撃Ｐ妥灾髟O(shè)計(jì)并實(shí)現(xiàn)了一個(gè)實(shí)用的自動(dòng)化回歸測(cè)試工具(Automated Regression Testing Tool，簡(jiǎn)稱ARTT)，用于對(duì)Java程序?qū)嵤┳詣?dòng)化回歸測(cè)試。該工具具有以下特點(diǎn)：
　　 (1)自動(dòng)生成測(cè)試用例。ARTT逐個(gè)解析被測(cè)系統(tǒng)中的被測(cè)試類，提取被測(cè)試類的測(cè)試信息，同時(shí)生成用于存儲(chǔ)待測(cè)試方法的參數(shù)信息的

6、XML文檔。手工編輯這些參數(shù)的邊界值后，ARTT依據(jù)這些參數(shù)信息，應(yīng)用TCG-OPBVA算法能夠自動(dòng)生成測(cè)試用例。
　　 (2)自動(dòng)構(gòu)建Fit表格。ARTT根據(jù)提取到的測(cè)試信息以及生成的測(cè)試用例，能夠構(gòu)建運(yùn)行在FitNesse環(huán)境下的帶有測(cè)試用例的Fit表格。
　　 (3)自動(dòng)生成測(cè)試代碼。ARTT依據(jù)提取到的測(cè)試信息及Fit表格中的信息自動(dòng)構(gòu)建測(cè)試代碼。ARTT采用類似于數(shù)據(jù)驅(qū)動(dòng)的腳本技術(shù)，將測(cè)試輸入值和期望輸出結(jié)果單