您的位置: 专家智库 > >

国家自然科学基金(60573084)

作品数:12 被引量:34H指数:3
相关作者:金茂忠刘超许福赫建营晏海华更多>>
相关机构:北京航空航天大学北京林业大学中国人民解放军总参谋部第六十一研究所更多>>
发文基金:国家自然科学基金武器装备预研基金青年科技基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 12篇中文期刊文章

领域

  • 12篇自动化与计算...

主题

  • 3篇语法分析
  • 2篇语法分析器
  • 2篇软件测试
  • 2篇嵌入式
  • 2篇嵌入式软件
  • 2篇即时编译器
  • 2篇分析器
  • 2篇编译器
  • 2篇YACC
  • 1篇代码
  • 1篇代码生成
  • 1篇代码生成器
  • 1篇调度
  • 1篇断点
  • 1篇虚拟机
  • 1篇引擎
  • 1篇优化算法
  • 1篇再工程
  • 1篇正则
  • 1篇正则表达式

机构

  • 12篇北京航空航天...
  • 3篇北京林业大学
  • 1篇中国人民解放...
  • 1篇国家国防科技...

作者

  • 10篇金茂忠
  • 6篇许福
  • 6篇刘超
  • 3篇刘辉
  • 3篇晏海华
  • 3篇李虎
  • 3篇赫建营
  • 2篇史晓华
  • 2篇陈志泊
  • 1篇王春玲
  • 1篇陈琦
  • 1篇孙俏
  • 1篇陈飞翔
  • 1篇杨晓津
  • 1篇郭荣锋

传媒

  • 4篇计算机工程
  • 2篇北京航空航天...
  • 1篇计算机研究与...
  • 1篇计算机学报
  • 1篇计算机应用研...
  • 1篇系统仿真学报
  • 1篇北京邮电大学...
  • 1篇计算机科学

年份

  • 2篇2013
  • 1篇2012
  • 6篇2008
  • 2篇2007
  • 1篇2006
12 条 记 录,以下是 1-10
排序方式:
面向软件逆向工程的GLR优化算法被引量:1
2013年
GLR分析方法主要用于自然语言的处理分析,较少应用于软件逆向工程领域的语法分析。针对软件逆向工程领域的语法分析特点,分析传统确定性分析算法的局限性,阐述采用GLR分析算法的目的。通过实例剖析GLR算法的主要性能瓶颈,从分析表构造、分析动作执行等多个层面对算法进行优化,提出一种面向软件逆向工程的GLR优化算法。该算法已在一个可视化语法分析器自动生成环境中实现。实验结果表明,在分析无二义性输入串时,该优化算法与传统的LALR(1)文法具有可比性,实用价值较高。
许福金茂忠陈志泊陈飞翔赖昌庆
关键词:语法分析器软件再工程软件逆向工程
轻量级静态分析器构造方法综述被引量:3
2008年
由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。
郭荣锋金茂忠刘超
LALR(1)分析器快速生成被引量:1
2008年
根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法.研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这两个计算过程给出了高效的数据结构和算法设计,实现了LALR(1)分析器的快速生成.系统实现及实验数据表明,LALR(1)分析器的生成速度超过了自由软件基金会的LALR(1)分析器生成器B ison.
李虎杨晓津刘超
基于模拟器的嵌入式软件动态测试技术被引量:3
2008年
提出一种嵌入式软件动态测试框架,该框架以模拟器为运行核心,准确模拟嵌入式硬件的运行状态,给出语句覆盖率、分支覆盖率、函数及模块的执行频度、程序执行时间等测试信息,有效地支持了嵌入式软件的动态测试和单元测试。实验证明了该方法的有效性。
许福金茂忠晏海华刘辉赫建营
关键词:模拟器嵌入式软件测试
结合本体筛选和文本挖掘的垂直搜索引擎研究被引量:14
2008年
针对垂直搜索引擎研究领域的关键技术问题,提出了一个结合本体筛选和文本挖掘的垂直搜索引擎构建思想。首先探讨了作为研究基础的本体和文本挖掘技术,讨论了两者的作用;之后阐述了垂直搜索引擎构建的关键技术,包括基于本体筛选的智能搜索器、结合文本挖掘的网页信息分析及抽取、索引器及查询处理器的构造;最后,对提出的思想进行了实现验证,构造一个面向高校毕业生招聘的垂直搜索引擎原型。
赫建营晏海华金茂忠刘超
关键词:垂直搜索本体文本挖掘
基于SWEBOK的软件工程知识分类模型及算法被引量:2
2008年
软件组织内部智慧资产的有效组织和管理一直是一个悬而未决的问题。将文本分类技术引入到软件工程知识分类领域,首先综合分析了软件工程领域知识的基本类型和特性;之后依据这些特性结合软件工程知识体系(SWEBOK:Software Engineering Body of Knowledge),提出了一个软件工程知识的分类模型和算法;最后通过实验验证了提出的模型和算法的有效性。实验结果表明,该模型和算法具有良好的分类性能,为软件工程知识的有效分类提供了一种途径。
赫建营晏海华金茂忠刘超
关键词:知识分类软件工程文本分类
即时编译器中的轻量级指令调度算法
2007年
介绍了一种为即时编译器和时空受限系统设计的轻量级线性复杂指令调度算法。该算法进行指令调度时,不基于传统的DAG图或表达式树,而是基于一种独创的数据结构扩展关联矩阵,其时间复杂性在最坏情况下也能与全部指令长度构成严格的线性关系,仅占用不到1 KB的内存空间。该算法已被Intel为Xscale设计的高性能J2ME虚拟机XORP采用为即时编辑器中的缺省指令调度算法。
史晓华刘超金茂忠郭鹏
关键词:指令调度即时编译器JAVA虚拟机
基于仿真器的嵌入式软件单元测试方法被引量:4
2012年
介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值.
许福金茂忠刘辉陈琦
关键词:嵌入式软件软件测试仿真器链接器
VPGE:一个LALR(1)分析器的可视化生成和断点调试系统被引量:3
2007年
LALR(1)分析程序生成系统在编译器构造领域以外被许多普通软件开发者学习和使用.为帮助用户理解LALR(1)分析器方法,编写出正确、完整、无语法分析冲突的文法规范,严格定义了使用LALR(1)分析器生成器时用户可能遇到的几类文法问题,描述一个为帮助用户解决这些问题而开发的LALR(1)分析器可视化和断点调试系统VPGE.VPGE以多种视图显示LALR(1)分析器的数据结构,包括状态栈、符号栈、输入符号串、分析树和底层的自动机,支持LR分析动作的单步执行和断点调试.性能实验结果表明,VPGE比GNU的Bison有更快的分析器生成速度,从而提供了一个LALR(1)文法及分析器的快速交互式调试环境.
李虎金茂忠许福
关键词:YACCBISON软件可视化断点
即时编译器中的代码消极生成机制被引量:2
2008年
提出一种应用于即时编译器中的代码生成优化技术——代码消极生成机制,结合Intel微处理器研究院的XORP虚拟机对该项技术进行了阐述。介绍了XORP中实现的其他轻量级优化算法,并采用EEMBC对不同虚拟机和不同优化进行了科学评估。采用该项技术的XORP虚拟机的运行速度为KVM的15倍以上,超过其他商用高性能虚拟机。
史晓华金茂忠
关键词:代码生成器即时编译器
共2页<12>
聚类工具0