CN102819490A - 一种基于给定缺陷描述信息进行软件测试的方法及系统 - Google Patents
一种基于给定缺陷描述信息进行软件测试的方法及系统 Download PDFInfo
- Publication number
- CN102819490A CN102819490A CN2012102543925A CN201210254392A CN102819490A CN 102819490 A CN102819490 A CN 102819490A CN 2012102543925 A CN2012102543925 A CN 2012102543925A CN 201210254392 A CN201210254392 A CN 201210254392A CN 102819490 A CN102819490 A CN 102819490A
- Authority
- CN
- China
- Prior art keywords
- tested
- code
- defect
- expression
- sddl
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 230000007547 defect Effects 0.000 title claims abstract description 137
- 238000000034 method Methods 0.000 title claims abstract description 27
- 238000013522 software testing Methods 0.000 title claims abstract description 14
- 230000003068 static effect Effects 0.000 claims abstract description 41
- 238000010586 diagram Methods 0.000 claims abstract description 6
- 230000014509 gene expression Effects 0.000 claims description 70
- 230000006870 function Effects 0.000 claims description 43
- 238000012360 testing method Methods 0.000 claims description 6
- 238000007689 inspection Methods 0.000 abstract description 3
- 238000001514 detection method Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000007670 refining Methods 0.000 description 1
Images
Landscapes
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
本发明提供了一种基于给定缺陷描述信息进行软件测试的方法和系统，所述方法包括：接收用户发来的待测代码和缺陷描述信息；对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷，可以实现对用户所关注的缺陷进行检测。
Description
技术领域
本发明涉及软件静态测试技术，尤其涉及一种基于给定缺陷描述信息进行软件测试的方法及系统。
背景技术
静态代码缺陷分析技术通过对代码进行静态分析来推测程序运行时的表现行为，从而发现代码中可能存在的缺陷。
目前，通常采用基于缺陷模式的代码检查方法对代码进行缺陷检测，基于缺陷模式的代码检查方法主要包括如下步骤：将受检代码与缺陷查找工具中设置的多个缺陷模式依次进行匹配，如果受检代码与某一缺陷模式匹配，则确定受检代码包含与该缺陷模式对应的缺陷；根据确定的缺陷生成缺陷检测报告，将所述缺陷报告呈现给用户。所述缺陷模式是缺陷查找工具设计人员对代码中经常出现的缺陷进行总结、提炼而设计出来的，每个缺陷模式对应不同的缺陷。
现有的缺陷查找工具，如FindBugs、PMD和Hammurapi等，通常具有固定数目的缺陷模式，是不能根据用户的需要增加缺陷模式的，也就是说只能对已设置的缺陷模式对应的缺陷进行检测。
但是，实践中用户往往希望能够对自己所关注的缺陷进行检测。
发明内容
有鉴于此，本发明的主要目的在于提供一种基于给定缺陷描述信息进行软件测试的方法及系统，能够对用户所关注的缺陷进行检测。
为达到上述目的，本发明的技术方案是这样实现的：
本发明提供了一种基于给定缺陷描述信息进行软件测试的方法，所述方法包括：
接收用户发来的待测代码和缺陷描述信息；
对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；
根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷。
优选的，所述缺陷描述信息为静态缺陷描述语言(SDDL)表达式，所述SDDL表达式用于描述用户关注的语法缺陷，
相应的，根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷，为，
在符号表、控制流图、函数调用关系、定义-使用链中，查找SDDL表达式描述的用户关注的语法缺陷，找到待测代码中的所述语法缺陷。
优选的，所述对收到的待测代码进行静态分析之前，所述方法还包括：
对收到的SDDL表达式进行合法性判断。
优选的，所述对收到的SDDL表达式进行合法性判断，为，
判断所述SDDL表达式中是否包含尚未定义的谓词表达式，当不包含尚未定义的谓词表达式时，
判断所述SDDL表达式中各个项的类型是否都正确，当各个项的类型均正确时，判定为合法，执行对收到的待测代码进行静态分析的操作。
优选的，所述对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链，为，
对收到的待测代码进行词法分析和语法分析，构造出待测代码的抽象语法树；
根据抽象语法树，生成符号表和控制流图；
根据生成的符号表，对待测代码进行函数调用关系分析，生成函数调用关系；
根据控制流图和符号表，生成定义-使用链。
本发明提供了一种基于给定缺陷描述信息进行软件测试的系统，所述系统包括：信息接收单元、静态分析单元和缺陷查找单元，其中，
所述信息接收单元，用于接收用户发来的待测代码和缺陷描述信息；
所述静态分析单元，用于对信息接收单元收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；
所述缺陷查找单元，用于根据信息接收单元收到的缺陷描述信息在静态分析单元得到的符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷。
优选的，所述缺陷描述信息为SDDL表达式，所述SDDL表达式用于描述用户关注的语法缺陷，
相应的，缺陷查找单元，具体用于在静态分析单元得到的符号表、控制流图、函数调用关系、定义-使用链中，查找信息接收单元收到的SDDL表达式描述的用户关注的语法缺陷，找到待测代码中的所述语法缺陷。
优选的，所述系统还包括：合法性判断单元，用于对信息接收单元收到的SDDL表达式进行合法性判断。
优选的，所述合法性判断单元，具体用于判断所述SDDL表达式中是否包含尚未定义的谓词表达式，当不包含尚未定义的谓词表达式时，
判断所述SDDL表达式中各个项的类型是否都正确，当各个项的类型均正确时，判定为合法，通知静态分析单元执行对信息接收单元收到的待测代码进行静态分析的操作。
优选的，静态分析单元，具体用于对信息接收单元收到的待测代码进行词法分析和语法分析，构造出待测代码的抽象语法树；
根据抽象语法树，生成符号表和控制流图；
根据生成的符号表，对待测代码进行函数调用关系分析，生成函数调用关系；
根据控制流图和符号表，生成定义-使用链。
由上可知，采用本发明的技术方案：接收用户发来的待测代码和缺陷描述信息；对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中用户所关注的缺陷，可以实现对用户所关注的缺陷进行检测。
附图说明
图1为本发明的基于给定缺陷描述信息进行软件测试的方法的第一实施例的流程图；
图2为本发明的基于给定缺陷描述信息进行软件测试的系统的实施例的结构示意图；
图3为本发明的基于给定缺陷描述信息进行软件测试的方法的第二实施例的流程图。
具体实施方式
本发明的基本思想是：接收用户发来的待测代码和缺陷描述信息；对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷。
本发明提供的基于给定缺陷描述信息进行软件测试的方法的第一实施例，如图1所示，本实施例中的方法包括：
步骤101、接收用户发来的待测代码和缺陷描述信息；
较佳的，所述缺陷描述信息为静态缺陷描述语言(Static Defect DescriptionLanguage，SDDL)表达式，所述SDDL表达式用于描述用户关注的语法缺陷。
所述SDDL是一种基于逻辑的查询语言，所述SDDL表达式由定义的谓词表达式构成，所述谓词表达式是构成SDDL表达式的最基本形式，所述谓词表达式形如：P(X1，X2，...，Xn)，其中P是谓词，表示一种逻辑关系；Xi(i＝1，2，...，n)是项，其中n为正整数，所述项可以为常量或变量，SDDL表达式中的项是有类型的，不同类型的项代表不同的语法实体。
步骤102、对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；
较佳的，所述对收到的待测代码进行静态分析之前，所述方法还可以包括：
对收到的SDDL表达式进行合法性判断。
这里，所述对收到的SDDL表达式进行合法性判断，可以为，
判断所述SDDL表达式中是否包含尚未定义的谓词表达式，当不包含尚未定义的谓词表达式时，
判断所述SDDL表达式中各个项的类型是否都正确，当各个项的类型均正确时，判定为合法，执行对收到的待测代码进行静态分析的操作。
较佳的，所述对收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链，可以为，
对收到的待测代码进行词法分析和语法分析，构造出待测代码的抽象语法树；
根据抽象语法树，生成符号表和控制流图；
根据生成的符号表，对待测代码进行函数调用关系分析，生成函数调用关系；
根据控制流图和符号表，生成定义-使用链。
步骤103、根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷。
较佳的，当缺陷描述信息为SDDL表达式时，根据缺陷描述信息在符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷，可以为，
在符号表、控制流图、函数调用关系、定义-使用链中，查找SDDL表达式描述的用户关注的语法缺陷，找到待测代码中的所述语法缺陷。
本发明提供的基于给定缺陷描述信息进行软件测试的系统的实施例，如图2所示，本实施例中的系统包括：信息接收单元、静态分析单元和缺陷查找单元，其中，
所述信息接收单元，用于接收用户发来的待测代码和缺陷描述信息；较佳的，所述缺陷描述信息为SDDL表达式，所述SDDL表达式用于描述用户关注的语法缺陷。
所述静态分析单元，用于对信息接收单元收到的待测代码进行静态分析，得到符号表、控制流图、函数调用关系、定义-使用链；
较佳的，所述静态分析单元，具体用于对信息接收单元收到的待测代码进行词法分析和语法分析，构造出待测代码的抽象语法树；
根据抽象语法树，生成符号表和控制流图；
根据生成的符号表，对待测代码进行函数调用关系分析，生成函数调用关系；
根据控制流图和符号表，生成定义-使用链。
所述缺陷查找单元，用于根据信息接收单元收到的缺陷描述信息在静态分析单元得到的符号表、控制流图、函数调用关系、定义-使用链中进行缺陷查找，找到待测代码中缺陷描述信息所描述的缺陷。
当缺陷描述信息为SDDL表达式时，缺陷查找单元，具体用于在静态分析单元得到的符号表、控制流图、函数调用关系、定义-使用链中，查找信息接收单元收到的SDDL表达式描述的用户关注的语法缺陷，找到待测代码中的所述语法缺陷。
较佳的，所述系统还包括：合法性判断单元，用于对信息接收单元收到的SDDL表达式进行合法性判断。
较佳的，所述合法性判断单元，具体用于判断所述SDDL表达式中是否包含尚未定义的谓词表达式，当不包含尚未定义的谓词表达式时，
判断所述SDDL表达式中各个项的类型是否都正确，当各个项的类型均正确时，判定为合法，通知静态分析单元执行对信息接收单元收到的待测代码进行静态分析的操作。
本发明提供的基于给定缺陷描述信息进行软件测试的方法的第二实施例，如图3所示，本实施例中的方法包括：
步骤301、接收用户发来的待测代码和缺陷描述信息，所述缺陷描述信息为SDDL表达式，所述SDDL表达式用于描述用户关注的语法缺陷。
步骤302、判断所述SDDL表达式中是否包含尚未定义的谓词表达式，如果不包含尚未定义的谓词表达式，则进入步骤303；如果包含尚未定义的谓词表达式，则结束本次流程。
步骤303、判断所述SDDL表达式中各个项的类型是否都正确，如果各个项的类型均正确，进入步骤304；如果各个项的类型有错误，则结束本次流程。
步骤304、对收到的待测代码进行词法分析和语法分析，构造出待测代码的抽象语法树。
步骤305、根据抽象语法树，生成符号表和控制流图。
步骤306a、根据生成的符号表，对待测代码进行函数调用关系分析，生成函数调用关系。
步骤306b、根据控制流图和符号表，生成定义-使用链。
步骤307、在符号表、控制流图、函数调用关系、定义-使用链中，查找SDDL表达式描述的用户关注的语法缺陷，找到待测代码中的所述语法缺陷。
例如，SDDL表达式描述的用户关注的语法缺陷为：待测代码中的变量的名称以“_”开头，如果待测代码中的变量的名称以“_”开头，就确定待测代码中存在所述语法缺陷，此时SDDL表达式具体可以为：var(？v)，name(？v，？n)，re_match(“_(.)*”，？n)，其中，“？v”和“？n”是变量项，符号“，”表示合取(并)。
那么本步骤具体为，在符号表、控制流图、函数调用关系、定义-使用链中，使用var(？v)，name(？v，？n)，re_match(“_(.)*”，？n)进行查询，寻找所有满足条件的变量，所述条件为变量的名称能够匹配正则表达式“_(.)*”。
具体的，所述寻找所有满足条件的变量为：首先找到待测代码中的一个变量，并将其与？v绑定(binging/B)；然后取？v也即变量的名称，并将其与？n绑定；最后判断？n是否匹配正则表达式“_(.)*”。重复上述步骤，直到找到所有满足条件的变量或把待测代码中的所有变量都检查完为止。
由上可知，采用本发明的技术方案可以实现对用户所关注的缺陷进行检测。
以上所述，仅为本发明的较佳实施例而已，并非用于限定本发明的保护范围。
Claims (10)
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所述的系统，其特征在于，静态分析单元，具体用于对信息接收单元收到的待测代码进行词法分析和语法分析，构造出待测代码的抽象语法树；
根据抽象语法树，生成符号表和控制流图；
根据生成的符号表，对待测代码进行函数调用关系分析，生成函数调用关系；
根据控制流图和符号表，生成定义-使用链。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2012102543925A CN102819490A (zh) | 2012-07-20 | 2012-07-20 | 一种基于给定缺陷描述信息进行软件测试的方法及系统 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN2012102543925A CN102819490A (zh) | 2012-07-20 | 2012-07-20 | 一种基于给定缺陷描述信息进行软件测试的方法及系统 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN102819490A true CN102819490A (zh) | 2012-12-12 |
Family
ID=47303612
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN2012102543925A Pending CN102819490A (zh) | 2012-07-20 | 2012-07-20 | 一种基于给定缺陷描述信息进行软件测试的方法及系统 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102819490A (zh) |
Cited By (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103336739A (zh) * | 2013-06-09 | 2013-10-02 | 中国联合网络通信集团有限公司 | 软件测试方法及平台 |
| WO2014180107A1 (zh) * | 2013-05-08 | 2014-11-13 | 南京大学 | 一种基于测试的静态分析误报消除方法 |
| CN106033392A (zh) * | 2015-03-13 | 2016-10-19 | 上海爱韦讯信息技术有限公司 | 基于检查词需求的检测方法及装置 |
| CN107506304A (zh) * | 2017-08-24 | 2017-12-22 | 方智林 | 代码检测方法、装置、电子设备及存储介质 |
| CN107688541A (zh) * | 2017-09-15 | 2018-02-13 | 广州酷狗计算机科技有限公司 | 文件评审方法、装置、服务器及计算机可读存储介质 |
| CN107943481A (zh) * | 2017-05-23 | 2018-04-20 | 清华大学 | 基于多模型的c语言程序代码规范构造方法 |
| CN112035342A (zh) * | 2020-08-12 | 2020-12-04 | 绿盟科技集团股份有限公司 | 一种识别代码缺陷的方法及装置 |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101286132A (zh) * | 2008-06-02 | 2008-10-15 | 北京邮电大学 | 一种基于软件缺陷模式的测试方法及系统 |
-
2012
- 2012-07-20 CN CN2012102543925A patent/CN102819490A/zh active Pending
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101286132A (zh) * | 2008-06-02 | 2008-10-15 | 北京邮电大学 | 一种基于软件缺陷模式的测试方法及系统 |
Non-Patent Citations (2)
| Title |
|---|
| ZHU TIAN QING: "《 Proceedings of the 8~(th) International Symposium on Distributed Computing and Applications to Business,Engineering and Science》", 16 October 2009 * |
| 王雅文: "《基于缺陷模式的软件测试技术研究》", 《CNKI博士论文数据库》 * |
Cited By (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2014180107A1 (zh) * | 2013-05-08 | 2014-11-13 | 南京大学 | 一种基于测试的静态分析误报消除方法 |
| CN103336739A (zh) * | 2013-06-09 | 2013-10-02 | 中国联合网络通信集团有限公司 | 软件测试方法及平台 |
| CN103336739B (zh) * | 2013-06-09 | 2016-01-06 | 中国联合网络通信集团有限公司 | 软件测试方法及平台 |
| CN106033392A (zh) * | 2015-03-13 | 2016-10-19 | 上海爱韦讯信息技术有限公司 | 基于检查词需求的检测方法及装置 |
| CN107943481A (zh) * | 2017-05-23 | 2018-04-20 | 清华大学 | 基于多模型的c语言程序代码规范构造方法 |
| CN107506304A (zh) * | 2017-08-24 | 2017-12-22 | 方智林 | 代码检测方法、装置、电子设备及存储介质 |
| CN107688541A (zh) * | 2017-09-15 | 2018-02-13 | 广州酷狗计算机科技有限公司 | 文件评审方法、装置、服务器及计算机可读存储介质 |
| CN112035342A (zh) * | 2020-08-12 | 2020-12-04 | 绿盟科技集团股份有限公司 | 一种识别代码缺陷的方法及装置 |
| CN112035342B (zh) * | 2020-08-12 | 2024-03-15 | 绿盟科技集团股份有限公司 | 一种识别代码缺陷的方法及装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN112035359B (zh) | 程序测试方法、装置、电子设备及存储介质 | |
| CN109426722B (zh) | Sql注入缺陷检测方法、系统、设备及存储介质 | |
| US8539449B2 (en) | Device and method for inspecting software for vulnerabilities | |
| CN105068925B (zh) | 软件安全缺陷发现系统 | |
| CN102819490A (zh) | 一种基于给定缺陷描述信息进行软件测试的方法及系统 | |
| US9122540B2 (en) | Transformation of computer programs and eliminating errors | |
| US8645761B2 (en) | Precise fault localization | |
| Macia et al. | Supporting the identification of architecturally-relevant code anomalies | |
| Reddy et al. | Swerank: Software issue localization with code ranking | |
| CN117909984A (zh) | 基于相似性分析的实时操作系统驱动漏洞挖掘系统及方法 | |
| CN107341110A (zh) | 一种软件测试定位补丁修改及影响范围的工具及实现方法 | |
| Chen et al. | Utilizing precise and complete code context to guide LLM in automatic false positive mitigation | |
| CN106295343A (zh) | 一种基于序列化中间表示的源代码分布式检测系统及方法 | |
| CN102103539A (zh) | 基于z规格的测试用例生成方法 | |
| KR20190020363A (ko) | 동적 분석과 정적 분석을 연계한 프로그램을 분석하기 위한 방법 및 장치 | |
| CN104731705B (zh) | 一种基于复杂网络的脏数据传播路径发现方法 | |
| CN102681932A (zh) | 一种检测软件异常输入处理正确性的方法 | |
| CN118860406B (zh) | 漏洞检测方法、装置、计算机设备及可读存储介质 | |
| CN114691197A (zh) | 代码分析方法、装置、电子设备和存储介质 | |
| CN101833505B (zh) | 一种软件系统安全缺陷检测方法 | |
| CN102902820B (zh) | 数据库类型的识别方法和装置 | |
| CN105930258A (zh) | 一种参数过滤的方法及装置 | |
| CN103914380B (zh) | 结构测试中的边界值测试方法及其系统 | |
| CN106020913A (zh) | 一种缺陷检测工具更新方法及装置 | |
| CN102279799B (zh) | 基于路径包含处理方法的源代码静态分析方法及其装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C12 | Rejection of a patent application after its publication | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20121212 |