基于重要語句選擇的變異測(cè)試數(shù)據(jù)生成.pdf

1、軟件測(cè)試旨在揭示軟件中存在的漏洞或者風(fēng)險(xiǎn)，保證所開發(fā)軟件的安全性和可靠性。而生成有效的測(cè)試數(shù)據(jù)，是軟件測(cè)試的核心工作。變異測(cè)試是基于缺陷的測(cè)試技術(shù)，通過向原程序人為植入缺陷，以模擬實(shí)際程序中存在的漏洞。因此，變異測(cè)試常用來檢測(cè)測(cè)試數(shù)據(jù)是否有效。但是，為數(shù)眾多的變異體產(chǎn)生的高昂測(cè)試代價(jià)，嚴(yán)重影響這一測(cè)試技術(shù)在實(shí)際中的廣泛應(yīng)用，從而研究降低測(cè)試代價(jià)的理論與方法是非常必要的。本文針對(duì)變異測(cè)試，分別從測(cè)試對(duì)象選擇、測(cè)試數(shù)據(jù)生成，以及方法的具體實(shí)

2、現(xiàn)等3個(gè)方面進(jìn)行研究。
　　首先，為了減少變異操作對(duì)象的數(shù)量，提出基于語句重要度的變異測(cè)試對(duì)象選擇方法，選擇重要度高的語句，作為執(zhí)行變異操作的對(duì)象。為此，分析原語句的成分和它們之間的關(guān)系，給出反映變異測(cè)試對(duì)象重要性的3個(gè)因素?；谶@些因素的重要性，建立評(píng)價(jià)所選變異測(cè)試對(duì)象重要性的指標(biāo)，并據(jù)此提出一種變異測(cè)試對(duì)象選擇方法，從而實(shí)現(xiàn)變異測(cè)試對(duì)象的選擇。該方法僅選擇部分變異測(cè)試對(duì)象，以減少需要實(shí)施變異測(cè)試的對(duì)象數(shù)量，從而提高變異測(cè)試的效

3、率。
　　其次，給出基于重要語句的分支覆蓋優(yōu)先策略和基于遺傳算法的變異測(cè)試數(shù)據(jù)生成方法。為此，根據(jù)變異測(cè)試對(duì)象重要度的評(píng)價(jià)方法，計(jì)算原程序各語句的重要度，并進(jìn)行降序排列。依據(jù)上述排序，確定對(duì)應(yīng)變異分支的覆蓋順序，并采用遺傳算法，生成覆蓋變異分支的測(cè)試數(shù)據(jù)。所提方法不但能夠確保變異測(cè)試的充分性，還能降低執(zhí)行變異測(cè)試所花費(fèi)的代價(jià)。
　　最后，基于以上研究成果，給出變異測(cè)試數(shù)據(jù)進(jìn)化生成的實(shí)現(xiàn)過程。該過程分為3個(gè)階段，分別是：程序處