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

摘要：

对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础.基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型.该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来.可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型.在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM.

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

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：日本富士通公司资助项目

在线出版日期：2004-02-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：139-141,147