计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
28期
139-141,147
,共4页
赵洋%黄春浩%吕波%潘金贵
趙洋%黃春浩%呂波%潘金貴
조양%황춘호%려파%반금귀
静态分析%层次式模型%可扩展程序对象模型%询问-回答模式%对象控制
靜態分析%層次式模型%可擴展程序對象模型%詢問-迴答模式%對象控製
정태분석%층차식모형%가확전정서대상모형%순문-회답모식%대상공제
对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础.基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型.该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来.可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型.在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM.
對程序進行靜態分析是程序檢查的一種有效的手段,而建立程序模型是對程序進行自動分析的基礎.基于對象、域和型的層次式程序錶示模型(OSTPM)是以域為基礎的層次式的程序信息遞歸錶示模型.該模型側重反映程序中對象、域和類型間的內在關繫,併通過域把不同的對象和型關聯起來.可擴展程序對象模型(EPOM)是用來具體刻畫程序語法結構的一種抽象模型.在對程序進行詞法和語法分析後得到EPOM的情況下通過詢問-迴答的對象控製模式可以方便的構建OSTPM.
대정서진행정태분석시정서검사적일충유효적수단,이건립정서모형시대정서진행자동분석적기출.기우대상、역화형적층차식정서표시모형(OSTPM)시이역위기출적층차식적정서신식체귀표시모형.해모형측중반영정서중대상、역화류형간적내재관계,병통과역파불동적대상화형관련기래.가확전정서대상모형(EPOM)시용래구체각화정서어법결구적일충추상모형.재대정서진행사법화어법분석후득도EPOM적정황하통과순문-회답적대상공제모식가이방편적구건OSTPM.
