基于語句占優(yōu)關系的軟件測試數(shù)據(jù)生成及缺陷檢測.pdf

1、軟件測試的最終目的是為了發(fā)現(xiàn)其存在的缺陷或者錯誤,從而提高軟件的質量。而進行軟件測試的核心,是采用有針對性的理論和方法,生成有效的測試數(shù)據(jù)。關于測試數(shù)據(jù)生成和缺陷檢測,已經(jīng)存在大量的研究成果。但是,對于一些特殊的軟件,比如含標記變量軟件等,利用傳統(tǒng)方法求解的效率往往很低。經(jīng)過研究發(fā)現(xiàn),軟件中的各個語句之間往往存在緊密的制約關系,語句占優(yōu)關系是常見的制約關系之一。本文將基于語句之間的占優(yōu)關系,解決含標記變量軟件的測試數(shù)據(jù)生成和缺陷檢測問題

2、,并開發(fā)相應的軟件測試原型系統(tǒng)。
　　針對含標記變量軟件的測試數(shù)據(jù)生成問題,提出了基于語句占優(yōu)關系的測試數(shù)據(jù)生成方法。首先,針對目標語句存在多個占優(yōu)語句的情況,提出評價語句覆蓋難度的4個指標;然后,給出這些指標的計算方法,并基于上述指標值,利用Topsis方法排序,選擇最容易覆蓋的占優(yōu)語句;最后,建立基于語句占優(yōu)關系測試數(shù)據(jù)生成問題的數(shù)學模型,并采用遺傳算法求解模型,以生成期望的測試數(shù)據(jù)。將所提方法應用于多個基準與工業(yè)程序測試,實

3、驗結果表明,所提方法能夠顯著提高測試數(shù)據(jù)生成的效率。
　　針對含標記變量軟件的缺陷檢測問題,提出一種基于語句占優(yōu)關系的缺陷檢測方法。首先,給出了基于占優(yōu)關系檢測缺陷的原理;然后,建立了缺陷檢測測試數(shù)據(jù)生成問題的數(shù)學模型;最后,采用遺傳算法求解該模型,以生成檢測缺陷的測試數(shù)據(jù)。將所提方法應用于多個基準和工業(yè)程序測試中,并與已有方法比較,實驗結果表明,所提方法具有更高的缺陷檢測能力,且克服了測試Oracle問題。
　　利用前面的

4、理論與方法,開發(fā)了基于語句占優(yōu)關系的軟件測試原型系統(tǒng),實現(xiàn)基于語句占優(yōu)關系的測試數(shù)據(jù)生成和缺陷檢測兩種基本功能。系統(tǒng)建立友好的人機交互界面,根據(jù)用戶的測試需求,處理用戶的輸入信息;而且為用戶提供多種選擇功能,尤其是遺傳操作。在原型系統(tǒng)平臺中,運行基準測試程序,實驗結果表明,所開發(fā)系統(tǒng)穩(wěn)定有效,為軟件自動化測試提供技術支持。
　　本文研究工作基于語句之間的占優(yōu)關系生成測試數(shù)據(jù)并進行缺陷檢測,為軟件測試提供了新的思路,在增強軟件測試有