paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Model-based testing of breaking changes in Node.js libraries

基于模型的测试用于检测 Node.js 库中的破坏性变更
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 2/10 · 该论文研究 Node.js 库破坏性变更的模型测试，属于软件测试与语义化版本领域；与用户关注的 PL 与 AI/LLM 交叉、静态分析、浮点程序分析、贝叶斯程序分析等方向基本无关，也未涉及 LLM/Agent 工具的使用或改进。引用 34 inbox
Anders Møller, Martin Toldam Torp
测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出基于模型的测试方法，检测 Node.js 库更新中违反语义化版本约定的破坏性变更。

语义化版本被库开发者广泛用于标识更新是否包含可能破坏现有客户端的变更。然而，对于 JavaScript 等动态语言，正确使用语义化版本已知非常困难，这常导致程序失败，并使客户端开发者不愿升级到新的库版本。本文提出一种基于模型的测试方法，针对 Node.js 库，自动检测版本更新中存在的破坏性变更，以帮助开发者正确遵循语义化版本约定，减少因意外破坏性变更引发的程序失败和升级障碍。摘要未详细说明具体评估方式。

问题
动态语言（如 JavaScript）的库开发者难以正确使用语义化版本，更新中可能包含破坏现有客户端的变更，导致程序失败和客户端不愿升级。
方法
提出基于模型的测试（model-based testing）方法，针对 Node.js 库自动检测版本更新中的破坏性变更。
评估
摘要未提供评估细节；论文标题表明通过基于模型的测试来检测破坏性变更，具体评估方式需参阅全文。
原文摘要（Abstract）

Semantic versioning is widely used by library developers to indicate whether updates contain changes that may break existing clients. Especially for dynamic languages like JavaScript, using semantic versioning correctly is known to be difficult, which often causes program failures and makes client developers reluctant to switch to new library versions.

链接与引用

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

BibTeX 
@inproceedings{paperbot5068,
  title = {Model-based testing of breaking changes in Node.js libraries},
  author = {Anders Møller and Martin Toldam Torp},
  booktitle = {FSE},
  year = {2019},
  doi = {10.1145/3338906.3338940}
}