![基于并行符号执行的多源多目标逼近测试方法](/CN/2016/1/13/images/201610066280.jpg)
基本信息:
- 专利标题: 基于并行符号执行的多源多目标逼近测试方法
- 申请号:CN201610066280.5 申请日:2016-01-29
- 公开(公告)号:CN105550120B 公开(公告)日:2018-02-16
- 发明人: 曹琰 , 魏强 , 尹中旭 , 彭建山 , 武泽慧 , 柳晓龙 , 刘雯雯
- 申请人: 中国人民解放军信息工程大学
- 申请人地址: 河南省郑州市高新区科学大道62号
- 专利权人: 中国人民解放军信息工程大学
- 当前专利权人: 中国人民解放军信息工程大学
- 当前专利权人地址: 河南省郑州市高新区科学大道62号
- 代理机构: 郑州大通专利商标代理有限公司
- 代理人: 陈大通
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
The invention relates to a multisource-to-multi-target approaching testing method performed based on parallel symbols. The multisource-to-multi-target approaching testing method includes the steps that firstly, on the basis of safety-analysis-oriented intermediate language representation, input function source nodes and dangerous function sink nodes are detected and positioned; secondly, a set of calling paths from the source nodes to the sink nodes is analyzed through a program control flow diagram, and mapping relationships from the multi-source source nodes to the multi-target sink nodes are built; thirdly, the out-degree of the source nodes and the in-degree of the sink nodes are calculated according to the node pairs with the mapping relationships; finally, parallel task scheduling is achieved with the out-degree and the in-degree as the priority measurement bases so that multisource-to-multi-target approaching testing can be implemented. By means of the multisource-to-multi-target approaching testing method, the problems of the blindness and the low efficiency of traditional random path scheduling parallel testing are well solved, the key target covering hit rate is greatly increased, and software testing and analyzing efficiency is greatly improved.
公开/授权文献:
- CN105550120A 基于并行符号执行的多源多目标逼近测试方法 公开/授权日:2016-05-04