北京市学科与研究生教育专项基金(PXM2012014224000038)
- 作品数:4 被引量:5H指数:1
- 相关作者:牟永敏张志华朱绪利张亚楠李良杰更多>>
- 相关机构:北京信息科技大学更多>>
- 发文基金:北京市学科与研究生教育专项基金更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 面向嵌入式系统函数动态调用路径拆分与匹配
- 2012年
- 嵌入式软件及其运行环境具有一定的特殊性和复杂性,函数调用路径可达到几十条到几十万条,仅靠动态测试无法保证覆盖所有静态路径。在获取静态函数调用关系路径的基础上,利用钩子函数动态提取系统执行过程中的基本信息,跟踪并确定函数的动态调用路径。通过对动态路径的拆分,实现路径子集与全局静态路径集的匹配,找出冗余的测试用例,计算出动态调用路径的覆盖率,有效提高了嵌入式系统测试的准确性和完整性。
- 李良杰牟永敏张志华
- 关键词:嵌入式软件
- 基于Soot控制流图的函数调用路径分析被引量:5
- 2012年
- 每个应用系统中存在多条基于函数的调用路径,这些路径的准确提取对于程序的理解、测试和维护起着重要的作用。文章利用开源的Java程序编译优化框架-Soot,对java程序的数据流及控制流进行分析,提取函数间关联信息写入中间文件,并对文件中的数据进行了分析,阐述了程序函数调用路径生成的流程及Soot的优点。最后通过实验验证,相比其他程序调用分析软件,基于Soot调用路径分析的软件测试工具-JSFUNP,对程序调用路径的分析更加准确、高效。
- 朱绪利牟永敏张志华
- 关键词:SOOTJAVA
- 面向业务的智能化通讯与监管系统设计
- 2012年
- 基于局域网的即时通讯软件与局域网监管软件结合,不仅满足了通讯和管理的需求,更能有效提高办公效率、节省资源。文章利用C/S模式,进行了网络通讯及监管相结合的智能化系统的设计。该系统功能齐全,具有结构模块化、升级扩展方便等特点。可进一步提高面向业务的通讯效率,降低企业的管理成本,对提高信息监管水平具有一定的借鉴意义。
- 张亚楠牟永敏张志华