paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Practical AJAX race detection for JavaScript web applications

JavaScript Web 应用的实用 AJAX 竞争检测
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 2/10 · 该论文属于程序分析与动态分析领域，但针对 JavaScript Web 应用的 AJAX 事件竞争检测，未涉及用户核心关注的 LLM/Agent 与程序分析交叉、静态分析、浮点程序分析或贝叶斯程序分析。引用 16 inbox
Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, Frank Tip
程序分析与抽象解释测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出轻量结合动态分析与受控执行的方法，实用地检测 JavaScript Web 应用中有害的 AJAX 事件竞争。

JavaScript Web 应用广泛使用异步客户端-服务器通信，但 AJAX 事件调度的不确定性使此类竞争难以通过普通测试发现，已有自动化事件竞争检测器又往往精度或效率不足。论文提出一种实用的新方法，将轻量级动态分析与受控执行相结合，直接面向有害 AJAX 事件竞争的识别。其核心在于以较低开销捕捉与竞争相关的动态信息，并通过受控的事件调度或执行来确认可能造成危害的竞争。摘要未报告具体实验数据，但目标是在精度与效率之间取得实用平衡，使 AJAX 竞争检测可用于真实 JavaScript Web 应用。

问题
普通测试难以发现由 AJAX 事件非确定性调度引起的异步客户端-服务器通信错误，而现有自动化事件竞争检测器在精度或效率上难以实用。
方法
提出一种轻量级结合动态分析与受控执行的方法，直接面向有害 AJAX 事件竞争的识别。
评估
摘要未给出具体实验设置或量化结果；其评估目标是在可接受的精度与效率下检测真实 JavaScript Web 应用中的有害 AJAX 事件竞争。
原文摘要（Abstract）

Asynchronous client-server communication is a common source of errors in JavaScript web applications. Such errors are difficult to detect using ordinary testing because of the nondeterministic scheduling of AJAX events. Existing automated event race detectors are generally too imprecise or too inefficient to be practically useful. To address this problem, we present a new approach based on a lightweight combination of dynamic analysis and controlled execution that directly targets identification of harmful AJAX event races.

链接与引用

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

BibTeX 
@inproceedings{paperbot4575,
  title = {Practical AJAX race detection for JavaScript web applications},
  author = {Christoffer Quist Adamsen and Anders Møller and Saba Alimadadi and Frank Tip},
  booktitle = {FSE},
  year = {2018},
  doi = {10.1145/3236024.3236038}
}