公开(公告)号：CN105224455B

公开(公告)日：2018-01-09

申请号：CN201510628462.2

申请日：2015-09-28

Applicant: 北京邮电大学

Inventor： 王雅文 ,  张旭舟 ,  宫云战 ,  金大海 ,  黄俊飞

IPC: G06F11/36

Abstract: 本发明公开了一种自动生成字符串类型测试用例的方法，首先，使用一个字符数组和一个长度属性作为字符串类型的数据模型，定义了三个原子函数，使用三个原子函数的组合表示C语言标准库中的字符串函数，然后，利用符号执行技术得到一条程序路径的约束提取过程中，对于字符串和字符串函数进行约束提取，得到包含原子函数表示的字符串约束；最后，针对源程序的执行路径，对每条路径的字符串约束进行约束求解，约束求解过程中，根据原子函数的参数的确定值，对于原子函数进行解释得到字符串的结构和取值，直到得到满足路径所有约束的测试用例。优点在于，应用于处理各种字符串函数，减少人工测试耗费的代价，提高软件测试的自动化程度。

公开(公告)号：CN104317708B

公开(公告)日：2017-06-13

申请号：CN201410562727.9

申请日：2014-10-21

Applicant: 北京邮电大学

Inventor： 王雅文 ,  邢颖 ,  宫云战 ,  张旭舟 ,  黄俊飞 ,  金大海

IPC: G06F11/36

Abstract: 本发明涉及一种基于迭代的区间运算的软件测试用例自动生成方法及系统，包括：S1、读取待测程序中的预定路径，通过遍历所述待测程序的控制流图得到所述预定路径的各个变量的变量取值区间；S2、将所述变量取值区间通过迭代的区间运算遍历所述控制流图，得到各个所述变量的初始稳定变量取值区间；S3、对所述初始稳定变量取值区间中的无穷变量取值区间进行初始化处理，通过迭代的区间运算遍历所述控制流图，并将运算结果保存到所述初始稳定变量取值区间；S4、根据预设的机制对变量进行排序，并确定当前变量；S5、对所述当前变量的初始稳定变量取值区间进行回退运算、迭代的区间运算及回溯运算，生成测试用例；S6、对生成的所述测试用例进行验证。

公开(公告)号：CN104317708A

公开(公告)日：2015-01-28

申请号：CN201410562727.9

申请日：2014-10-21

Applicant: 北京邮电大学

Inventor： 王雅文 ,  邢颖 ,  宫云战 ,  张旭舟 ,  黄俊飞 ,  金大海

IPC: G06F11/36

Abstract: 本发明涉及一种基于迭代的区间运算的软件测试用例自动生成方法及系统，包括：S1、读取待测程序中的预定路径，通过遍历所述待测程序的控制流图得到所述预定路径的各个变量的变量取值区间；S2、将所述变量取值区间通过迭代的区间运算遍历所述控制流图，得到各个所述变量的初始稳定变量取值区间；S3、对所述初始稳定变量取值区间中的无穷变量取值区间进行初始化处理，通过迭代的区间运算遍历所述控制流图，并将运算结果保存到所述初始稳定变量取值区间；S4、根据预设的机制对变量进行排序，并确定当前变量；S5、对所述当前变量的初始稳定变量取值区间进行回退运算、迭代的区间运算及回溯运算，生成测试用例；S6、对生成的所述测试用例进行验证。

公开(公告)号：CN105224455A

公开(公告)日：2016-01-06

申请号：CN201510628462.2

申请日：2015-09-28

Applicant: 北京邮电大学

Inventor： 王雅文 ,  张旭舟 ,  宫云战 ,  金大海 ,  黄俊飞

IPC: G06F11/36

Abstract: 本发明公开了一种自动生成字符串类型测试用例的方法，首先，使用一个字符数组和一个长度属性作为字符串类型的数据模型，定义了三个原子函数，使用三个原子函数的组合表示C语言标准库中的字符串函数，然后，利用符号执行技术得到一条程序路径的约束提取过程中，对于字符串和字符串函数进行约束提取，得到包含原子函数表示的字符串约束；最后，针对源程序的执行路径，对每条路径的字符串约束进行约束求解，约束求解过程中，根据原子函数的参数的确定值，对于原子函数进行解释得到字符串的结构和取值，直到得到满足路径所有约束的测试用例。优点在于，应用于处理各种字符串函数，减少人工测试耗费的代价，提高软件测试的自动化程度。