- 1、本文档共13页,其中可免费阅读12页,需付费10金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
本发明公开了一种基于启发式规则的自适应随机并发测试方法,步骤1、随机执行待测试并发程序作为输入;步骤2、从初始状态开始探索程序状态空间;步骤3、进行启发式规则排序选择,三种启发规则分别为线程切换频率、写操作占比和共享变量个数;步骤4、在基于距离度量以及启发式规则排序之后,控制存储所有可行子状态的队列Q的长度,利用超参数N进行调整,直至到达程序的终止状态;步骤5、进行错误报告,即能够检测出为给定的待测并发程序其包含的错误,最终输出检测到的错误的详细信息报告。与现有技术相比,本发明利用启发式规则提高
(19)国家知识产权局
(12)发明专利
(10)授权公告号 CN 113468047 B
(45)授权公告日 2022.05.17
(21)申请号 202110674680.5 (56)对比文件
(22)申请日 2021.06.17
您可能关注的文档
- 一种离网风光氢冷能源系统优化配置方法.pdf
- 一种面向大型结构件热源辅助激光冲击强化方法.pdf
- 一种抗恶意传输数据攻击的数据聚合签名系统及方法.pdf
- 一种片簧结构总成及其扭力梁悬架结构.pdf
- 增强发泡地板、其制备用的挤出模具和设备组.pdf
- 基于BIM的地下室双扇门门槛钢筋精细化电算方法及系统.pdf
- 一种直线电机初级及牵引直线电机.pdf
- 一种园林绿化工程节水灌溉装置.pdf
- 玻璃基板、显示面板、显示器及电子设备.pdf
- 使用固废合成气的燃料电池发电系统及发电方法.pdf
- 船舶成本管理软件:NAPA Cost二次开发_(2).NAPA成本管理软件的主要功能.docx
- 振动传感器软件:Vibration Research振动传感器二次开发_(10).界面设计与用户交互.docx
- 振动传感器软件:Vibration Research振动传感器二次开发_(2).VibrationResearch软件介绍.docx
- 振动传感器软件:Vibration Research振动传感器二次开发_(11).案例研究与实践项目.docx
- 振动传感器软件:Schwingtechnik振动传感器二次开发_(17).振动传感器的嵌入式系统开发.docx
- 振动传感器软件:Schwingtechnik振动传感器二次开发_(15).基于Schwingtechnik振动传感器的物联网应用开发.docx
- 压力传感器软件:Sensata Technologies压力传感器二次开发_(15).压力传感器的测试与验证技术.docx
- 振动传感器软件:Schwingtechnik振动传感器二次开发_(3).Schwingtechnik振动传感器的软件开发环境搭建.docx
- 压力传感器软件:Sensirion压力传感器二次开发_(3).Sensirion压力传感器产品系列及特性.docx
- 压力传感器软件:WIKA压力传感器二次开发_(1).压力传感器基础知识.docx
文档评论(0)