基于克雷格插值的反例理解方法

• 作者: 张涛 陈志远 黄宏涛 黄少滨
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 模型检测 反例 反例理解 最弱前置条件 克雷格插值
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 计算机科学
• 页码范围: 94-100
• 页数: 7页
• 分类号: TP311.5
• 字数: 6350字
• 语种: 中文

摘要

针对错误原因提取效率低的问题,提出一种利用克雷格插值对模型检测器产生的反例进行自动理解的方法.该方法首先从反例失效状态出发推导出其最弱前置条件,然后对初始状态与反例最弱前置条件进行不一致分析,能在线性时间内提取克雷格插值作为反例失效原因,产生的插值能直接用于定位错误事件.实验结果表明,基于克雷格插值的反例理解方法能显著提高反例理解速度,提高软件的调试效率,从而提升软件的可靠性和质量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张涛	哈尔滨工程大学计算机科学与技术学院	85	1098	19.0	31.0
2	黄少滨	哈尔滨工程大学计算机科学与技术学院	55	319	10.0	15.0
3	陈志远	哈尔滨工程大学计算机科学与技术学院	12	46	5.0	6.0
4	黄宏涛	哈尔滨工程大学计算机科学与技术学院	5	28	3.0	5.0