[发明专利]基于启发式规则的并发式自适应随机测试方法有效
申请号: | 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/,转载请声明来源钻瓜专利网。
- 上一篇:一种无运放带隙基准源
- 下一篇:电池健康状态测算方法以及相关设备