[发明专利]基于Adaboost模型的并发程序数据竞争语句级检测方法有效

专利信息
申请号: 202010390967.0 申请日: 2020-05-11
公开(公告)号: CN111563045B 公开(公告)日: 2022-11-01
发明(设计)人: 孙家泽;易刚;王曙燕 申请(专利权)人: 西安邮电大学
主分类号: G06F11/36 分类号: G06F11/36
代理公司: 暂无信息 代理人: 暂无信息
地址: 710121 陕*** 国省代码: 陕西;61
权利要求书: 查看更多 说明书: 查看更多
摘要: 针对软件测试领域中的并发程序数据竞争检测问题,公开基于Adaboost模型的并发程序数据竞争语句级检测方法。本方法首先对并发程序进行插桩取样,记录指令的相关内存信息,将取出的指令集进行语句级转化;然后进一步提取出数据竞争相关属性特征,基于训练样本的特征属性构建并发程序Adaboost数据竞争语句级检测模型,最后利用模型对待测并发程序进行数据竞争检测。本发明提供了一种检测精度高、开销低的数据竞争检测方法,用于优化并发程序数据竞争检测问题。
搜索关键词: 基于 adaboost 模型 并发 程序 数据 竞争 语句 检测 方法
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于西安邮电大学,未经西安邮电大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/202010390967.0/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top