[发明专利]基于启发式规则的并发式自适应随机测试方法有效

专利信息
申请号: 202110674680.5 申请日: 2021-06-17
公开(公告)号: CN113468047B 公开(公告)日: 2022-05-17
发明(设计)人: 沐燕舟;王赞;刘爽 申请(专利权)人: 天津大学
主分类号: G06F11/36 分类号: G06F11/36
代理公司: 天津市北洋有限责任专利代理事务所 12201 代理人: 李素兰
地址: 300072*** 国省代码: 天津;12
权利要求书: 查看更多 说明书: 查看更多
摘要: 发明公开了一种基于启发式规则的自适应随机并发测试方法,步骤1、随机执行待测试并发程序作为输入;步骤2、从初始状态开始探索程序状态空间;步骤3、进行启发式规则排序选择,三种启发规则分别为线程切换频率、写操作占比和共享变量个数;步骤4、在基于距离度量以及启发式规则排序之后,控制存储所有可行子状态的队列Q的长度,利用超参数N进行调整,直至到达程序的终止状态;步骤5、进行错误报告,即能够检测出为给定的待测并发程序其包含的错误,最终输出检测到的错误的详细信息报告。与现有技术相比,本发明利用启发式规则提高了加速检测并发程序的效率,从而解决了利用内存访问模式检测出现的“冷启动”问题;通过不断积累之前探索的信息,矫正之后的检测方向,大幅提高了检测并发程序错误的效率。
搜索关键词: 基于 启发式 规则 发式 自适应 随机 测试 方法
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

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

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

×

专利文献下载

说明:

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

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

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

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

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

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

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

钻瓜专利网在线咨询

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

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