paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A Comprehensive Study on Quality Assurance Tools for Java

Java 质量保证工具的综合研究
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 4/10 · 论文系统评估Java质量保证工具,属于程序分析工具评估,但未涉及机器学习/Agentic程序、LLM改进分析、浮点或贝叶斯程序分析,与用户核心研究方向交叉较少。引用 18 inbox
Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:系统评估 6 款 Java 质量保证工具,分析规则覆盖、缺陷检测效果与时间性能,总结工具改进和选型启示。

质量保证(QA)工具被广泛使用,但现有评估常忽略扫描规则分析,因方法与基准不同导致结论不一致,未单独分析警告的作用,也缺少大规模时间性能研究。本文从 148 款 Java QA 工具中筛选 6 款免费或开源工具,将扫描规则映射到 CWE,分析其覆盖范围与粒度;在包含 1,425 个 bug 的 5 个基准上开展实验,对比真实标注 bug 与工具警告以考察警告在缺陷检测中的作用;并在 1,049 个项目上测量时间性能。研究给出多层级维度的实证发现,可帮助开发者改进工具,并为用户选择 QA 工具提供建议。

问题
现有 Java QA 工具评估存在四类局限:未考虑扫描规则分析、工具有效性结论不一致、未单独分析警告作用、缺少大规模时间性能分析。
方法
从 148 款工具中选出 6 款免费或开源工具,映射扫描规则到 CWE 并分析覆盖与粒度;在 5 个基准(1,425 个 bug)上测有效性,对比真实标注 bug 与警告,并在 1,049 个项目上评估时间性能。
评估
通过规则覆盖、缺陷检测效果、警告作用和时间性能等多层级维度进行系统实证评估,并总结工具改进与选型建议。
原文摘要(Abstract)

Quality assurance (QA) tools are receiving more and more attention and are widely used by developers. Given the wide range of solutions for QA technology, it is still a question of evaluating QA tools. Most existing research is limited in the following ways: (i) They compare tools without considering scanning rules analysis. (ii) They disagree on the effectiveness of tools due to the study methodology and benchmark dataset. (iii) They do not separately analyze the role of the warnings. (iv) There is no large-scale study on the analysis of time performance. To address these problems, in the paper, we systematically select 6 free or open-source tools for a comprehensive study from a list of 148 existing Java QA tools. To carry out a comprehensive study and evaluate tools in multi-level dimensions, we first mapped the scanning rules to the CWE and analyze the coverage and granularity of the scanning rules. Then we conducted an experiment on 5 benchmarks, including 1,425 bugs, to investigate the effectiveness of these tools. Furthermore, we took substantial effort to investigate the effectiveness of warnings by comparing the real labeled bugs with the warnings and investigating their role in bug detection. Finally, we assessed these tools’ time performance on 1,049 projects. The useful findings based on our comprehensive study can help developers improve their tools and provide users with suggestions for selecting QA tools.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{LiuCFLLXNLC23,
  title = {A Comprehensive Study on Quality Assurance Tools for Java},
  author = {Han Liu and Sen Chen and Ruitao Feng and Chengwei Liu and Kaixuan Li and Zhengzi Xu and Liming Nie and Yang Liu and Yixiang Chen},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3598056}
}