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

基于基元关系模型的C++程序静态分析器被引量：2: 1; 作者汪浩金茂忠 +1 位作者陈起高仲仪《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期391-395,共5页; 分析了面向对象软件测试和度量的特点 ,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型 (ERM) ,介绍了从基于MFC(MicrosoftFoundationClass)的VisualC ++6.0源程序中构造ERM模型的算法 ,据此构造了一个基于... 展开更多; 关键词软件工程软件工具程序语言面向对象软件测试软件开发 c++程序静态分析器; 在线阅读下载PDF 职称材料

C语言程序结构自动分析器的设计与实现被引量：1: 2; 作者陈猛陈学锋李莲治《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1991年第5期56-61,共6页; 为了对用C语言编写的大型软件系统的程序结构进行自动分析,我们设计了一个C语言程序结构的自动分析器。本文给出了其设计思想,实现方案,并简要地说明了它的功能和使用方法。; 关键词 c语言程序结构自动分析器; 在线阅读下载PDF 职称材料

C语言程序分析器6833-cflow的自动生成: 3; 作者袁杰勋尤晋元龚为众《计算机工程与应用》 CSCD 北大核心 1991年第11期13-15,共3页; 程序的静态结构分析器是一种重要的软件工具。本文介绍了UNIX系统支持下开发的程序分析器自动生成系统GSPA的设计和实现,及用该生成器生成的C语言程序分析器6833-cflow。; 关键词 c语言程序分析器生成自动式; 在线阅读下载PDF 职称材料

程序结构分析器生成系统的设计与实现被引量：2: 4; 作者旷海蓉尤晋元《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期62-65,共4页; 介绍了一个程序结构分析器生成系统的设计与实现．描述了系统设计的主要思想，探讨分析器的统一输入、输出、语法分析界面和标志符作用域机制的设计。; 关键词程序结构分析器静态分析软件复用软件工程; 在线阅读下载PDF 职称材料

面向语句分值的C程序静态评分方法: 5; 作者舒新峰贾敬霞 +1 位作者何孝敏付稳稳《计算机工程与设计》北大核心 2021年第5期1331-1338,共8页; 针对现有评测方法结果过于粗糙的问题,提出面向语句分值的C程序静态评分方法。定义答案程序中语句分值的表示形式,引入程序语句依赖图准确表示待判定程序的语法结构;基于语句分值及依赖关系将程序语句依赖图划分为路径片段集合,通过匹... 展开更多; 关键词语句分值 c程序静态评分程序语句依赖图路径片段集合评分; 在线阅读下载PDF 职称材料

LALR(1)语法分析器的自动生成被引量：2: 6; 作者肖俊超张家晨《计算机应用》 CSCD 北大核心 2003年第4期65-68,共4页; 文章简单介绍了语法分析器自动生成的原理和技术 ,根据语法分析器的生成过程 ,介绍了实用的语法分析器的自动生成器各个部件及其实现的详细过程。; 关键词 LALR(1)语法分析器自动生成 LR方法 LALR(1)方法 Shift表 Reduce表 c语言程序设计语法分析程序文件输入方法; 在线阅读下载PDF 职称材料

编译原理理论在C程序题自动评分系统中的应用被引量：3: 7; 作者赵晓刘学锋王晓霞《陕西科技大学学报（自然科学版）》 2010年第3期135-137,共3页; 结合陕西科技大学的教学实际情况提出了一种基于编译原理理论的C程序题自动评分算法,在比较结果的评分方法基础上,设计了动态评阅与静态评阅相结合的方法.由于编译原理的知识比较成熟,所以本系统的评分结果更加公正、准确,而且避免了人... 展开更多; 关键词编译原理 c程序题动态评阅静态评阅; 在线阅读下载PDF 职称材料

基于可视化程序设计语言的编译系统被引量：2: 8; 作者魏兰李文锋《计算机工程》 CAS CSCD 北大核心 2007年第13期104-106,共3页; 采用面向对象技术设计可视化程序设计语言的编译系统,通过对复杂的可视化图片语法进行分析,将各语法现象以语法单元类的形式进行抽象分类,提出了编译器-编译器的设计策略,给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究... 展开更多; 关键词面向对象可视化程序设计语言分析器小型c编译器; 在线阅读下载PDF 职称材料

基于概率层次分析的缓冲区溢出检测工具评估被引量：1: 9; 作者张国强殷博 +1 位作者邱宇王伟静《计算机应用与软件》北大核心 2018年第7期27-32,103,共7页; 针对层次分析法在综合评估多种缓冲区溢出漏洞检测工具方面的缺陷,提出概率层次分析法,对五种典型的缓冲区溢出静态检测工具进行分析,综合评估各漏洞检测工具在缓冲区溢出漏洞检测方面的适用性和局限性。应用SARD标准数据集分析缓冲区... 展开更多; 关键词静态测试漏洞检测工具工具评估 c/c++程序缓冲区溢出概率层次分析法; 在线阅读下载PDF 职称材料

题名基于基元关系模型的C++程序静态分析器被引量：2: 1; 作者汪浩金茂忠陈起高仲仪; 机构北京航空航天大学计算机科学与工程系; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第4期391-395,共5页; 文摘分析了面向对象软件测试和度量的特点 ,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型 (ERM) ,介绍了从基于MFC(MicrosoftFoundationClass)的VisualC ++6.0源程序中构造ERM模型的算法 ,据此构造了一个基于基元关系模型的VC ++6.0程序静态分析器 .对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍 .实践证明 ,该分析器可以高效正确地提取出模型中描述的各种关系。; 关键词软件工程软件工具程序语言面向对象软件测试软件开发 c++程序静态分析器; Keywords computer aided software engineering computer programming languages Object oriented programming; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名C语言程序结构自动分析器的设计与实现被引量：1: 2; 作者陈猛陈学锋李莲治; 机构哈尔滨工业大学计算机系; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1991年第5期56-61,共6页; 文摘为了对用C语言编写的大型软件系统的程序结构进行自动分析,我们设计了一个C语言程序结构的自动分析器。本文给出了其设计思想,实现方案,并简要地说明了它的功能和使用方法。; 关键词 c语言程序结构自动分析器; Keywords Program structure automatic analyzing abstract data type; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名C语言程序分析器6833-cflow的自动生成: 3; 作者袁杰勋尤晋元龚为众; 机构上海交通大学; 出处《计算机工程与应用》 CSCD 北大核心 1991年第11期13-15,共3页; 文摘程序的静态结构分析器是一种重要的软件工具。本文介绍了UNIX系统支持下开发的程序分析器自动生成系统GSPA的设计和实现,及用该生成器生成的C语言程序分析器6833-cflow。; 关键词 c语言程序分析器生成自动式; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名程序结构分析器生成系统的设计与实现被引量：2: 4; 作者旷海蓉尤晋元; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期62-65,共4页; 基金电子工业部八五软件预研资助项目; 文摘介绍了一个程序结构分析器生成系统的设计与实现．描述了系统设计的主要思想，探讨分析器的统一输入、输出、语法分析界面和标志符作用域机制的设计。; 关键词程序结构分析器静态分析软件复用软件工程; Keywords program structure analyzer static analysis automatic generator software reuse; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向语句分值的C程序静态评分方法: 5; 作者舒新峰贾敬霞何孝敏付稳稳; 机构西安邮电大学计算机学院; 出处《计算机工程与设计》北大核心 2021年第5期1331-1338,共8页; 基金陕西高等教育教学改革研究基金项目(19BY091) 陕西省重点研发计划基金项目(2020GY-210) 西安邮电大学创新基金项目(CXJJLI2018018)。; 文摘针对现有评测方法结果过于粗糙的问题,提出面向语句分值的C程序静态评分方法。定义答案程序中语句分值的表示形式,引入程序语句依赖图准确表示待判定程序的语法结构;基于语句分值及依赖关系将程序语句依赖图划分为路径片段集合,通过匹配待判定程序和答案程序的路径片段集合相似度获得程序分值。实验结果表明,相比现有评测方法,该方法能够明显提升程序评分的准确度。; 关键词语句分值 c程序静态评分程序语句依赖图路径片段集合评分; Keywords statement score c program static score program statement dependency graph path fragment set score; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名LALR(1)语法分析器的自动生成被引量：2: 6; 作者肖俊超张家晨; 机构吉林大学计算机科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2003年第4期65-68,共4页; 文摘文章简单介绍了语法分析器自动生成的原理和技术 ,根据语法分析器的生成过程 ,介绍了实用的语法分析器的自动生成器各个部件及其实现的详细过程。; 关键词 LALR(1)语法分析器自动生成 LR方法 LALR(1)方法 Shift表 Reduce表 c语言程序设计语法分析程序文件输入方法; Keywords LR method LALR(1) method YAcc shift table reduce table; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名编译原理理论在C程序题自动评分系统中的应用被引量：3: 7; 作者赵晓刘学锋王晓霞; 机构陕西科技大学电气与信息工程学院西安飞机工业有限责任公司; 出处《陕西科技大学学报（自然科学版）》 2010年第3期135-137,共3页; 基金陕西科学大学自选项目(项目号:ZX08-22); 文摘结合陕西科技大学的教学实际情况提出了一种基于编译原理理论的C程序题自动评分算法,在比较结果的评分方法基础上,设计了动态评阅与静态评阅相结合的方法.由于编译原理的知识比较成熟,所以本系统的评分结果更加公正、准确,而且避免了人工评阅因主观因素而出现的偏差.; 关键词编译原理 c程序题动态评阅静态评阅; Keywords compiler principle test problem of c program dynamic judging static judging; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于可视化程序设计语言的编译系统被引量：2: 8; 作者魏兰李文锋; 机构武汉理工大学物流工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2007年第13期104-106,共3页; 基金国家自然科学基金资助项目(60475031) 湖北省青年杰出人才基金资助项目(2005ABB021); 文摘采用面向对象技术设计可视化程序设计语言的编译系统,通过对复杂的可视化图片语法进行分析,将各语法现象以语法单元类的形式进行抽象分类,提出了编译器-编译器的设计策略,给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统。通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统。; 关键词面向对象可视化程序设计语言分析器小型c编译器; Keywords objected-oriented visual programming language parser generator（VPLPG） little c code compiler（Lcc）; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于概率层次分析的缓冲区溢出检测工具评估被引量：1: 9; 作者张国强殷博邱宇王伟静; 机构国网天津市电力公司电力科学研究院国网天津市电力公司南开大学计算机与控制工程学院; 出处《计算机应用与软件》北大核心 2018年第7期27-32,103,共7页; 基金天津市自然科学基金重点项目(17JCZDJC30700); 文摘针对层次分析法在综合评估多种缓冲区溢出漏洞检测工具方面的缺陷,提出概率层次分析法,对五种典型的缓冲区溢出静态检测工具进行分析,综合评估各漏洞检测工具在缓冲区溢出漏洞检测方面的适用性和局限性。应用SARD标准数据集分析缓冲区溢出漏洞多发类型并提取其程序特征结构,根据漏洞检测工具的检测结果,基于漏报率、误报率等评估准则,使用概率层次分析模型对缓冲区溢出漏洞检测工具进行综合评估。实验说明概率层析分析法能够有效地评估漏洞检测工具在检测缓冲区溢出漏洞方面的性能。; 关键词静态测试漏洞检测工具工具评估 c/c++程序缓冲区溢出概率层次分析法; Keywords Static testing Vulnerability detection tool Tool evaluation c/c＋＋ program buffer overflow Probabilistic AHP（Analytic Hierarchy Process）; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于基元关系模型的C++程序静态分析器	汪浩金茂忠陈起高仲仪	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2001	2	在线阅读下载PDF 职称材料
2	C语言程序结构自动分析器的设计与实现	陈猛陈学锋李莲治	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	1991	1	在线阅读下载PDF 职称材料
3	C语言程序分析器6833-cflow的自动生成	袁杰勋尤晋元龚为众	《计算机工程与应用》 CSCD 北大核心	1991	0	在线阅读下载PDF 职称材料
4	程序结构分析器生成系统的设计与实现	旷海蓉尤晋元	《上海交通大学学报》 EI CAS CSCD 北大核心	1997	2	在线阅读下载PDF 职称材料
5	面向语句分值的C程序静态评分方法	舒新峰贾敬霞何孝敏付稳稳	《计算机工程与设计》北大核心	2021	0	在线阅读下载PDF 职称材料
6	LALR(1)语法分析器的自动生成	肖俊超张家晨	《计算机应用》 CSCD 北大核心	2003	2	在线阅读下载PDF 职称材料
7	编译原理理论在C程序题自动评分系统中的应用	赵晓刘学锋王晓霞	《陕西科技大学学报（自然科学版）》	2010	3	在线阅读下载PDF 职称材料
8	基于可视化程序设计语言的编译系统	魏兰李文锋	《计算机工程》 CAS CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
9	基于概率层次分析的缓冲区溢出检测工具评估	张国强殷博邱宇王伟静	《计算机应用与软件》北大核心	2018	1	在线阅读下载PDF 职称材料