paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations

MetaData262:面向部分 JavaScript 实现的自动测试套件选择
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 2/10 · 该论文关注 JavaScript Test262 测试套件的元数据表示与测试筛选工具,属于 PL/软件测试中的工程性工作,与用户画像中 LLM/Agent 与静态分析、形式化验证、浮点程序分析、贝叶斯程序分析等核心方向没有直接交集;仅在“基准/测试选择”层面有非常弱的关联。引用 0 inbox
Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出 Test262 测试元数据新格式与 MetaData262 工具,支持为部分 JavaScript 实现自动选择测试。

JavaScript 语言存在许多部分参考实现,但此前没有自动机制为这些实现挑选合适的官方测试。本文针对官方 JavaScript 测试套件 Test262,提出一种新的测试元数据表示格式,并实现 MetaData262:它既能自动计算 Test262 测试的元数据,也能根据元数据属性过滤测试。由此,开发者可依据某个部分实现实际支持的语言特性,自动筛选出相关官方测试,从而更高效地评估和测试其实现。摘要未报告定量实验评估,主要贡献在于元数据格式设计与工具实现。

问题
部分 JavaScript 参考实现大量存在,但缺少自动机制为其选择适配的官方 Test262 测试。
方法
为 Test262 测试定义新的元数据格式,并实现 MetaData262 工具,用于计算测试元数据并按元数据属性过滤测试。
评估
通过工具支持按元数据筛选 Test262 测试来服务部分实现;摘要未给出定量评估结果。
原文摘要(Abstract)

Despite the large number of partial reference implementations of the JavaScript language, there is currently no automatic mechanism for selecting the appropriate official tests for such implementations. To fill this gap, we introduce a new format for presenting the metadata associated with the tests included in Test262, the official JavaScript test suite, and present MetaData262, a new tool for both computing the metadata of Test262 tests and filtering tests according to their respective metadata properties.

链接与引用

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

BibTeX
@inproceedings{RamosRT0S23,
  title = {MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations},
  author = {Frederico Ramos and Diogo Costa Reis and Miguel Trigo and António Morgado and José Fragoso Santos},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3604923}
}