基于PAT树的程序静态分析方法  

A Program Static Analysis Method Based on PAT Tree

作　　者：朱剑林[1] 

机构地区：[1]咸宁学院信息工程学院计算机系,湖北咸宁437100

出　　处：《咸宁学院学报》2007年第6期44-48,共5页Journal of Xianning University

摘　　要：软件测试是软件工程的重要组成部分,程序静态分析技术是软件测试中静态测试的基础,该技术通过对程序源代码进行分析以发现其中的错误.文章提出了一种程序静态分析方法,建立了一个树形结构的模型PAT(Program Analysis Tree)形式化描述了Java程序,准确地描述了Java程序的逻辑结构.最后给出了一个基于此模型的程序分析方法.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.

关 键 词：软件测试 静态测试 程序静态分析 PAT 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]