枚舉變量問(wèn)題的進(jìn)化測(cè)試.pdf

1、進(jìn)化測(cè)試是近年來(lái)剛剛興起的測(cè)試數(shù)據(jù)自動(dòng)生成技術(shù)，已在很多實(shí)際工程中得到了成功應(yīng)用。然而，在白盒測(cè)試中，當(dāng)程序中存在枚舉變量時(shí)，利用傳統(tǒng)適值函數(shù)計(jì)算公式所得到的適值地形就會(huì)失去導(dǎo)向，從而導(dǎo)致進(jìn)化搜索退化成隨機(jī)搜索，我們稱(chēng)之為枚舉變量問(wèn)題。目前還沒(méi)有過(guò)該問(wèn)題的相關(guān)研究，而與枚舉變量類(lèi)似的標(biāo)志變量問(wèn)題是進(jìn)化測(cè)試研究的熱點(diǎn)，針對(duì)標(biāo)志變量問(wèn)題，本課題組已經(jīng)提出了一個(gè)統(tǒng)一的適值函數(shù)計(jì)算規(guī)則。 本文分析了枚舉變量問(wèn)題與標(biāo)志變量問(wèn)題的相似之處，

2、將標(biāo)志變量統(tǒng)一規(guī)則推廣到枚舉變量問(wèn)題，并針對(duì)他們的不同之處，給出了新的迭代規(guī)則，最終提出了枚舉變量問(wèn)題的適值計(jì)算規(guī)則。實(shí)驗(yàn)表明了該規(guī)則能夠在傳統(tǒng)方法失效的情況下引導(dǎo)進(jìn)化搜索生成所需的測(cè)試數(shù)據(jù)。 在將課題組給出的標(biāo)志變量統(tǒng)一規(guī)則的適值植入方案推廣到枚舉變量規(guī)則的適值植入時(shí)，會(huì)出現(xiàn)植入代碼冗余問(wèn)題和代碼植入的位置選擇問(wèn)題，這些問(wèn)題影響植入的代價(jià)和適值函數(shù)的評(píng)價(jià)。本文分析了這些問(wèn)題，并給出了解決方案，提出了枚舉變量適值計(jì)算規(guī)則的代碼植