[发明专利]一种基于可达路径的软件测试方法

摘要

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

主权项

一种基于可达路径的软件测试方法，其特征是：步骤1：收集程序的基本信息，包括语句出现的变量的定义和使用信息；步骤2：对每一个切片建立一个信息链表；步骤3：应用图可达性算法后向遍历程序，按照控制和依赖关系标记它的直接前驱结点，将标记的当前节点n包含到S(v)中；步骤4：判断是否到达程序的入口点，如果还没有到达程序的入口点则继续后向遍历程序，否则，停止遍历得到包含一组可能路径的集合即路径切片S；步骤5：从路径切片S的第一个分支谓词开始分析变量的相关性，在取得的路径切片上分析路径的可达性即分析切片谓词变量表达式的取值，从切片入口点开始，按照数据依赖和控制依赖重新标记路径信息，完成对路径中分支谓词中的变量进行分析，判断谓词结点的取值，它的取值有三种可能性：true，false和undef，其中true和false表示相应的谓词变量已经被定值，即始终取真或假，undef表示相应的谓词变量的取值与实际运行有关，通过对谓词变量的判断如果能够达到指定的切片变量，即该路径为可达，否则为不可达，其中可达分为始终可达是指指定点始终在分支谓词取值的分支上和输入相关可达是指它的能否达到依赖于程序的输入值，直到把路径切片中的所有谓词变量都分析完。