基于动态切片的错误定位方法研究

《基于动态切片的错误定位方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、ｒ，；ｆ；；！１０２９３单位代码：密级聋＾Ｉ、心学术＿４学鮮俭户硕茄壬论人文击Ｖｉ聲雀＾进Ｉ心為１述蒙哪＇，论文题目：基于动态切片的错误定方法研究－．．．．，．＇学号１０１３０４１０２１＇．：，、＇＞■／／？，。―、一滕庆巧名亚．，．＼！，詳？导师？：■講吝＞：＇’－．－．．，专业学位类别工学硕±請冷戚．暴ｙｊｃ‘－’＇’＇．：．‘巧：．类型全曰制是．；；；＇－；；Ｊ读记专业（领域）信息

2、安全论文提交日期二〇－六年兰月－‘Ｊ－、Ｖ！Ｖ幕：％，户ｉ滯■＇；？：＇讀．护节－－斬占？、■，＊？Ｖ．南京邮电大学学位论文原创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加标注和致谢的地方外，论义中不包含巧他人己经发表或撰写过的研究成果，也不包含为获得南京邮电大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。一本人学位论文

3、及渉及相关资料若有不实切相关的法律责任。，愿意承担研究生签名Ｉ冰：巧期：斗南京邮电大学学位论文使用授权声明本人授权南京邮电大学可臥保留并向国家有关部口或机构送交论文的复印件和电子文料可：允许论文被查阅和借閱：可将学位论文的全部或部分内容编入有关数据库迸行检索；论文〇＾采用影印、缩印或杠描等复制手段保存、汇编本学位论义。本文电子文档的内容和纸质涉的密内容学位相－论－截文在。论解密文后的适公布（包括刊登）授权南京邮电大学研究生院办理。研用本授权书。究化签名：导师签名：日期：知＇FaultLocaliza

4、tionBasedonDynamicProgramSlicingThesisSubmittedtoNanjingUniversityofPostsandTelecommunicationsfortheDegreeofMasterofEngineeringByQingYaTengSupervisor:Prof.YingzhouZhangMarch2016摘要软件维护工作约占软件开发周期成本的一半以上，其中最耗时、代价最昂贵的任务之一就是软件调试过程，此过程包括对程序进行错误进行定位和改正。使用错误定位方法，可以从若干可疑度语句中，迅速找

5、出影响程序健壮性或者程序执行结果的可疑语句或语句块，将此语句或语句块交给开发调试人员做进一步的比较分析，辅助开发人员更快、更准的定位程序的错误。错误定位效果的提高，可以为软件开发节约大量的时间和人力成本。现有的错误定位方法，是从程序频谱或者程序切片分别进行分析。用频谱分析，会丢失依赖信息，但速度快。用切片分析，会包含依赖信息，结果更精炼和精确，但是花费的时间更长。本文结合了两者的特点，首先收集程序执行的频谱信息，得到根据频谱信息算出的可疑度语句，然后和传统的后向动态切片信息做比较，再结合前向切片和后向切片（双向切片），从可疑度语句（关

6、键语句）出发，向下找出其影响的语句，向上找出其受影响的语句，得到关于此可疑度语句的双向切片，再根据双向切片计算出每条语句的可疑度，并与基于频谱的方法和传统的后向动态切片方法对比。最后，通过权重调整公式，调整语句的可疑度，使错误定位的结果更接近实际情况。实验研究表明：1、本文的错误定位方法和传统的基于频谱的错误定位方法或者基于后向切片的错误定位方法相比，其效率能得到一定提高。2、在本文实验中，增加可疑度调整权重可以在一定程度上提高某些可疑度计算方法，如wong2方法的精确度。论文最后，本文作者根据论文中实验结果的不足之处，提出了往后的工

7、作方向和研究内容。关键词：错误定位，频谱，动态切片，关键语句，可疑度，双向切片IAbstractSoftwaremaintenancecostmorethanhalfofthesoftwaredevelopmentcycle,oneofthemosttime-consumingpartissoftwaredebuggingprocess,whichwillincludealocationoffaultandcorrectfault.UsingtheFaultlocalizationmethodfromanumberofsuspicio

8、usstatementscanquicklyidentifytheimpactoftheprogramortheprogram’ssuspiciousstatementsorstatementblocks,thesest