生成测试案例以自动滥用BNF语法

Question

我想知道是否有工具或技术，鉴于BNF语法， 调整 它随机（但智能）并生成输出流，以用于检测经过BNF的情况（但不应该）。

编辑： 模糊测试 换句话说，解析器。

谢谢

Answer 1

在Google上度过一段温柔的时光，我发现基于语法的自动模糊测试是 难的, ，以及当前研究的主题。特别是，Microsoft Research的P. Godefroid正在开发一种名为Sage的软件。

我挖了他的研究论文。

自动白盒模糊测试 （与迈克尔·莱文（Michael Y.

我还找到了基于XML的 桃 软件，但是我尚不清楚随意阅读我如何在下午的工作中利用它来进行非安全应用程序。

所以我的结论是： “这是当前（'APR'10）研究的主题，那里没有快速使用工具”。

Answer 2

不是严格的BNF模糊工具，而是 美国模糊洛普 采用人工智能方法，可以很好地解决BNF知识的缺乏。它已经在许多开源解析器中找到了错误，因此它也可能是您的正确工具。