paperbot · PL 论文追踪

全部论文 待读 收藏

P2 RulePad: interactive authoring of checkable design rules

RulePad:交互式编写可检查的设计规则
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10 · 该论文关注设计规则的可检查编写与开发者交互,属于程序分析和开发者工具,但未涉及 LLM/Agent、ML 系统静态分析、浮点程序分析或贝叶斯程序分析,与用户当前核心研究方向交叉很小。引用 5 inbox
Sahar Mehrpour, Thomas D. LaToza, Hamed Sarvari
crossref: 2026-09-12

AI 速览

一句话:提出 RulePad,用代码片段和半自然语言交互式编写可检查的设计规则,显著优于 PMD Designer。

设计文档常因更新滞后而变得不准确、不完整且不可信,更好的做法是让开发者写下设计规则并检查代码一致性。但现有规则检查器要求学习专门的查询语言或程序分析框架,项目特定规则的编写门槛较高。本文提出两种规则编写技术:片段式编写,即通过部分代码片段指定待匹配元素的特征;半自然语言编写,即用文本表示帮助理解规则并消解歧义。作者在 RulePad 中实现了这些方法,并通过 14 名参与者的组间实验与 PMD Designer 对比。结果表明,使用 RulePad 的参与者成功编写了 13 倍多的查询元素,耗时显著更少,且更愿意在日常工作中使用 RulePad。

问题
设计文档往往更新不及时且不可信,开发者需要编写项目特定的设计规则来检查代码一致性,但现有规则检查器要求学习专门查询语言或分析框架,形成门槛。
方法
提出片段式编写和半自然语言编写两种规则编写技术,分别用部分代码片段描述待匹配元素特征、用文本表示帮助理解规则并消解歧义,并在 RulePad 中实现。
评估
通过 14 名参与者的组间实验,将 RulePad 与 PMD Designer 对比;RulePad 组成功编写的查询元素多 13 倍、耗时显著更少,且更愿意在日常工作中使用。
原文摘要(Abstract)

Good documentation offers the promise of enabling developers to easily understand design decisions. Unfortunately, in practice, design documents are often rarely updated, becoming inaccurate, incomplete, and untrustworthy. A better solution is to enable developers to write down design rules which are checked against code for consistency. But existing rule checkers require learning specialized query languages or program analysis frameworks, creating a barrier to writing project-specific rules. We introduce two new techniques for authoring design rules: snippet-based authoring and semi-natural-language authoring. In snippet-based authoring, developers specify characteristics of elements to match by writing partial code snippets. In semi-natural language authoring, a textual representation offers a representation for understanding design rules and resolving ambiguities. We implemented these approaches in RulePad. To evaluate RulePad, we conducted a between-subjects study with 14 participants comparing RulePad to the PMD Designer, a utility for writing rules in a popular rule checker. We found that those with RulePad were able to successfully author 13 times more query elements in significantly less time and reported being significantly more willing to use RulePad in their everyday work.

链接与引用

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

BibTeX
@inproceedings{paperbot5796,
  title = {RulePad: interactive authoring of checkable design rules},
  author = {Sahar Mehrpour and Thomas D. LaToza and Hamed Sarvari},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409751}
}