题名: | 程序概率依赖性分析技术研究 |
正文语种: | 中文 |
作者: | 余斌 史亮 钱巨 |
作者单位: | 东南大学计算机科学与工程系,南京,210096 |
关键词: | 程序切片 数据依赖 控制依赖 概率依赖性 |
摘要: | 现有程序依赖性分析技术单独考虑数据依赖与控制依赖,忽略了两者之间的联系,不利于提高分析的精度.提出了概率依赖性的概念,分析各种过程内与过程间依赖性的概率,并提出概率系统依赖图的概念及其构建方法.这种方法可以比较精确地分析程序行为,在程序理解、软件测试以及软件重构等方面有着较好的应用前景. |
会议日期: | 200608 |
会议举办地点: | 贵州 |
会议名称: | 中国造船工程学会电子技术学术委员会第七届会员代表大会暨电子技术2006年学术年会 |
出版日期: | 2006-07-31 |
母体文献: | 中国造船工程学会电子技术学术委员会2006学术年会论文集 |
分类号: | TP311.5 |