程序概率依赖性分析技术研究

摘要：

现有程序依赖性分析技术单独考虑数据依赖与控制依赖,忽略了两者之间的联系,不利于提高分析的精度.提出了概率依赖性的概念,分析各种过程内与过程间依赖性的概率,并提出概率系统依赖图的概念及其构建方法.这种方法可以比较精确地分析程序行为,在程序理解、软件测试以及软件重构等方面有着较好的应用前景.

关键词： 程序切片 数据依赖 控制依赖 概率依赖性

作者: 余斌 史亮 钱巨

作者单位: 东南大学计算机科学与工程系,南京,210096

会议类型: 国内会议

会议名称: 中国造船工程学会电子技术学术委员会第七届会员代表大会暨电子技术2006年学术年会

会议地点: 贵州

会议语种:中文

页码: 197-199

在线出版日期: 2006-08-01（万方平台首次上网日期，不代表论文的发表时间）