检索结果-维普期刊中文期刊服务平台

基于EPOM的扩展程序参考模型: 1; 作者吕波赵洋 +1 位作者蔡志旻潘金贵《计算机工程》 CAS CSCD 北大核心 2003年第17期100-101,104,共3页; 扩展程序参考模型是在可扩展的程序对象模型（EPOM）的基础上建立起来的有关程序统计信息的模型。它能够反映程序中的变量信息、函数信息、类型信息和枚举常量等信息，并以HTML的形式展现给用户。询问-回答模式在该模型中得到了广泛应... 展开更多; 关键词可扩展程序对象模型扩展程序参考模型询问-回答模式程序信息统计; 在线阅读下载PDF 职称材料

询问-回答模式下层次式程序表示模型的构建方法: 2; 作者赵洋黄春浩 +1 位作者吕波潘金贵《计算机工程与应用》 CSCD 北大核心 2003年第28期139-141,147,共4页; 对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在... 展开更多; 关键词静态分析层次式模型可扩展程序对象模型询问-回答模式对象控制; 在线阅读下载PDF 职称材料

程序静态分析中的双重模型策略: 3; 作者黄春浩赵洋 +1 位作者蔡志旻潘金贵《计算机应用研究》 CSCD 北大核心 2003年第10期42-45,共4页; 介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。; 关键词静态分析可扩展程序对象模型对象域型层次式程序表示模型; 在线阅读下载PDF 职称材料

基于EPOM的程序可视化表示系统的设计与实现被引量：7: 4; 作者赵洋蔡志旻潘金贵《计算机工程》 CAS CSCD 北大核心 2002年第7期108-110,共3页; 可扩展程序对象模型是一种用来刻画高级语言程序的抽象模型,利用该模型可以很方便地抽取出程序中各式各样的信息。概要介绍了可扩展程序对象模型并基于该模型设计和实现了一个程序的可视化表示系统,同时给出了该系统的运行结果。; 关键词 EPOM 程序可视化表示系统设计可扩展程序对象模型词法分析语法分析域控制计算机; 在线阅读下载PDF 职称材料

程序复杂度度量系统pgrmetrics的设计与实现被引量：4: 5; 作者丁炎炎赵洋 +1 位作者蔡志旻潘金贵《计算机应用研究》 CSCD 北大核心 2004年第1期167-169,共3页; 介绍一种源程序度量系统的实现方法,它以可扩展程序对象模型作为其构建基础,将对源程序的信息抽取变为对抽象对象模型的信息抽取,故而无论从设计和实现系统的角度看都显得较为简洁易行。; 关键词软件复杂度度量模型可扩展程序对象模型 McCabe方法; 在线阅读下载PDF 职称材料

题名基于EPOM的扩展程序参考模型: 1; 作者吕波赵洋蔡志旻潘金贵; 机构南京大学计算机软件新技术国家重点实验室; 出处《计算机工程》 CAS CSCD 北大核心 2003年第17期100-101,104,共3页; 基金日本富士通公司研究基金资助项目; 文摘扩展程序参考模型是在可扩展的程序对象模型（EPOM）的基础上建立起来的有关程序统计信息的模型。它能够反映程序中的变量信息、函数信息、类型信息和枚举常量等信息，并以HTML的形式展现给用户。询问-回答模式在该模型中得到了广泛应用，不仅在模型的构造过程中大量采用，模型的输出也采用该模式。概要介绍了扩展程序模型的结构和特点，同时给出了在此模型上的一个运行实例。; 关键词可扩展程序对象模型扩展程序参考模型询问-回答模式程序信息统计; Keywords EPOM EPRM Request-reply pattern Program statistics; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名询问-回答模式下层次式程序表示模型的构建方法: 2; 作者赵洋黄春浩吕波潘金贵; 机构南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系; 出处《计算机工程与应用》 CSCD 北大核心 2003年第28期139-141,147,共4页; 基金日本富士通公司研究基金资助; 文摘对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息递归表示模型。该模型侧重反映程序中对象、域和类型间的内在关系,并通过域把不同的对象和型关联起来。可扩展程序对象模型(EPOM)是用来具体刻画程序语法结构的一种抽象模型。在对程序进行词法和语法分析后得到EPOM的情况下通过询问-回答的对象控制模式可以方便的构建OSTPM。; 关键词静态分析层次式模型可扩展程序对象模型询问-回答模式对象控制; Keywords Static Analysis,OSTPM,EPOM,Request-Reply Pattern,Object Director; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名程序静态分析中的双重模型策略: 3; 作者黄春浩赵洋蔡志旻潘金贵; 机构南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系; 出处《计算机应用研究》 CSCD 北大核心 2003年第10期42-45,共4页; 基金日本富士通公司国际合作研究基金资助项目; 文摘介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。; 关键词静态分析可扩展程序对象模型对象域型层次式程序表示模型; Keywords Static Analysis EPOM(Extended Program Object Model) OSTPM(Hierarchical Program Model based on Object,Scope and Type); 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于EPOM的程序可视化表示系统的设计与实现被引量：7: 4; 作者赵洋蔡志旻潘金贵; 机构南京大学计算机软件新技术国家重点实验室; 出处《计算机工程》 CAS CSCD 北大核心 2002年第7期108-110,共3页; 文摘可扩展程序对象模型是一种用来刻画高级语言程序的抽象模型,利用该模型可以很方便地抽取出程序中各式各样的信息。概要介绍了可扩展程序对象模型并基于该模型设计和实现了一个程序的可视化表示系统,同时给出了该系统的运行结果。; 关键词 EPOM 程序可视化表示系统设计可扩展程序对象模型词法分析语法分析域控制计算机; Keywords EPOM Lexical analysisSyntax analysisEnvironment checkScope control; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名程序复杂度度量系统pgrmetrics的设计与实现被引量：4: 5; 作者丁炎炎赵洋蔡志旻潘金贵; 机构南京大学计算机软件新技术国家重点实验室计算机科学与技术系; 出处《计算机应用研究》 CSCD 北大核心 2004年第1期167-169,共3页; 文摘介绍一种源程序度量系统的实现方法,它以可扩展程序对象模型作为其构建基础,将对源程序的信息抽取变为对抽象对象模型的信息抽取,故而无论从设计和实现系统的角度看都显得较为简洁易行。; 关键词软件复杂度度量模型可扩展程序对象模型 McCabe方法; Keywords Software Complexity Metrics Model EPOM McCabe; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于EPOM的扩展程序参考模型	吕波赵洋蔡志旻潘金贵	《计算机工程》 CAS CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料
2	询问-回答模式下层次式程序表示模型的构建方法	赵洋黄春浩吕波潘金贵	《计算机工程与应用》 CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料
3	程序静态分析中的双重模型策略	黄春浩赵洋蔡志旻潘金贵	《计算机应用研究》 CSCD 北大核心	2003	0	在线阅读下载PDF 职称材料
4	基于EPOM的程序可视化表示系统的设计与实现	赵洋蔡志旻潘金贵	《计算机工程》 CAS CSCD 北大核心	2002	7	在线阅读下载PDF 职称材料
5	程序复杂度度量系统pgrmetrics的设计与实现	丁炎炎赵洋蔡志旻潘金贵	《计算机应用研究》 CSCD 北大核心	2004	4	在线阅读下载PDF 职称材料