基于動(dòng)態(tài)集合進(jìn)化的弱變異測(cè)試用例集生成.pdf

1、軟件測(cè)試日漸重要，基于變異的測(cè)試用例生成技術(shù)(Mutation-based Test Case Generation，MTCG)得到了學(xué)術(shù)界的廣泛關(guān)注。變異測(cè)試是一種基于故障植入的軟件測(cè)試技術(shù)，使用變異算予對(duì)被測(cè)程序語句進(jìn)行合乎語法的微小改動(dòng)，生成變異體。MTCG技術(shù)旨在生成極少的測(cè)試用例殺死盡可能多的變異體，以獲得較高質(zhì)量的測(cè)試用例集。然而，變異測(cè)試代價(jià)昂貴，無法應(yīng)用于軟件實(shí)際測(cè)試中，因此，如何降低變異執(zhí)行開銷是MTCG技術(shù)的重點(diǎn)研究

2、內(nèi)容之一。
　　基于集合進(jìn)化的弱變異測(cè)試用例集生成是一種較好的測(cè)試用例集生成方法，它以測(cè)試用例集為個(gè)體，以所有變異分支為目標(biāo)生成測(cè)試用例集，但也存在下面兩個(gè)問題:一是個(gè)體規(guī)模（即其包含的測(cè)試用例個(gè)數(shù)）在進(jìn)化過程中是固定不變的，然而確定合適的個(gè)體規(guī)模較難。二是目前采用的適應(yīng)度函數(shù)計(jì)算開銷大，且不適合于以集合為個(gè)體的進(jìn)化搜索。
　　為此，本文提出了一種基于動(dòng)態(tài)集合進(jìn)化算法的弱變異測(cè)試用例集生成方法，通過增設(shè)集合精簡(jiǎn)算子，使個(gè)體規(guī)

3、模在進(jìn)化過程中根據(jù)執(zhí)行情況動(dòng)態(tài)調(diào)整，避免了個(gè)體初始規(guī)模對(duì)于測(cè)試用例集生成的影響;同時(shí)設(shè)計(jì)了一個(gè)適用于集合個(gè)體進(jìn)化的適應(yīng)度函數(shù)，能夠?qū)蟼€(gè)體的優(yōu)劣進(jìn)行更為準(zhǔn)確的評(píng)估，其計(jì)算開銷較少，算法效率較高。此外，種群更新采?。é蹋?+λ）更新策略，在父代中只保留最優(yōu)個(gè)體來保證種群更新質(zhì)量。該方法在滿足弱變異測(cè)試準(zhǔn)則的前提下，能夠生成較小規(guī)模的弱變異測(cè)試用例集，且生成時(shí)間大大降低。
　　將本文方法與基于集合進(jìn)化的弱變異測(cè)試用例集生成方法在五組