| 一个程序静态分析方法 |
| |
| 引用本文： | 刘桂山. 一个程序静态分析方法[J]. 北京理工大学学报, 1995, 0(5) |
| |
| 作者姓名： | 刘桂山 |
| |
| 作者单位： | 北京理工大学计算中心 |
| |
| 摘 要： | 阐述了程序静态分析方法，指出如何建立程序调用关系结构树、程序控制流和数据流，以及如何找出程序的结构错误、异常控制流和数据流．
|
| 关 键 词： | 软件工程；软件工具／结构树；控制流；数据流；静态分析 |
A Method for the Static Analysis of a Program |
| |
| Liu Guishan. A Method for the Static Analysis of a Program[J]. Journal of Beijing Institute of Technology(Natural Science Edition), 1995, 0(5) |
| |
| Authors: | Liu Guishan |
| |
| Abstract: | A method for the static analysis of a program is presented.It describes how the structure tree, control flow and data flow for the program are created, and how the structure errors,anomalous control flows and data flows are found. |
| |
| Keywords: | software engineering software tools/structure tree control flow data flow static analysis |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《北京理工大学学报》浏览原始摘要信息 |
|
点击此处可从《北京理工大学学报》下载全文 |
