[发明专利]一种基于给定缺陷描述信息进行软件测试的方法及系统

权利要求书

1.一种基于给定缺陷描述信息进行软件测试的方法，其特征在于，所述方法包括：

接收用户发来的待测代码和缺陷描述信息；

对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；

根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷。

2.根据权利要求1所述的方法，其特征在于，所述缺陷描述信息为静态缺陷描述语言(SDDL)表达式，所述SDDL表达式用于描述用户关注的语法缺陷，

相应的，根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷，为，

在符号表、控制流图、函数调用关系、定义-使用链中，查找SDDL表达式描述的用户关注的语法缺陷，找到待测代码中的所述语法缺陷。

3.根据权利要求2所述的方法，其特征在于，所述对收到的待测代码进行静态分析之前，所述方法还包括：

对收到的SDDL表达式进行合法性判断。

4.根据权利要求3所述的方法，其特征在于，所述对收到的SDDL表达式进行合法性判断，为，

判断所述SDDL表达式中是否包含尚未定义的谓词表达式，当不包含尚未定义的谓词表达式时，

判断所述SDDL表达式中各个项的类型是否都正确，当各个项的类型均正确时，判定为合法，执行对收到的待测代码进行静态分析的操作。

5.根据权利要求1所述的方法，其特征在于，所述对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链，为，

对收到的待测代码进行词法分析和语法分析，构造出待测代码的抽象语法树；

根据抽象语法树，生成符号表和控制流图；

根据生成的符号表，对待测代码进行函数调用关系分析，生成函数调用关系；

根据控制流图和符号表，生成定义-使用链。

6.一种基于给定缺陷描述信息进行软件测试的系统，其特征在于，所述系统包括：信息接收单元、静态分析单元和缺陷查找单元，其中，

所述信息接收单元，用于接收用户发来的待测代码和缺陷描述信息；

所述静态分析单元，用于对信息接收单元收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；

所述缺陷查找单元，用于根据信息接收单元收到的缺陷描述信息在静态分析单元得到的符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷。

7.根据权利要求6所述的系统，其特征在于，所述缺陷描述信息为SDDL表达式，所述SDDL表达式用于描述用户关注的语法缺陷，

相应的，缺陷查找单元，具体用于在静态分析单元得到的符号表、控制流图、函数调用关系、定义-使用链中，查找信息接收单元收到的SDDL表达式描述的用户关注的语法缺陷，找到待测代码中的所述语法缺陷。

8.根据权利要求7所述的系统，其特征在于，所述系统还包括：合法性判断单元，用于对信息接收单元收到的SDDL表达式进行合法性判断。

9.根据权利要求8所述的系统，其特征在于，所述合法性判断单元，具体用于判断所述SDDL表达式中是否包含尚未定义的谓词表达式，当不包含尚未定义的谓词表达式时，

判断所述SDDL表达式中各个项的类型是否都正确，当各个项的类型均正确时，判定为合法，通知静态分析单元执行对信息接收单元收到的待测代码进行静态分析的操作。

10.根据权利要求6所述的系统，其特征在于，静态分析单元，具体用于对信息接收单元收到的待测代码进行词法分析和语法分析，构造出待测代码的抽象语法树；

根据抽象语法树，生成符号表和控制流图；

根据生成的符号表，对待测代码进行函数调用关系分析，生成函数调用关系；

根据控制流图和符号表，生成定义-使用链。