国家自然科学基金(61003027)
- 作品数:2 被引量:9H指数:1
- 相关作者:张震宇张云乾郑征张文博季晓慧更多>>
- 相关机构:中国科学院软件研究所中国地质大学北京航空航天大学更多>>
- 发文基金:国家自然科学基金安徽省自然科学基金国家科技重大专项更多>>
- 相关领域:自动化与计算机技术更多>>
- 程序断言与切片技术在检测程序非崩溃错误中的应用
- 2014年
- 针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序异常进行分析,判断程序是否真的出错并找到程序错误来源.实验结果表明,该方法可以有效地发现程序执行过程中发生的非崩溃错误,对程序异常进行合理的分类,约简程序代码和不变量,并将程序错误来源定位到具体的汇编指令,从而帮助程序员快速方便地找到错误来源.
- 邓超强曾凡平张辉张震宇董齐兴
- 关键词:断言切片
- 基于马尔可夫模型的软件错误定位方法被引量:9
- 2013年
- 软件调试是软件开发的重要环节.统计错误定位技术通过分析程序执行频谱来估计程序中错误所在的位置.针对不同类型的程序频谱,此类技术建立不同的启发式模型描述程序行为.已有研究表明,其准确度同目标错误和程序类型相关,且不存在某种普遍有效的技术.文中从单元测试的特性出发,探讨预测错误类型的可行性,并采用马尔可夫过程对错误类型进行预测,从错误定位技术备选集中选择适合的技术来实施.实验表明文中方法能够更快地定位程序错误.
- 张云乾郑征季晓慧张文博张震宇
- 关键词:马尔可夫模型