| 构造软件静态测试自动工具的一种新方法 |
| |
| 引用本文： | 邱英汉,陈火炎.构造软件静态测试自动工具的一种新方法[J].暨南大学学报,1992,13(1):33-39. |
| |
| 作者姓名： | 邱英汉 陈火炎 |
| |
| 作者单位： | 佛山大学电子系，暨南大学计算机科学系 |
| |
| 摘 要： |
|
| 关 键 词： | 有向图 投影图 控制流 软件 流程图 |
A NEW METHOD FOR CONSTRUCTING SOFTWARE STATIC TESTING AUTOMATIC TOOL |
| |
| Qiu Yinghan.A NEW METHOD FOR CONSTRUCTING SOFTWARE STATIC TESTING AUTOMATIC TOOL[J].Journal of Jinan University(Natural Science & Medicine Edition),1992,13(1):33-39. |
| |
| Authors: | Qiu Yinghan |
| |
| Abstract: | An algorithm for transforming the adjacent matrix of directed graph into the adjacent matrix of its projected graph is presented. By means of this algorithm, matrixes can be used in static test of control flow, and in the check of unstructuredness of flow chart. |
| |
| Keywords: | directed graph projected graph program graph adjacent matrix control flow unstructruredness |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
