[发明专利]基于符号执行的测试用例生成方法及装置

权利要求书

1.一种基于符号执行的测试用例生成方法，其特征在于，包括：

对待测试程序进行静态分析，得到所述待测试程序的指令信息；

根据所述指令信息确定针对所述待测试程序中输入数据的约束条件；

在待测试程序进行符号执行的过程中，对输入数据满足所述约束条件的路径进行符号执行，得到该路径对应的测试用例。

2.根据权利要求1所述的方法，其特征在于，所述根据所述指令信息确定针对所述待测试程序中输入数据的约束条件，包括：

从所述指令信息中获得输入数据长度比较指令；

从所述输入数据长度比较指令中获取第一数据长度；

根据所述第一数据长度生成针对待测试程序中输入数据的约束条件。

3.根据权利要求2所述的方法，其特征在于，所述在待测试程序进行符号执行的过程中，对输入数据满足所述约束条件的路径进行符号执行，得到该路径对应的测试用例，包括：

在待测试程序进行符号执行的过程中，对输入数据的数据长度与所述第一数据长度相匹配的路径进行符号执行，得到该路径对应的测试用例。

4.根据权利要求2所述的方法，其特征在于，所述从所述指令信息中获得输入数据长度比较指令，包括：

确定所述指令信息中的比较指令；

针对任一比较指令，若所述指令信息中该比较指令之前和/或之后存在调用确定字符串长度函数的第一调用指令，则确定该比较指令为所述输入数据长度比较指令。

5.根据权利要求1至4中任一项所述的方法，其特征在于，所述根据所述指令信息确定针对所述待测试程序中输入数据的约束条件，包括：

若所述指令信息中存在调用比较函数的第二调用指令，获取所述待测试程序中包含的字符串；

从所述待测试程序中包含的字符串中确定指定输入字符串；

根据所述指定输入字符串生成针对待测试程序中输入数据的约束条件。

6.根据权利要求5所述的方法，其特征在于，所述在待测试程序进行符号执行的过程中，对输入数据满足所述约束条件的路径进行符号执行，得到该路径对应的测试用例，包括：

在待测试程序进行符号执行的过程中，对输入数据与所述指定输入字符串相匹配的路径进行符号执行，得到该路径对应的测试用例。

7.根据权利要求5或6所述的方法，其特征在于，从所述待测试程序中包含的字符串中确定指定输入字符串，包括：

针对任一字符串，若字符串存储区域中未包含该字符串，则确定该字符串为指定输入字符串，

所述字符串存储区域用于存储程序语言中固有的字符串。

8.根据权利要求6所述的方法，其特征在于，所述根据所述指定输入字符串生成针对待测试程序中输入数据的约束条件，包括：

获取所述指定输入字符串的前缀；

根据所述指定输入字符串的前缀，生成针对待测试程序中输入数据的约束条件。

9.根据权利要求8所述的方法，其特征在于，所述在待测试程序进行符号执行的过程中，对输入数据满足所述约束条件的路径进行符号执行，得到该路径对应的测试用例，包括：

在待测试程序进行符号执行的过程中，对输入数据与所述指定输入字符串的前缀相匹配的路径进行符号执行，得到该路径对应的测试用例。

10.一种基于符号执行的测试用例生成装置，其特征在于，包括：

处理模块，用于对待测试程序进行静态分析，得到所述待测试程序的指令信息；

确定模块，用于根据所述指令信息确定针对所述待测试程序中输入数据的约束条件；

执行模块，用于在待测试程序进行符号执行的过程中，对输入数据满足所述约束条件的路径进行符号执行，得到该路径对应的测试用例。