| 基于PAT树的程序静态分析方法 |
| |
| 引用本文： | 朱剑林. 基于PAT树的程序静态分析方法[J]. 咸宁学院学报, 2007, 27(6): 44-48 |
| |
| 作者姓名： | 朱剑林 |
| |
| 作者单位： | 咸宁学院,信息工程学院计算机系,湖北,咸宁,437100 |
| |
| 摘 要： | 软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．
|
| 关 键 词： | 软件测试 静态测试 程序静态分析 PAT |
| 文章编号： | 1006-5342(2007)06-0044-05 |
| 修稿时间： | 2007-10-09 |
A Program Static Analysis Method Based on PAT Tree |
| |
| ZHU Jian-lin. A Program Static Analysis Method Based on PAT Tree[J]. Journal of Xianning College, 2007, 27(6): 44-48 |
| |
| Authors: | ZHU Jian-lin |
| |
| Affiliation: | ZHU Jian-lin ( School of Information and Engineering, Xianning College, Xianning 437100, China) |
| |
| Abstract: | Static analysis is of significant importance to guarantee software quality and improve software productivity.In this paper,a new method of program static analysis is given.The method describes Java programs with a model of Program Analysis Tree.The model defines different kinds of syntax elements of Java programs as different kinds of tree nodes.A parent node points to several children nodes can describe the syntax element which contains several children syntax elements.Furthermore,a scheme of visiting the tree mode is given,with which a program static analysis method is proposed. |
| |
| Keywords: | Software testing Static analysis Program Analysis Tree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
