本文選題：變異測(cè)試 + 變異算子�。� 參考：《電子學(xué)報(bào)》2017年08期

【摘要】：變異測(cè)試是一種有效的基于故障的測(cè)試方法,但大量冗余變異體所帶來的昂貴的測(cè)試成本問題,阻礙了它在實(shí)際工程開發(fā)中的應(yīng)用.為解決該問題,本文針對(duì)程序中的順序語句所產(chǎn)生的變異體,基于故障的可達(dá)-感染-傳播模型,提出了使用區(qū)間抽象域來表示程序狀態(tài),通過區(qū)間運(yùn)算判斷變異體之間冗余關(guān)系的算法;針對(duì)程序中的條件語句,基于謂詞故障層級(jí),分別給出了面向簡單謂詞和復(fù)合謂詞的冗余變異體選擇算法.并對(duì)這兩種算法對(duì)冗余變異體的判定效果進(jìn)行了分析,最后給出了在分層抽樣背景下,非冗余變異體生成的約束邊界條件.對(duì)Siemens和開源項(xiàng)目等共8個(gè)工程進(jìn)行了實(shí)驗(yàn),并與隨機(jī)選擇法進(jìn)行了對(duì)比.結(jié)果表明,本文所提方法在減少變異測(cè)試時(shí)間成本的同時(shí),可以保持較高的變異得分.
[Abstract]:Mutation testing is an effective fault based test method, but the high cost of testing caused by a large number of redundant variants hinders its application in practical engineering development. In order to solve this problem, based on the reachability-infection-propagation model of fault, an interval abstract domain is proposed to represent the state of the program. Based on the fault level of predicates, the algorithm of selecting redundant variants for simple predicates and compound predicates is presented, which is based on the conditional statements in the program. The effect of these two algorithms on the determination of redundant variants is analyzed. Finally, the constrained boundary conditions for the generation of non-redundant variants are given under the background of stratified sampling. Eight projects, such as Siemens and open source projects, are tested and compared with the random selection method. The results show that the proposed method can reduce the cost of mutation test time and maintain a high variation score.
【作者單位】： 北京郵電大學(xué)網(wǎng)絡(luò)與交換技術(shù)國家重點(diǎn)實(shí)驗(yàn)室;桂林電子科技大學(xué)廣西云計(jì)算與大數(shù)據(jù)協(xié)同創(chuàng)新中心;桂林電子科技大學(xué)廣西高校云計(jì)算與復(fù)雜系統(tǒng)重點(diǎn)實(shí)驗(yàn)室;長春汽車工業(yè)高等�？茖W(xué)校;
【基金】：國家自然科學(xué)基金(No.91318301,No.61202080) 廣西云計(jì)算與大數(shù)據(jù)協(xié)同創(chuàng)新中心、廣西高校云計(jì)算與復(fù)雜系統(tǒng)重點(diǎn)實(shí)驗(yàn)室資助(No.YD16508)
【分類號(hào)】：TP311.53
，

本文編號(hào)：1802208