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