首页> 中国专利> 一种基于DS证据理论的组合加速静态分析方法

一种基于DS证据理论的组合加速静态分析方法

摘要

本发明提供了一种基于DS证据理论的组合加速静态分析方法,步骤如下:1:获取多个程序静态分析工具;2:对基准程序进行测试,获取所述静态分析工具的性能参数;3:分别使用所述分析工具对待测程序进行扫描,得到程序的每条语句的分析结果;4:基于所述的分析结果以及所述工具的性能参数对所述程序的分析结果进行及时更新;5:进行基于DS证据理论的数据融合得到结果数据;6:将所得结果数据进行排序;通过以上步骤,实现了通过组合工具对待测程序进行扫描处理,将多组分析结果通过DS证据理论的方法进行数据融合,以缩短软件测试时间,提高所得数据分析结果的准确度和可信性。

著录项

  • 公开/公告号CN109240920A

    专利类型发明专利

  • 公开/公告日2019-01-18

    原文格式PDF

  • 申请/专利权人 北京航空航天大学;

    申请/专利号CN201810964507.7

  • 发明设计人 杨顺昆;李红曼;苟晓冬;张逸卓;

    申请日2018-08-23

  • 分类号

  • 代理机构北京慧泉知识产权代理有限公司;

  • 代理人王顺荣

  • 地址 100191 北京市海淀区学院路37号

  • 入库时间 2024-02-19 07:54:08

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2019-02-19

    实质审查的生效 IPC(主分类):G06F11/36 申请日:20180823

    实质审查的生效

  • 2019-01-18

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号