快速确定性黑盒上下文无关文法推断
软件工程
2024-01-18 v2 编程语言
摘要
黑盒上下文无关文法推断是一个难题，因为在许多实际场景中它只能访问数量有限的示例程序。最先进的方法 Arvada 从扁平解析树出发启发式地泛化文法规则，并且以非确定性方式探索不同的泛化序列。我们观察到 Arvada 的许多泛化步骤违反了常见的语言概念嵌套规则。因此我们提出沿这些嵌套规则对输入程序进行预结构化，递归地应用学习到的规则，并使黑盒上下文无关文法推断变为确定性的。由此产生的 TreeVada 在实证比较中实现了更快的运行时间和更高质量的文法。TreeVada 的源代码、脚本、评估参数和训练数据均为开源并公开可用（https://doi.org/10.6084/m9.figshare.23907738）。
引用
@article{arxiv.2308.06163,
title = {Fast Deterministic Black-box Context-free Grammar Inference},
author = {Mohammad Rifat Arefin and Suraj Shetiya and Zili Wang and Christoph Csallner},
journal= {arXiv preprint arXiv:2308.06163},
year = {2024}
}
备注
12 pages, 6 figures, accepted at ICSE 2024, camera ready version