原创力文档- 1、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。。
- 2、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 3、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
本发明公开了软件检测技术领域的一种基于动态分析的多线程死锁检测方法，包括：启动两个线程通过一个互斥锁访问同一个共享变量；访问共享变量前每个线程必须同时获取两个互斥锁；对待测软件源程序中的变量进行别名分析，生成指向分析图；测试用例是否触发了新路径，判断生成的新路径是否唯一有效，生成待执行任务；对待执行任务处理请求中的格式化任务数据创建线程，选择有效路径进行检测，该基于动态分析的多线程死锁检测方法，结构设计合理，能够适用于其他线程中，实现同步与互斥，用于多个线程对共享数据互斥访问，能够在获取锁时，等
(19)国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 116820788 A
(43)申请公布日 2023.09.29
(21)申请号 202310646964.2
(22)申请日 2023.06.02
(71)申请人 合肥中科云数科技有限公司
地址
文档评论（0）