|
|||||
|
|
| 投影图邻接矩阵生成算法 | |
| 引用本文： | 邱英汉. 投影图邻接矩阵生成算法[J]. 佛山科学技术学院学报(自然科学版), 1997, 0(4) |
| 作者姓名： | 邱英汉 |
| 作者单位： | 佛山大学理工分院 |
| 摘 要： | 在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ２）．讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法．另外，投影图邻接矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题． |
| 关 键 词： | 投影图邻接矩阵 程序静态测试 有向图的投影图 算法复杂性 程序静态测试工具 |
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, 0(4) | |
| Authors: | Qiu Yinghan |
| Affiliation: | 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 等数据库收录！ | |