公开(公告)号：CN101901188A

公开(公告)日：2010-12-01

申请号：CN201010235307.1

申请日：2010-07-23

Applicant: 哈尔滨工程大学

Inventor： 赵玉新 ,  孙纪玮 ,  刘厂 ,  高峰 ,  张振兴 ,  沈志峰

IPC: G06F11/36

Abstract: 本发明提供的是一种基于可达路径的软件测试方法。1、收集程序的基本信息，包括语句出现的变量的定义和使用信息；2、对每一个切片建立一个信息链表；3、应用图可达性算法后向遍历程序，按照控制和依赖关系标记它的直接前驱结点，将标记的当前节点n包含到S(v)中；4、判断是否到达程序的入口点，如果还没有到达程序的入口点则继续后向遍历程序，否则，停止遍历得到包含一组可能路径的集合即路径切片S；5、从路径切片S的第一个分支谓词开始分析变量的相关性。本发明分两步分析选择可达路径，第一步确定路径的子集，第二步在集合中分析路径。缩小了选择的范围，容易实现覆盖的充分性。

公开(公告)号：CN101901188B

公开(公告)日：2012-02-01

申请号：CN201010235307.1

申请日：2010-07-23

Applicant: 哈尔滨工程大学

Inventor： 赵玉新 ,  孙纪玮 ,  刘厂 ,  高峰 ,  张振兴 ,  沈志峰

IPC: G06F11/36

Abstract: 本发明提供的是一种基于可达路径的软件测试方法。1、收集程序的基本信息，包括语句出现的变量的定义和使用信息；2、对每一个切片建立一个信息链表；3、应用图可达性算法后向遍历程序，按照控制和依赖关系标记它的直接前驱结点，将标记的当前节点n包含到S(v)中；4、判断是否到达程序的入口点，如果还没有到达程序的入口点则继续后向遍历程序，否则，停止遍历得到包含一组可能路径的集合即路径切片S；5、从路径切片S的第一个分支谓词开始分析变量的相关性。本发明分两步分析选择可达路径，第一步确定路径的子集，第二步在集合中分析路径。缩小了选择的范围，容易实现覆盖的充分性。