一句话：通过大规模研究考察静态分析工具在多大程度上覆盖可用性准则，以解释其采纳障碍。
静态分析工具能帮助开发者发现潜在缺陷与漏洞，相关研究多聚焦技术挑战，但也指出其严重的可用性不足。这些不足阻碍工具被采纳，甚至导致用户弃用。本文对静态分析工具所应对的可用性准则开展大规模研究，旨在系统梳理工具对可用性需求的覆盖情况，从而理解可用性缺陷如何影响工具接受度。研究以大规模分析为手段，为改进静态分析工具的可用性提供实证依据。
Static analysis tools support developers in detecting potential coding issues, such as bugs or vulnerabilities. Research on static analysis emphasizes its technical challenges but also mentions severe usability shortcomings. These shortcomings hinder the adoption of static analysis tools, and in some cases, user dissatisfaction even leads to tool abandonment.
DOI 原文 ·
@inproceedings{paperbot7408,
title = {A large-scale study of usability criteria addressed by static analysis tools},
author = {Marcus Nachtigall and Michael Schlichtig and Eric Bodden},
booktitle = {ISSTA},
year = {2022},
doi = {10.1145/3533767.3534374}
}