阮园
- 作品数：16 被引量：16H指数：3
- 供职机构：中国电子科技集团第五十八研究所更多>>
- 发文基金：国家科技重大专项中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 电路中转库管理系统设计与实现
- 2002年
- 随着计算机应用技术的迅速发展 ,用现代化的计算机管理系统代替手工作坊式的管理模式已是势在必行。在这种需求的推动之下 ,我们运用软件工程开发的系统方法 ,建立开发了一套完整的针对本单位电路中转库管理的软件系统。本文介绍了该管理系统的开发背景、实施方案。
- 罗静阮园
- 关键词：软件工程
- 一种重构CoSy中间表示的缓冲区溢出检测方法
- 本发明旨在提供一种重构CoSy中间表示的缓冲区溢出检测方法，即对源代码进行分析来对缓冲区溢出进行检测的方法。该方法包括（1）CoSy编译器分析扫描源程序，生成中间表示CCMIR；（2）重构CCMIR文本，并为所有非静态局...
- 张梅娟阮园黄嵩人于宗光
- 文献传递
- 一种基于流式数据的软件许可日志采集方法和系统
- 本发明涉及软件许可技术领域，本发明公开了一种基于流式数据的软件许可日志采集方法和系统，所述方法包括在软件许可服务器上安装数据采集组件，用于从软件许可日志中提取流式数据，并将其转换为可存储的格式；将提取到的流式数据通过网络...
- 朱玲媛王君张鹏邢嘉林王勇奚相恺张亦斌阮园
- CoSy C语言编译器安全性研究
- 2012年
- 为验证CoSy编译器的安全性,并确定不安全因素大致出现的位置,提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法。该方法生成源程序的控制流图以及CoSy中级中间表示的控制流图后,生成由CoSy编译器产生的目标汇编码的控制流图,根据控制流图同构算法,判断控制流图是否同构,由此确定CoSy编译器的不安全因素发生在编译器的前端还是后端。实验结果表明,该方法能有效验证编译器的安全性。
- 王少培吴健阮园
- 关键词：控制流图同构图
- 基于错误模式和模型检验的静态代码分析方法被引量：3
- 2012年
- 为提高程序编写的正确率,减少软件开发和维护开销,提出一种基于错误模式和模型检验的静态代码分析方法。该方法将C语言程序常见的错误模式以CTL公式表示,形成可扩展的CTL公式库,生成待检测程序的控制流图(CFG)后,将CFG抽象并转化为等价的Kripke结构,利用标号算法实现模型检验,由此验证程序的正确性。基于CoSy编译平台的实验结果表明,该方法能正确查找出程序中存在的错误模式,且具有良好的可扩展性。
- 魏雪菲吴健阮园
- 关键词：控制流图KRIPKE结构
- 基于LISA模型的汇编器研究与实现被引量：3
- 2012年
- 介绍了一种基于LISA模型的汇编器设计方法,着重分析了LISA模型的建模方法,并针对一款DSP处理器的指令集进行建模,在LISA模型的基础上借助PD(Processor Designer)平台成功生成汇编器lasm,最后对所生成的汇编器进行了反汇编验证.
- 魏国吴健阮园
- 关键词：LISAPD汇编器DSP
- 基于仿真器的指令级调试系统的设计与实现
- 2011年
- 根据嵌入式软件开发的特点,结合GDB的工作原理,采用实现本地rsp_server的技术对基于仿真器的调试系统进行设计,减少了仿真器和指令级调试系统之间的耦合性,同时采用模块化设计的方案,使调试系统能够适应于多种仿真器,实现了调试系统的可扩展性和可移植性。此外,结合交叉调试原理,重点介绍了调试系统的设计方案和实现技术,针对ELF目标文件格式,详细分析了RSP协议,并对调试系统的实现进行了实验验证。
- 刘红红史浩山阮园夏安祥
- 关键词：仿真器可执行文件格式
- 材料备件业务管理系统的开发
- 2002年
- 计算机应用管理已经无处不在 ,它们被广泛应用于实现现代化办公或业务管理。
- 罗静阮园蔡军
- 关键词：软件开发企业信息化
- DSP指令集仿真器优化技术研究被引量：3
- 2011年
- 鉴于指令集仿真器(ISS)在处理器仿真及系统软件测试和验证领域研究中的重要性,如何更好地提升ISS性能一直是领域研究人员面临的一个难题。在现有解释型ISS一般模型的基础上,引入了决策森林、译码缓存、虚拟页表等多种优化技术,设计并实现了一款面向ZWFCore的高性能可定制DSP指令集仿真器——ZWISS。经实验分析,与现有方法相比,提出的优化技术能够明显提升IIS性能。
- 林方全吴健阮园
- 关键词：指令集仿真器可定制
- 一种可重定向的交叉调试器实现方法被引量：1
- 2011年
- 研究交叉调试工具支持后续功能可扩展的方法,设计并实现了一种可重定向的交叉调试器,使调试命令的处理过程全部运行于调试主机上,并通过调试编程接口实现对不同目标对象的挂接,以实现源码级的调试。使用该方案能够快速地实现针对不同体系架构的交叉调试器,具有开发周期短、性价比高、可移植性好的特点。
- 夏安祥史浩山阮园刘红红
- 关键词：调试代理
