基于概率推演的动态程序切片优先度计算方法  

Prioritizing Dynamic Program Slices Based on Probabilistic Inference

作　　者：夏嘉斌[1] 

机构地区：[1]上海交通大学软件学院,上海200240

出　　处：《计算机与现代化》2013年第3期12-16,共5页Computer and Modernization

基　　金：国家自然科学基金资助项目(60673120)

摘　　要：为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;最后在该网络上运行概率推演并统计,得到程序静态语句的正确概率。使用具有优先度的动态程序切片结果可进一步提高调试人员定位缺陷和分析故障的效率。实验表明本方法平均可将实际错误排名在切片结果的前20.2%。In order to increase the productivity of the debugging process,this paper proposes a novel strategy for prioritizing dynamic program slices by automatically calculating the probability of correctness of each statement based on the dynamic slices.First,a runtime dependence graph of the observed program outcome is extracted.The next step is the transformation from the dependence network to a Bayesian network.Finally,run a probabilistic inference for the likelihood of correctness of the execution instances and estimates the corresponding correctness of the static statements.Programmers can administer a guided bug locating process using this ranking of correctness belief.The results shows that on average our tool rank the faults to 20.2% of the dynamic slices.

关 键 词：动态切片 程序调试 概率推演 自动化程序分析 错误定位 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]