基于偶然性正确测试用例发现的软件错误定位方法

【摘要】软件错误定位是目前软件工程领域的重要研究课题，其中基于程序谱的错误定位(CFL)是一类重要的方法，有文献说明CFL方法在多错误环境下也有着良好的效果。偶然性正确测试用例对于CFL有着很大的负面影响，因此如何发现该类测试用例或者避免它们对CFL的影响对于提高CFL方法的定位效果有着重要的意义。本文首先通过分析偶然性正确测试用例对CFL定位方法的影响，研究了偶然性正确测试用例的特点，发现了一种没有误判率(falsepositive)的寻找偶然性正确测试用例的方法。在发现偶然性正确测试用例之后，本文又重点研究了基于偶然性正确测试用例如何改进已有CFL方法，提出了三种基于偶然性正确测试用例发现的CFL定位方法。第一种方法是通过公式和实验分析证明了已有的对已有的基于偶然性正确的定位方法的不足，并且提出一种基于IDLO(V)/WIDLO值分析改进方法；第二种方法是基于对于正确语句性质的分析，提出一种基于MYCC(s)/TMYCC值分析的定位方法；第三种方法是通过使用偶然性正确测试用例增加错误语句怀疑度，并结合一种减少正确语句怀疑度的方法，来定位错误语句的方法。最后通过在siemens实验集的122个错误版本上进行实验说明，三种方法都可以普遍改善已有CFL方法的定位效果.在以上工作之外，本文还分享了本文实验平台搭建过程的一些重点和难点部分。希望可以帮助研究者更容易进入错误定位领域，或者改善已有的实验平台。
【作者】冯潞潞；
【导师】丁佐华；
【作者基本信息】浙江理工大学，计算机应用技术，2014，硕士
【关键词】错误定位；偶然性正确；软件测试；软件调试；

【参考文献】
[1]霍雨佳.功能对等理论指导下文化信息的传递[D].安徽大学,英语笔译,2014,硕士.
[2]郑艳.地塞米松抗晕动病作用机制及应用研究[D].第二军医大学,营养与食品卫生学,2013,硕士.
[3]樊昕洁,彭淑鸽.氧化石墨的绿色工艺研究[A].河南省化学会.河南省化学会2012年学术年会论文摘要集[C].河南省化学会:,2012:1.
[4]乌兰图亚.当前大学生消费观论析[D].内蒙古农业大学,思想政治教育,2013,硕士.
[5]胡秋盈.论直接疑问句与间接疑问句的句类标记[D].上海外国语大学,英语语言文学,2012,硕士.
[6]李苗苗.外源钙对不同生态型沙地云杉（Picea mongolica）幼苗抗旱性影响的研究[D].华东师范大学,生态学,2013,硕士.
[7]徐金寿.大规模定制（MC）原理在水利机械中的工程应用研究[D].浙江工业大学,机械电子工程,2004,硕士.
[8]许泽.2-丁炔下游产品的合成工艺研究[D].华东理工大学,化学工艺,2014,硕士.
[9]吴继强.3mm分谐波混频器设计[D].南京理工大学,电子与通信工程,2013,硕士.
[10]倪子晶.当前我国农村土地流转法律制度研究[D].中国社会科学院研究生院,商法（专业学位）,2014,硕士.
[11]梁璋.A公司马士基项目质量管理研究[D].西北大学,工商管理（专业学位）,2012,硕士.
[12]朱学奎.重庆市城南花园房地产开发项目市场营销战略研究[D].重庆大学,工商管理,2003,硕士.
[13]赵燕.多金属氧酸盐催化臭氧氧化油品深度脱硫的研究[D].山东大学,环境科学与工程,2013,硕士.
[14]张俊文.缺氧诱导因子-1α对缺氧胃癌细胞的影响[D].重庆医科大学,内科学,2004,硕士.
[15]唐利波.MxA基因启动子多态性与慢性乙型肝炎替比夫定治疗HBeAg血清学转换的研究[D].南方医科大学,内科学,2014,博士.
[16]张月静.miR-21-4T1细胞的构建及其exosome功能的初步研究[D].河北医科大学,免疫学,2014,硕士.
[17]詹玲玲.增程式电动客车能量管理系统研究[D].中北大学,测试计量技术及仪器,2014,硕士.
[18]吕佳.JYZG企业绩效考评体系研究[D].吉林大学,工商管理,2013,硕士.
[19]张琳琳.我国房地产上市公司资本结构与公司财务绩效关系的实证研究[D].山东财经大学,会计（专业学位）,2013,硕士.
[20]胡浩.基于无源光网络的高清网络摄像机设计[D].武汉邮电科学研究院,通信与信息系统,2012,硕士.
[21]商周.搜集数据进行数据挖掘的研究[D].哈尔滨理工大学,2004.
[22]刘力.转基因大豆对我国非转基因大豆的影响[D].华中师范大学,农业推广,2014,硕士.
[23]钟森.叠后记录Radon变换压制干扰方法[J].石油地球物理勘探,1992,02:217-222+304.
[24]乔晓虎.大学本科毕业生就业能力的研究[D].西北师范大学,教育经济与管理,2013,硕士.
[25]山波.数据挖掘在GZXDE-DM模型中的实现[D].上海海运学院,2001.
[26]王晓辉.超长轻薄巨型钢管桁架梁施工关键技术研究[D].北京工业大学,建筑与土木工程（专业学位）,2013,硕士.
[27]孙志丹.可膨胀石墨阻燃高密度聚乙烯/乙烯—醋酸乙烯酯的研究[D].西南交通大学,制药工程,2014,硕士.
[28]孙志刚.院校基建工程投资预算管理系统的分析与设计[D].西安电子科技大学,软件工程,2011,硕士.
[29]翟明星,王雪峰,蒋永进.石墨烯在应变下的电子结构和量子电导[J].苏州大学学报(自然科学版),2012,03:57-62.
[30]房怡.中间相沥青基石墨纤维制备导热复合材料的研究[D].北京化工大学,材料科学与工程,2013,硕士.
[31]姚晖.手术导航系统中手术器械的视觉跟踪研究[D].吉林大学,控制理论与控制工程,2014,硕士.
[32]李滔.盆植生境下五种树种根际土壤微生物多样性特征研究[D].江西农业大学,林业,2012,硕士.
[33]牟宗波.提高MDI型聚氨酯耐光性的研究[D].陕西科技大学,高分子化学与物理,2013,硕士.
[34]郭佳丽.上海市高星级酒店市场结构—行为—绩效（SCP）研究[D].复旦大学,旅游管理,2012,硕士.
[35]魏凤伦.一类物理学方程初边值问题的整体经典解和行波解的稳定性[D].上海大学,应用数学,2014,硕士.
[36]沈文蕾.水域环境水体表层水草切割收集装置系统研究[D].上海海洋大学,机械设计及理论,2013,硕士.
[37]张小倩.南沙参多糖的提取、降解优化及其单糖组成分析[D].河北大学,药物分析学,2014,硕士.
[38]孙小权,何喜玲,刘春艳.船舶气囊下水安全性实测研究[J].中国水运(下半月),2013,08:20-22+41.
[39]王召磊,刘明光.基于线性方程组解的T型线路行波测距[J].电网技术,2014,04:1046-1050.
[40]荣力.车用NO_x传感器敏感电极材料的制备与性能研究[D].华中科技大学,材料学,2013,硕士.
[41]张淑颖,董金善,江小志,吴航,吕冬祥.35CrMo钢压缩机曲轴断裂失效分析[J].热加工工艺,2015,04:244-246.
[42]柳瑶.生物流化床养殖污水处理系统的设计与实验研究[D].中国海洋大学,2013.
[43]陈晴钰.荣格分析心理学的女性主义解读[D].南京师范大学,女性教育学,2012,硕士.
[44]侯智雄.基于ARM平台ALSA音频驱动的设计与实现[D].中国地质大学（北京）,检测技术与自动化装置,2013,硕士.
[45]朱清芳.库布齐沙漠东段固定沙地不同利用方式下土壤碳通量的比较研究[D].内蒙古师范大学,植物学,2012,硕士.
[46]曾利川.CT导向下非压迫性腰椎间盘髓核致神经根损害动物模型的建立[D].川北医学院,影像医学与核医学,2014,硕士.
[47]马灿.半干旱区玉米茎流特征及能量平衡研究[D].兰州大学,水文学及水资源,2013,硕士.
[48]王侃.基于SOA的物流软件平台的研究与实现[D].中国地质大学（北京）,计算机科学与技术,2014,硕士.
[49]王丽.西安高新区哈佛时代项目建筑设计研究[D].西安建筑科技大学,建筑学,2013,硕士.
[50]鲁剑奇.装配式轻钢—轻骨料混凝土组合楼板受力性能研究[D].宁波大学,结构工程,2014,硕士.