-
公开(公告)号：CN116795695A
公开(公告)日：2023-09-22
申请号：CN202310681824.9
申请日：2023-06-09
Applicant: 北京大学
Abstract: 本发明提供一种并发程序缺陷数据集的自动化构建方法，属于计算机应用技术领域，能够向给定的C/C++多线程程序源码中植入由程序状态错误假设引起的原子性违反型和顺序违反型并发程序缺陷，构建并发程序缺陷数据集，可用于评测并发缺陷检测工具的检测效果。本发明归纳了几种有代表性的并发缺陷代码模式，作为自动生成并发缺陷的模板，基于多线程程序的运行路径，将生成的缺陷代码添加到合适的源码位置，确保植入的并发缺陷能够触发，且触发后表现出易观测的程序行为，便于评测并发缺陷检测工具。
Search Results
1
records
(took 0.013 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
