變異測試是基于故障檢測的軟件測試技術(shù),一方面可以用來衡量測試用例集的檢錯能力,另一方面可以幫助構(gòu)造完備的測試用例集。研究表明,變異測試中生成的變異體,能夠很好地代表真實(shí)程序中的故障,但是變異測試中會產(chǎn)生大量的冗余變異體,它們極大地增加了測試成本。變異體被檢測到的難易程度可用實(shí)用性表示,難測的變異體會具有更高的實(shí)用性。因此,如何生成盡可能少并且實(shí)用性高的變異體,對變異測試至關(guān)重要。本文對如何提高變異體的生成質(zhì)量展開研究,主要包括以下兩方面的工作:(1)分析變異體實(shí)用性在語句蘊(yùn)含圖中的分布特征。分析發(fā)現(xiàn),在語句蘊(yùn)含圖根節(jié)點(diǎn)或者靠近根節(jié)點(diǎn)包含的語句中生成的變異體,更容易具有高的實(shí)用性。由此得出,若變異行被更少的測試用例覆蓋,那么變異體相對更難被檢測出;(2)分析蘊(yùn)含變異體在算子中的分布特征。蘊(yùn)含變異體都是實(shí)用性高的變異體。首先篩選出生成蘊(yùn)含變異體比例高的算子,然后對這些算子進(jìn)行具體分析。分析表明,算子在某些特定的變異模式下,生成的變異體更難被檢測到。同時(shí)本文對分析結(jié)論進(jìn)行了驗(yàn)證實(shí)驗(yàn)。實(shí)驗(yàn)結(jié)果說明:與隨機(jī)選擇的變異體集相比,根據(jù)分析特征選擇的變異體集,具有數(shù)量少、實(shí)用性高的特點(diǎn),且能得到很好的變異得分。
【學(xué)位單位】：北京郵電大學(xué)
【學(xué)位級別】：碩士
【學(xué)位年份】：2018
【中圖分類】：TP311.53
【部分圖文】：

一析了變異體檢測難度與變異行被覆蓋情況之間的關(guān)系。??此外，本文還分析了變異體難測程度在變異算子中的分布特征。??本章節(jié)共分兩部分：（１）研究中相關(guān)的理論基礎(chǔ)，（２）用于分析難測變異征的實(shí)驗(yàn)數(shù)據(jù)來源。在第二部分?jǐn)?shù)據(jù)來源中，簡單介紹了西門子測試套件，圖表的形式展示了變異測試的結(jié)果文件。??．１理論基礎(chǔ)??．１．１變異測試??給定一個程序Ｐ和一個測試數(shù)據(jù)集Ｔ，通過變異算子為Ｐ產(chǎn)生一組變（合乎語法的變更），變異體是通過在源程序的某一處語句注入語法變更得到異程序，對源程序ｐ和變異體Ｐ’均使用ｒ進(jìn)行測試，若存在存活的非等體，繼續(xù)增加測試用例，增強(qiáng)測試，若所有非等價(jià)變異體均被殺死，則測試。圖２－１顯示了傳統(tǒng)變異測試的基本流程。??

對應(yīng)于程序中一行或者連續(xù)的幾行代碼。控制流圖可以表示為一個四元??組（見ｅｎｔｒｙ，?ｅｘｉｔ），其中７Ｖ是控制流圖中的節(jié)點(diǎn)結(jié)合，￡是圖中的邊集合，??ｅｎｔｒｙ和ｅｘｉｔ是特殊的兩個節(jié)點(diǎn)：入口節(jié)點(diǎn)和出口節(jié)點(diǎn)。例如圖２－３是某個簡易??的控制流圖。??圖２－３簡易控制流圖示例??ｐｒｅ??前向支配：節(jié)點(diǎn)Ｗ前向支配節(jié)點(diǎn)ｖ，記做當(dāng)且僅當(dāng)每個從節(jié)點(diǎn)ｅｎｔｒｙ??到ｖ的所有路徑都經(jīng)過ｗ。那么若ｗ前向支配Ｖ，覆蓋到ｖ的測試用例，一定能??夠覆蓋到ｗ。??ｐｏｓｔ??后向支配：節(jié)點(diǎn)ｗ后向支配節(jié)點(diǎn)ｖ，記做Ｗ４Ｖ，當(dāng)且僅當(dāng)每個節(jié)點(diǎn)Ｖ到節(jié)??點(diǎn)ｅｘｉｔ的所有路徑都經(jīng)過節(jié)點(diǎn)ｗ。那么若ｗ后向支配Ｖ，覆蓋到ｖ的測試用例，??一定能夠覆蓋到ｗ。??前向和后向支配關(guān)系，可在對應(yīng)的前向支配圖和后向支配圖中表示出來［１７］。??ｐｒｅ?Ｐ〇ｓｉ??當(dāng)時(shí)，前向支配圖上有一條從Ｗ到Ｖ的有向邊。同理，時(shí)，后向支??配圖上有一條從Ｗ到Ｖ的有向邊。圖２－４和圖２－５分別展示了與控制流圖２－３對?

支配關(guān)系：前向支配和后向支配關(guān)系，統(tǒng)稱為支配關(guān)系。節(jié)點(diǎn)％支配節(jié)點(diǎn)ｈ２，??ｄｏｍｎｏｄｅ??記做ｑ?４?ｈ２，此時(shí)有：（１）每一條從ｅｎｔｒｙ節(jié)點(diǎn)到ｅｘｉｔ節(jié)點(diǎn)的路徑，若經(jīng)過節(jié)??點(diǎn)《２，那么必定也經(jīng)過節(jié)點(diǎn)／？，；?（２）能覆蓋到的節(jié)點(diǎn)／？２的測試用例，必定也能覆??蓋到節(jié)點(diǎn)／Ｖ表示為公式２－２。??ｄｏｍｎｏｄｅ??７７，?—＞?ｎ２ｙｔ，ｃｏｖｅｒｅｄ（ｔ，ｎ２）?ｃｏｖｅｒｅｄ｛ｔ，ｎ＾）?（２－２）??支配關(guān)系也可用對應(yīng)的支配圖表示，如圖２－６是由圖２－４和圖２－５得到的支??配圖。??＠Ｂ３?ＳＢ４??圖２－６?圖２－３對應(yīng)的語句支配圖??一，一［ｎ】ｓｕｅｒｏｃ），一
【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 呂學(xué)偉;黃松;王曄;;基于OPTICS算法的變異體約簡技術(shù)[J];解放軍理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2016年02期

2 Y.Israeli;謝志南;;香蕉離體繁殖無性系變異體的研究[J];國外農(nóng)學(xué)(果樹);1992年03期

3 劉明稀;盧少云;郭振飛;;假儉草抗旱變異體的篩選及其生理鑒定[J];草業(yè)學(xué)報(bào);2012年01期

4 曾凡平;黃玉涵;張美超;潘能剛;;基于遺傳算法聚類的變異體約簡[J];計(jì)算機(jī)應(yīng)用;2011年05期

5 秦琳,李杉,崔凱榮,王亞馥,倪建福,周文麟;小麥抗銹變異體的RAPD分子驗(yàn)證[J];西北植物學(xué)報(bào);1997年06期

6 趙茜;;“變異體變異體”概念在跨文化研究領(lǐng)域內(nèi)的出現(xiàn)與使用——以嚴(yán)紹璗的學(xué)術(shù)實(shí)踐為中心[J];改革與開放;2017年23期

7 方平夷;太空誘發(fā)的水稻變異體觀察[J];植物生理學(xué)通訊;1997年01期

8 張冬杰;李苓;汪亮;劉娣;;豬FoxN1基因轉(zhuǎn)錄變異體亞細(xì)胞定位研究[J];東北農(nóng)業(yè)大學(xué)學(xué)報(bào);2016年08期

9 陸松松;陳靜嫻;;Rh(D)變異體的研究進(jìn)展[J];臨床輸血與檢驗(yàn);2010年04期

10 姜健;夏衛(wèi);郁心;洪俊;;無錫地區(qū)獻(xiàn)血者D變異體的檢定結(jié)果[J];中國輸血雜志;2010年11期

相關(guān)博士學(xué)位論文 前6條

1 張聚良;血管內(nèi)皮生長因子變異體基因的構(gòu)建、表達(dá)及表達(dá)產(chǎn)物體內(nèi)誘導(dǎo)自身抗體產(chǎn)生的研究[D];中國人民解放軍第四軍醫(yī)大學(xué);2003年

2 羅慶;靶向抑制表皮生長因子受體（EGFR）逆轉(zhuǎn)骨肉瘤惡性生物學(xué)行為的研究[D];重慶醫(yī)科大學(xué);2010年

3 李霞;組蛋白修飾和組蛋白變異體在轉(zhuǎn)錄調(diào)控中的作用機(jī)制研究[D];中國科學(xué)院北京基因組研究所;2014年

4 陸瑞菊;大麥游離小孢子培養(yǎng)技術(shù)的優(yōu)化及單倍體耐鹽、耐低氮脅迫篩選體系的建立[D];南京農(nóng)業(yè)大學(xué);2012年

5 王達(dá);一個新的酪氨酸激酶受體RON的剪接變異體的生物學(xué)特征及其功能的初步研究[D];浙江大學(xué);2011年

6 李銀心;抗鹽、耐海水蔬菜的生物技術(shù)培育與海水無土栽培應(yīng)用[D];中國科學(xué)院植物研究所;2001年

相關(guān)碩士學(xué)位論文 前10條

1 郝天麗;基于代碼結(jié)構(gòu)的故障檢測分析與研究[D];北京郵電大學(xué);2018年

2 李思諾;基于罕見變異體的全基因組關(guān)聯(lián)分析方法研究[D];黑龍江大學(xué);2015年

3 胡雷;基于語義相關(guān)性的變異體約簡理論及其應(yīng)用[D];中國礦業(yè)大學(xué);2016年

4 徐艷;高產(chǎn)EPS的pantoea ananatis野生株變異體的分離、鑒定及其作用機(jī)理研究[D];東華大學(xué);2011年

5 鄧晶;RON變異體RON△170對自身酷氨酸磷酸化變異體RON△160的顯性抑制作用[D];浙江大學(xué);2010年

6 陸源;重組人白介素-29變異體在畢赤酵母中的表達(dá)及體外抗腫瘤活性初步分析[D];江南大學(xué);2015年

7 胡佩;平安竹異型節(jié)間形成的解剖學(xué)研究[D];南京林業(yè)大學(xué);2013年

8 李麗;不同試劑離體誘導(dǎo)萱草多倍體的研究[D];山西農(nóng)業(yè)大學(xué);2016年

9 韋小敏;玉米胚性愈傷組織耐鹽變異體的篩選以及耐鹽性分析[D];河南農(nóng)業(yè)大學(xué);2001年

10 田斯琦;串聯(lián)親和純化技術(shù)聯(lián)合質(zhì)譜鑒定RSK4變異體的相互作用蛋白[D];廣西醫(yī)科大學(xué);2016年

本文編號：2835749