首页 | 本学科首页   官方微博 | 高级检索  
     检索      

投影图邻接矩阵生成算法
引用本文:邱英汉.投影图邻接矩阵生成算法[J].佛山科学技术学院学报(自然科学版),1997(4).
作者姓名:邱英汉
作者单位:佛山大学理工分院
摘    要:在投影图邻接矩阵生成算法的基础上提出了一种改进算法,该算法的复杂性O(n2).讨论了程序静态测试中不可出型控制流,不可进型控制流,主控制流中断等错误点的定位问题,类似的结论对数据流也适用,为构造程序静态测试工具提供了新的方法.另外,投影图邻接矩阵生成算法可用于通讯、交通、运输等领域,用于检测一个子集经另一个子集的可达性问题.

关 键 词:投影图邻接矩阵  程序静态测试  有向图的投影图  算法复杂性  程序静态测试工具

On the Algorithm for Generating Adjacent Matrix of Projected Graph
Qiu Yinghan.On the Algorithm for Generating Adjacent Matrix of Projected Graph[J].Journal of Foshan University(Natural Science Edition),1997(4).
Authors:Qiu Yinghan
Institution:Qiu Yinghan *
Abstract:This paper puts forward another improved algorithm for generating adjacent matrix of projected graph, and discusses the location problem about some type error codes, which presents a new method for constructing program static test tools.
Keywords:adjacent matrix of projected graph    program static testing    projected graph of directed graph  complexity of algorithm    program static test tool
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号