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

• 作者: 夏嘉斌
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 动态切片 程序调试 概率推演 自动化程序分析 错误定位
• 年，卷（期）: 2013,（3）
• 所属期刊栏目: 算法设计与分析
• 页码范围: 12-16
• 页数: 5页
• 分类号: TP311.53
• 字数: 3987字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2013.03.004

摘要

为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法.首先从程序运行过程抽取其相应的动态依赖关系图；然后根据依赖关系转化成贝叶斯网络；最后在该网络上运行概率推演并统计,得到程序静态语句的正确概率.使用具有优先度的动态程序切片结果可进一步提高调试人员定位缺陷和分析故障的效率.实验表明本方法平均可将实际错误排名在切片结果的前20.2％.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏嘉斌	上海交通大学软件学院	1	0	0.0	0.0