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

发明专利有效专利

申请号：
CN201810964507.7
IPC分类号：G06F11/36
申请日期：
2018-08-23
申请人：
北京航空航天大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于DS证据理论的组合加速静态分析方法
申请号	CN201810964507.7	申请日期	2018-08-23
法律状态	实质审查	申报国家	中国
公开/公告日	2019-01-18	公开/公告号	CN109240920A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6查看分类表>
申请人	北京航空航天大学	申请人地址	北京市海淀区学院路37号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	北京航空航天大学	当前权利人	北京航空航天大学
发明人	杨顺昆;李红曼;苟晓冬;张逸卓
代理机构	北京慧泉知识产权代理有限公司	代理人	王顺荣;唐爱华

摘要

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

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供