询问-回答模式下层次式程序表示模型的构建方法  

Method of Constructing the Hierarchical Program Model Using Request-Reply Pattern

作　　者：赵洋[1,2] 黄春浩[1,2] 吕波[1,2] 潘金贵[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室 [2]南京大学计算机科学与技术系,南京210093

出　　处：《计算机工程与应用》2003年第28期139-141,147,共4页Computer Engineering and Applications

基　　金：日本富士通公司研究基金资助

摘　　要：对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来。可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型。在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM。Static analysis is an effective method in program auditing and it is necessary to represent a program in a visual model before the analysis.The hierarchical program model based on object,scope and type(which is called OSTPM)has a recursive-nested structure.OSTPM emphasizes on the relationships among objects,scopes and types and connects them within the scope.Extended Program Object Model(which is called EPOM)is a abstract model used to depict the syntax structure of a program.It can get the EPOM after the process of lexical analysis and syntax analysis,and then can construct the OSTPM according to EPOM using Request-Reply Pattern.

关 键 词：静态分析 层次式模型 可扩展程序对象模型 询问-回答模式 对象控制 

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