一种基于动态切片的轻量级错误定位技术实现方法

摘要

本发明是一种基于动态切片的轻量级错误定位方法，最顶层是测试用例生成模块，主要负责测试用例的自动化生成。第二层是程序状态修改模块，主要负责动态地改变谓词的结果，以产生值得进行切片的关键谓词。其余模块分别是断点分析模块、切片分析模块和可疑度统计模块；其中，断点分析模块主要负责分析程序崩溃的情况，对内存泄漏和堆栈溢出情况下无法正常执行结束的程序进行分析；切片分析模块主要是对依赖图进行动态切片，切片之后的结果以执行了程序哪几行的形式反馈给用户，用户根据切片结果，对其进行初步分析；可疑度统计模块主要负责计算每条可疑语句块的可疑度。大大减少了切片的工作量。精确的计算出程序崩溃时候的切片语句。