论文部分内容阅读
在投影图邻接矩阵生成算法的基础上提出了一种改进算法,该算法的复杂性O(n~2).讨论了程序静态测试中不可出型控制流,不可进型控制流,主控制流中断等错误点的定位问题,类似的结论对数据流也适用,为构造程序静态测试工具提供了新的方法.另外,投影图邻接矩阵生成算法可用于通讯、交通、运输等领域,用于检测一个子集经另一个子集的可达性问题.