青年科技基金(2010BLX14)
- 作品数：2 被引量：5H指数：1
- 相关作者：金茂忠许福陈琦刘辉陈志泊更多>>
- 相关机构：北京林业大学北京航空航天大学国家国防科技工业局更多>>
- 发文基金：国家自然科学基金青年科技基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向软件逆向工程的GLR优化算法被引量：1
- 2013年
- GLR分析方法主要用于自然语言的处理分析,较少应用于软件逆向工程领域的语法分析。针对软件逆向工程领域的语法分析特点,分析传统确定性分析算法的局限性,阐述采用GLR分析算法的目的。通过实例剖析GLR算法的主要性能瓶颈,从分析表构造、分析动作执行等多个层面对算法进行优化,提出一种面向软件逆向工程的GLR优化算法。该算法已在一个可视化语法分析器自动生成环境中实现。实验结果表明,在分析无二义性输入串时,该优化算法与传统的LALR(1)文法具有可比性,实用价值较高。
- 许福金茂忠陈志泊陈飞翔赖昌庆
- 关键词：语法分析器软件再工程软件逆向工程
- 基于仿真器的嵌入式软件单元测试方法被引量：4
- 2012年
- 介绍了一种基于仿真器的嵌入式软件测试方法,通过构造链接器分析目标文件,生成内存映像,加载到仿真器执行测试.该方法特别适合嵌入式软件的单元测试,支持对不完整的代码进行测试,同时引入了交互式脚本执行机制,支持采用高级脚本语言而不是嵌入式专用汇编语言设计桩函数和测试用例,降低了测试人员的培训代价.航天某院等单位的应用结果显示,该方法能有效提升嵌入式软件的单元测试效率,有较高的实际推广价值.
- 许福金茂忠刘辉陈琦
- 关键词：嵌入式软件软件测试仿真器链接器
