基于程序语义的软件故障定位技术研究-计算机科学与技术专业论文.docxVIP

硕上学位论文摘要 硕上学位论文 摘要 随着计算机技术的发展和软件应用领域的扩大，软件系统的规模和复杂性不断 攀升，由于软件故障直接导致系统失效的比率持续增加，其可靠性越来越难以保证。 当软件失效发生后，如何自动调试和定位引发失效的软件故障是一个非常有价值的 研究课题。 基于程序频谱的故障定位技术分析程序成功运行和失败运行的动态执行特征， 将这些特征统称为程序频谱，计算出每个程序实体可能出错的概率。这种轻量级的 故障定位技术仅仅需要程序动态运行信息，由于其计算复杂度低，无需建模代价而 得到广泛研究和应用。 本文在分析各种常见程序频谱的基础上，提出了一种新的程序频谱——动态方 法调用图，它能够表达程序的语义信息——程序执行时方法之间的调用关系。由于 传统收集程序频谱的插桩方式引入过多额外的执行开销，本文介绍一种新的收集程 序频谱的方式，那就是采用面向方面编程技术收集程序频谱。。通过在被测程序中增 加一个新的模块——方面监视程序执行。由于方面可以跟踪程序执行时方法调用栈 的转换，收集的程序频谱可以记录程序执行时方法之间的调用关系。 在所收集的程序频谱的基础上，提出一种基于程序语义的故障定位技术。定义 了一种新的程序模型——程序动态行为图。在行为图中，边权值表示方法调用边的 调用频率，成功行为图和失败行为图的差异指出了程序中可疑的故障点。由于成功 测试用例的和失败测试用例数量差异很大，比较边调用频率这个绝对数值是不合理 的。本文认为如果一条边在成功行为图和失败行为图中的调用概率差越大，它出错 的概率就越大。通过计算每条边在成功行为图和失败行为图中的调用概率差，得到 边的故障可疑值，最后按照故障可疑值排列方法调用边，得到故障报告。 最后设计和实现了基于程序语义的故障定位原型系统，初步的实验结果表明， 相比传统的插桩技术，采用面向方面编程技术收集程序频谱能减少数十倍以上的执 行开销。通过大量实验验证，基于程序语义的故障定位技术能够提高错误定位的效 率，减轻程序员的调试负担。 关键词：故障定位；面向方面编程；程序频谱；程序动态行为图 II 基于程序语义的软件故障定位技术研究 基于程序语义的软件故障定位技术研究 o!!!e===!!======!!====!!!詈 Abstract With the development of computer technology and the expansion of software application，the scale and complexity of software systems rises and the rate of system failure caused by software faults continues to increase，and software reliability cannot be assured much more．It is a significant study to make the debugging automated and locate the fault in case of software failure． Spectra—based fault localization technology analyzes program runtime information， which is known as program spectra，from passing runs and failing runs，to compute the likelihood of each program entity being faulty．This lightweight fault localization takes as its only input d ynamic information collected at run-time，due to its low computational complexity and no modeling cost，has been widely studied and applied． On the basis of analyzing several common program spectra，the thesis proposes a novel program spectrum-dynamic method call graph，which conveys program semantics information·call relationship between methods while program executing．Traditional way to collect pr