航天支撑技术基金(GFJG-E10803)
- 作品数:2 被引量:1H指数:1
- 相关作者:陈刚文勇蔡铭金星杨子江更多>>
- 相关机构:广西民族大学浙江大学北京神舟航天软件技术有限公司更多>>
- 发文基金:航天支撑技术基金航天科技创新基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 软件故障定位报告质量评估方法
- 2011年
- 通过对基于静态程序依赖图的软件故障定位报告质量评估方法的分析,指出由于其评分缺乏对程序运行时动态特征的描述,而影响评分质量,提出一种新的改进方法.该方法利用描述程序运行的特征谓词信息和基于失败运行测试用例的程序运行轨迹,将动态特征融入到静态程序依赖图中,构造动态程序依赖图,在此基础上运用基于广度优先搜索算法,得到能够更加真实反映在查错过程中需要排查的程序语句集合.结合软件故障定位模型的实证分析表明,该方法能够有效提高评估质量,促进定位模型的改进.
- 文勇蔡铭戴建华陈刚
- 关键词:程序依赖图
- 目标码流图和结构覆盖率获取方法被引量:1
- 2010年
- 为了有效进行目标码分析与验证,提出了通过扩展CPU模块获取目标码控制流图及结构覆盖率的方法。采用CPU分支指令功能扩展,并新增动态地址跳转记录单元,实现目标码控制流信息的有效采集,结合目标码流图构造算法,完成结构覆盖率计算。分析结果表明,该方法不依赖于开发工具链信息和无需代码插桩,对CPU运行性能影响小且目标码流图构造算法为线性复杂度。
- 文勇蔡铭陈刚杨子江金星
- 关键词:控制流图