paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Gamifying static analysis

游戏化静态分析
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 2/10 · 论文属于静态分析工具方向,但核心是游戏化与用户体验改进,不涉及用户关注的 PL→AI、AI→PL、浮点程序分析、贝叶斯程序分析或 LLM/Agent 交叉。与研究方向仅有静态分析这一宽泛交集,因此匹配度较低。引用 6 inbox
Lisa Nguyen Quang Do, Eric Bodden
crossref: 2026-09-12

AI 速览

一句话:提出将静态分析工具视为整体并引入游戏化元素,以改善用户体验并提升开发者使用意愿。

过去数十年,静态分析已成为检测软件缺陷与安全漏洞的常见手段。随着软件日益复杂,分析工具会报告越来越复杂的警告列表,开发者需要日常处理。作者指出,静态分析工具与视频游戏都要求用户完成重复且具挑战性的任务;但好游戏能保持玩家参与,而分析工具因用户体验欠佳而声名不佳,导致开发者无法充分发挥其作用,甚至不满和弃用工具。本文展示游戏与使用静态分析工具之间的相似性,主张将分析工具系统视为整体,并集成即时清晰反馈、协作解决问题、积分与徽章等游戏化元素以保持用户参与。作为立场/展望文章,摘要未报告具体实证评估。

问题
静态分析工具的用户体验不佳,导致开发者使用意愿低、无法充分利用工具,甚至弃用。
方法
通过类比视频游戏与静态分析工具使用,主张从整体分析工具系统出发,集成即时反馈、协作解题、积分和徽章等游戏化元素。
评估
摘要未报告具体评估方式;本文为立场/展望性论述,通过类比论证提出设计主张。
原文摘要(Abstract)

In the past decades, static code analysis has become a prevalent means to detect bugs and security vulnerabilities in software systems. As software becomes more complex, analysis tools also report lists of increasingly complex warnings that developers need to address on a daily basis. The novel insight we present in this work is that static analysis tools and video games both require users to take on repetitive and challenging tasks. Importantly, though, while good video games manage to keep players engaged, static analysis tools are notorious for their lacking user experience, which prevents developers from using them to their full potential, frequently resulting in dissatisfaction and even tool abandonment. We show parallels between gaming and using static analysis tools, and advocate that the user-experience issues of analysis tools can be addressed by looking at the analysis tooling system as a whole, and by integrating gaming elements that keep users engaged, such as providing immediate and clear feedback, collaborative problem solving, or motivators such as points and badges.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4610,
  title = {Gamifying static analysis},
  author = {Lisa Nguyen Quang Do and Eric Bodden},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3264830}
}