[发明专利]一种基于DS证据理论的组合加速静态分析方法在审
| 申请号： | 201810964507.7 | 申请日： | 2018-08-23 |
| 公开（公告）号： | CN109240920A | 公开（公告）日： | 2019-01-18 |
| 发明（设计）人： | 杨顺昆;李红曼;苟晓冬;张逸卓 | 申请（专利权）人： | 北京航空航天大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京慧泉知识产权代理有限公司 11232 | 代理人： | 王顺荣;唐爱华 |
| 地址： | 100191*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种基于DS证据理论的组合加速静态分析方法，步骤如下：1：获取多个程序静态分析工具；2：对基准程序进行测试，获取所述静态分析工具的性能参数；3：分别使用所述分析工具对待测程序进行扫描，得到程序的每条语句的分析结果；4：基于所述的分析结果以及所述工具的性能参数对所述程序的分析结果进行及时更新；5：进行基于DS证据理论的数据融合得到结果数据；6：将所得结果数据进行排序；通过以上步骤,实现了通过组合工具对待测程序进行扫描处理,将多组分析结果通过DS证据理论的方法进行数据融合，以缩短软件测试时间,提高所得数据分析结果的准确度和可信性。 | ||
| 搜索关键词： | 静态分析 证据理论 结果数据 数据融合 性能参数 数据分析结果 可信性 准确度 多个程序 分析工具 基准程序 软件测试 扫描处理 组合工具 语句 排序 扫描 测试 更新 | ||
【主权项】：
1.一种基于DS证据理论的组合加速静态分析方法，其特征在于：其实施步骤如下：步骤1：获取进行程序静态分析的多个程序静态分析工具；步骤2：分别使用所述静态分析工具对基准程序进行测试，获取所述静态分析工具的性能参数；步骤3：分别使用所述分析工具对待测程序进行扫描，得到程序的每条语句的分析结果；步骤4：基于所述的分析结果以及所述工具的性能参数对所述程序的分析结果进行及时更新；步骤5：将更新后的分析结果进行基于DS证据理论的数据融合得到结果数据；步骤6：将所得结果数据进行排序；通过以上步骤,实现了通过组合工具对待测程序进行扫描处理,将多组分析结果通过DS证据理论的方法进行数据融合,得到最终分析结果,这样实现了在短时间内获得准确的程序的分析结果,本领域技术人员结合该结果进行程序修正优化将能很大程序上提高效率,在一预定程度上加快了静态分析的进程,进而解决了实际问题中最终软件测试的准确度和可信度不高，需要多次测试来达到相对好的效果的问题。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京航空航天大学，未经北京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810964507.7/，转载请声明来源钻瓜专利网。
