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

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

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

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

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