一种线性拟合函数驱动的测试数据自动生成方法

摘要

本发明公开了一种基于线性拟合函数驱动的测试数据自动生成方法。本发明通过路径分析得到路径集合，然后对每个路径寻找可覆盖该路径的测试数据产生待测源代码的测试数据集。其中，对每个路径寻找可覆盖该路径的测试数据通过以下方法实现：首先通过随机方法构建输入向量集，然后对输入向量集的运行分析，再通过线性拟合的手段扩展输入向量集，经重复迭代，获得可覆盖该路径的测试数据。本发明方法高度自动化，能够尽可能的提高单元测试的效率，降低测试成本，并且支持面向路径的测试覆盖准则。

主权项

一种基于线性拟合函数驱动的测试数据自动生成方法，包括分析待测源程序获得待测源程序所有路径的路径集PS的步骤，其特征在于，该方法还包括对路径集PS中的每一路径P执行以下步骤：S1：根据所述路径P上的各分支节点的各个判断语句，构建关于输入变量向量X的分支函数F_i,j(X)；所述输入变量向量X为所述待测源程序输入变量构成的向量；所述分支函数F_i,j(X)表示第i个分支节点的第j个判断语句的分支函数；S2：构建初始的输入向量集U；所述初始的输入向量集U至少包含两个输入向量；S3：计算以输入向量集U中每个输入向量作为待测源程序的输入执行待测源程序时所述路径P上的每个分支节点上的各分支函数F_i,j(X)获得分支函数值的集合V以及最远公共分支节点m；假如输入向量集U中存在一个输入向量执行待测源程序时覆盖所述路径P，则返回该输入向量作为所述路径P的测试数据；S4：根据各个分支节点上的各分支函数值的集合V以及最远公共分支节点m构建最远公共分支节点m前的每个分支节点中的各分支函数的线性拟合函数LF_i,j；LF_i,j表示第i个分支的第j个分支函数的线性拟合函数；S5：根据每个分支节点中的各分支函数的线性拟合函数LF_i,j和待测源程序计算可行区间I；S6：在可行区间I内随机选取各输入变量的输入值得到测试数据集加入至输入向量集U中；S7：重复执行步骤S3至S6直到步骤S3至S6执行的次数达到限定的次数；S8：从输入向量集U中找出能够覆盖路径P最多分支的输入向量作为路径P的测试数据；所述步骤S5包括如下步骤：S51：计算各个分支节点中各分支函数的可行区间D_i,j；S52：合并每个分支节点内的各分支函数的可行区间D_i,j得到各分支节点的可行区间D_i；S53：合并最远公共分支节点m前的各分支节点的可行区间D_i得到可行区间I；所述可行区间I＝{I₁，I₂，...，I_s}，其中，s为输入变量的个数，I_i为第i个输入变量的可行区间，I_i＝{I_i,1，I_i,2，...，I_i,Mi}，其中，I_i,j为第i个输入变量第j个可行分段区间，Mi为第i个输入变量可行分段区间数，所述步骤S6中，当Mi为1时，从I_i为第i个输入变量的可行区间的唯一分段区间I_i,1的扩展区间中随机取值构建测试数据。