paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Managing concurrent testing of data race with ComRaDe

使用 ComRaDe 管理数据竞争的并发测试
ISSTA Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis2018匹配度 2/10 · 论文聚焦并发程序数据竞争报告的确认与并发测试管理，属于软件测试/并发缺陷检测方向；未涉及 LLM/Agent、静态分析、浮点程序分析或贝叶斯程序分析等用户核心研究问题。引用 2 inbox
Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu
测试、调试与修复并发、并行与内存模型
crossref: 2026-09-12

AI 速览

一句话：提出 ComRaDe 工具，通过管理并发测试来辅助确认数据竞争报告，降低真/假阳性甄别的耗时。

随着并发程序数量不断增加，研究者提出了多种采用不同实现策略的数据竞争检测工具。然而，这些检测器给出的报告中同时包含真阳性与假阳性，在评估阶段逐一确认其中是否真正存在数据竞争是一个极其耗时的过程。本文提出 ComRaDe，面向数据竞争检测报告的确认环节管理并发测试，通过组织并发测试的执行来辅助判定竞争报告的真实性，从而减轻评估者在确认数据竞争时的人工负担。摘要未提供具体的实验数据与量化结果。

问题
数据竞争检测工具的报告混杂真阳性与假阳性，在评估阶段确认这些竞争报告是否真实存在极其耗时，且缺乏对并发测试的有效管理手段。
方法
提出 ComRaDe，用于管理数据竞争的并发测试执行，以支持对检测器所报数据竞争真伪的确认；摘要未展开其具体技术细节。
评估
摘要未给出具体的评估设置与结果，仅指出确认竞争报告的过程是评估阶段的主要耗时来源。
原文摘要（Abstract）

As a result of the increasing number of concurrent programs, the researchers put forward a number of tools with different implementation strategies to detect data race. However, confirming data races from the collection of true and false positives reported by race detectors is extremely the time-consuming process during the evaluation period.

链接与引用

DOI 原文 ·

BibTeX 
@inproceedings{paperbot4810,
  title = {Managing concurrent testing of data race with ComRaDe},
  author = {Jian Gao and Xin Yang and Yu Jiang and Han Liu and Weiliang Ying and Wanting Sun and Ming Gu},
  booktitle = {ISSTA},
  year = {2018},
  doi = {10.1145/3213846.3229502}
}