本文選題：變異測試 + 變異算子��； 參考：《電子學報》2017年08期

【摘要】：變異測試是一種有效的基于故障的測試方法,但大量冗余變異體所帶來的昂貴的測試成本問題,阻礙了它在實際工程開發(fā)中的應用.為解決該問題,本文針對程序中的順序語句所產生的變異體,基于故障的可達-感染-傳播模型,提出了使用區(qū)間抽象域來表示程序狀態(tài),通過區(qū)間運算判斷變異體之間冗余關系的算法;針對程序中的條件語句,基于謂詞故障層級,分別給出了面向簡單謂詞和復合謂詞的冗余變異體選擇算法.并對這兩種算法對冗余變異體的判定效果進行了分析,最后給出了在分層抽樣背景下,非冗余變異體生成的約束邊界條件.對Siemens和開源項目等共8個工程進行了實驗,并與隨機選擇法進行了對比.結果表明,本文所提方法在減少變異測試時間成本的同時,可以保持較高的變異得分.
[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.
【作者單位】： 北京郵電大學網(wǎng)絡與交換技術國家重點實驗室;桂林電子科技大學廣西云計算與大數(shù)據(jù)協(xié)同創(chuàng)新中心;桂林電子科技大學廣西高校云計算與復雜系統(tǒng)重點實驗室;長春汽車工業(yè)高等�？茖W校;
【基金】：國家自然科學基金(No.91318301,No.61202080) 廣西云計算與大數(shù)據(jù)協(xié)同創(chuàng)新中心、廣西高校云計算與復雜系統(tǒng)重點實驗室資助(No.YD16508)
【分類號】：TP311.53
，

本文編號：1802208