paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Inferring and applying def-use like configuration couplings in deployment descriptors

推断并应用部署描述符中类似 def-use 的配置耦合
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 1/10 · 该论文聚焦于从企业Java应用的XML部署描述符中挖掘配置耦合规则并用于校验，属于传统程序分析与软件工程领域；与用户研究方向（ML/Agentic程序的静态分析、LLM与静态分析/浮点/贝叶斯程序分析的交叉）无直接关联。引用 4 inbox
Chengyuan Wen, Yaxuan Zhang, Xiao He, Na Meng
程序分析与抽象解释编程环境与开发者工具
crossref: 2026-09-12

AI 速览

一句话：提出 Xeditor，从部署描述符中挖掘配置耦合规则，并用其校验新增或更新的 XML 配置文件。

在 Java 框架（如 Spring）上构建企业应用时，开发者常用一种名为部署描述符（DD）的 XML 文件来指定组件并配置操作。维护这类 XML 文件困难且耗时：配置语义是领域特定的，但文档通常含糊；现有编译器和程序分析工具又很少检查 XML 文件。为帮助开发者保证 DD 的质量，本文提出 Xeditor 方法。该方法从 DD 中提取配置耦合，即频繁共现的配置，并采用这些耦合规则来验证新创建或更新后的文件。给出的摘要未报告具体实验数据或定量结果，其应用方式是通过推断出的耦合规则对 DD 进行校验。

问题
企业 Java 应用中部署描述符的配置语义领域特定且文档模糊，现有编译器和分析工具很少检查 XML，导致这些文件难以维护并容易出错。
方法
Xeditor 从部署描述符中挖掘频繁共现的配置，形成类似 def-use 的配置耦合规则，并利用这些规则校验新文件或更新后的文件。
评估
给出的摘要未给出具体实验设置或定量结果；论文以推断出的耦合规则对新增或更新的部署描述符进行验证作为应用评估。
原文摘要（Abstract）

When building enterprise applications on Java frameworks (e.g., Spring), developers often specify components and configure operations with a special kind of XML files named "deployment descriptors (DD)". Maintaining such XML files is challenging and time-consuming; because (1) the correct configuration semantics is domain-specific but usually vaguely documented, and (2) existing compilers and program analysis tools rarely examine XML files. To help developers ensure the quality of DD, this paper presents a novel approach---Xeditor---that extracts configuration couplings (i.e., frequently co-occurring configurations) from DD, and adopts the coupling rules to validate new or updated files.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot5960,
  title = {Inferring and applying def-use like configuration couplings in deployment descriptors},
  author = {Chengyuan Wen and Yaxuan Zhang and Xiao He and Na Meng},
  booktitle = {ASE},
  year = {2020},
  doi = {10.1145/3324884.3416577}
}