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

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

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

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