[发明专利]一种受上下文无关文法约束的测试用例生成方法

权利要求书

1.一种受上下文无关文法约束的测试用例生成方法，其步骤为：

1)建立一包括若干合法测试用例的初始集合I；所述合法测试用例为符合目标程序的上下文无关文法约束、能被程序正确地接受和处理的测试用例；

2)对于I中的每一合法测试用例，利用上下文无关文法分析其语法结构，得到一解析树T；

3)遍历解析树T中每一内结点n，对于n所对应的上下文无关文法非终结符N，将N在测试用例中所生成的子串s加入到该非终结符N对应的字符串集合Frag_N中；

4)对所述初始集合I中每一合法测试用例，重复步骤2)、3)，得到每一非终结符在所有合法测试用例中所能生成的字符串集合；

5)将I中的合法测试用例作为初始种子测试用例加入到一队列Q中，并为Q设定一个测试用例入队条件P；

6)从队列Q的队头依次取出一个初始种子测试用例c，利用上下文无关文法分析其语法结构，得到一个解析树T_c；

7)遍历解析树T_c中每一内结点n_c，对于n_c所对应的上下文无关文法非终结符N_c，查找非终结符N_c所生成的初始种子测试用例c中的子串s_c；

8)利用4)所得的与该非终结符N_c名称相同的集合Frag_N中每个字符串分别替代初始种子测试用例c的子串s_c，每次得到一个新的测试用例c’，如果c’已经在集合GEN中出现，则将c’丢弃；否则将c’加入到集合GEN中，并且如果c’满足Q中入队条件P，则同时将c’加入队列Q的队尾；

9)重复步骤6)～8)，直到队列Q中的种子测试用例全部被依次取出，此时将集合GEN中的全部元素作为测试用例输出。

2.如权利要求1所述的方法，其特征在于所述初始集合I中的测试用例覆盖上下文无关文法所有语法结构。

3.如权利要求2所述的方法，其特征在采用深度优先的方法遍历解析树。

4.如权利要求2所述的方法，其特征在采用广度优先的方法遍历解析树。

5.如权利要求3或4所述的方法，其特征在于遍历解析树中同一父结点下的子结点时，位于左侧的子结点先于右侧的子结点遍历。

6.如权利要求1或2所述的方法，其特征在于所述初始种子测试用例为所述初始集合I中的合法测试用例。

7.如权利要求1或2所述的方法，其特征在于所述入队条件P为测试用例长度小于一设定阈值。

8.如权利要求1或2所述的方法，其特征在于所述合法测试用例为Fuzzing测试用例。

9.如权利要求1或2所述的方法，其特征在于所述目标程序为以受上下文无关文法约束的数据为输入的软件或系统。

10.如权利要求9所述的方法，其特征在于所述软件包括但不限于：网络浏览器软件、数据库服务器系统软件。