基于KBC特性及降噪的错误定位技术及其实践-计算机应用技术专业论文.docxVIP

浙江大学硕士学位论文 浙江大学硕士学位论文 摘要 摘要 软件是充满错误的，而修复错误最重要的前提，就是如何快速地定位错误， 这往往也是在软件开发周期里花费人力物力最多的一步。因而任何可以降低错 误定位代价的技术都是非常有吸引力的。 尽管现有的错误定位技术在单错误受测程序上进行了一定的研究，但是其精 准度还远远不够。当一些在单错误受测程序上行之有效的手段推广到多错误受 测程序上时，其效果更是不好。 本文对错误定位技术的两个关键因素进行了改进，提出了一个新的错误指示 器KBC和一个相似性公式的降噪规则。KBC是一种从程序控制流图上挖掘出的 关键片段，该片段上的各个执行序列有着更加丰富的上下文信息。降噪规则是 一套能够对大多数相似性公式进行降噪的形式化方法。通过运用这两个关键技 术，本文提出了一个新的错误定位框架一一MinusFKBC。实验表明，该框架可使 单错误定位效率提升10％左右。通过输入输出优化(即测试案例分组以及辅助 信息排序)进一步增强后，该框架还可以有效应用于多错误定位，并显著提高 其定位效率。 为了更好地研究错误定位技术及其在生产环境中的应用，本文还介绍了两个 应用性成果——错误定位技术在线设计及评估平台FLOJ和用于Java工程开发的 Eclipse插件Lunuo。FLOJ可以使得一项新的错误定位技术的研究、评估时间， 从以“年”计量降低到以“小时”计量。Lunuo则是错误定位技术在生产环境中 的第一个应用工具。应用表明，使用这些工具及错误定位技术，对软件设计教 学有着很好的帮助作用。 关键词：错误定位，关键基本块链，降噪，框架，工具集 浙江大学硕士学位论文 浙江大学硕士学位论文 Abstract AbstraCI Software is buggy．ne first factor for fixing bug is how to locate errors quickly， which often takes the most human and time resources in the software development cycle．ThUS any technology that call reduce the cost is very attractive． Existing fault localization technoiogies in the field of locating single fault have been carried out．but its accuracy iS not enough；and it becomes worse when the single iS extended to the multiple． This thesis improves two key factors of fault localization technologies and it also proposes a new fault indicator KBC and a law of noise reduction with similarity coefficients．KBC is the key fragment dug out of program’S control flow graph，on which execution sequence has richer context information．And the formallaw of noise reduction is able to reduce noise for most similarity coefficients． Through these two key technologies，a new framework of fault localization， Minus- FKBC is proposed．The experiments show that，under this framework，the emciency of single．fault Iocalization can be increased by l O％．With the improvement of input- output optimization(that is，division oftest cases and the sequence of ranking list)，this framework can be applied to localize multi．fault effectively，thus its localizing efficiency Can be upg