公开(公告)号：CN104360938B

公开(公告)日：2017-10-20

申请号：CN201410564479.1

申请日：2014-10-21

Applicant: 北京邮电大学

Inventor： 金大海 ,  甄涛 ,  宫云战 ,  王雅文 ,  黄俊飞

IPC: G06F11/36

Abstract: 本发明涉及一种故障确认方法及其系统，所述方法包括：S1、利用预设故障模式，在静态分析过程中匹配出疑似故障点，对所述疑似故障点进行筛选后标注在被测程序的控制流图中；S2、在所述疑似故障点添加故障触发条件，形成故障节点，构造故障路径，并将新生成的故障节点添加到所述控制流图中，并作标记；S3、通过预设的路径选择策略，计算每个疑似故障点分别在每个节点的权重；S4、遍历控制流图，根据每个故障点在当前节点的权重选择故障路径，并对选择的路径的每个节点提取约束来指导动态执行的取值，对每个疑似故障点进行确认。该方法在执行过程中利用选路策略和动态符号执行技术相结合，指导程序高效的覆盖故障条件节点，从而提高确认故障效率。

公开(公告)号：CN104360938A

公开(公告)日：2015-02-18

申请号：CN201410564479.1

申请日：2014-10-21

Applicant: 北京邮电大学

Inventor： 金大海 ,  甄涛 ,  宫云战 ,  王雅文 ,  黄俊飞

IPC: G06F11/36

Abstract: 本发明涉及一种故障确认方法及其系统，所述方法包括：S1.利用预设故障模式，在静态分析过程中匹配出疑似故障点，对所述疑似故障点进行筛选后标注在被测程序的控制流图中；S2.在所述疑似故障点添加故障触发条件，形成故障节点，构造故障路径，并将新生成的故障节点添加到所述控制流图中，并作标记；S3.通过预设的路径选择策略，计算每个疑似故障点分别在每个节点的权重；S4.遍历控制流图，根据每个故障点在当前节点的权重选择故障路径，并对选择的路径的每个节点提取约束来指导动态执行的取值，对每个疑似故障点进行确认。该方法在执行过程中利用选路策略和动态符号执行技术相结合，指导程序高效的覆盖故障条件节点，从而提高确认故障效率。