Генерация тестовых примеров для автоматического злоупотребления грамматикой БНФ

Question

Мне интересно, есть ли инструмент или метод, который, учитывая грамматику BNF, настраивает это случайно (но разумно) и генерирует поток вывода для использования при обнаружении случаев, которые проскальзывают мимо BNF ( но не должен).

edit: Fuzz-тестирование анализатор, другими словами.

Спасибо

Answer 1

Проведя некоторое время с Google, я обнаружил, что автоматическое нечеткое тестирование на основе грамматики трудно и является предметом текущих исследований. В частности, П. Годефроид из Microsoft Research работает над программным обеспечением под названием SAGE.

Я выкопал ему исследовательскую работу.

Автоматическое нечеткое тестирование белого ящика (совместная работа с Майклом Ю. Левиным и Дэвидом Молнаром) Материалы NDSS'2008 (Безопасность сетей и распределенных систем), стр. 151-166, Сан-Диего, февраль 2008

Я также нашел основанное на XML программное обеспечение Peach , но при случайном чтении мне неясно, как я могу использовать его во второй половине дня для работы, не связанной с безопасностью.

Итак, мой вывод таков: «Это предмет текущего (апрель '10) исследования, и там нет быстрого инструмента».

Answer 2

Не только нечеткий инструмент BNF, но американская нечеткая кривая использует методы искусственного интеллекта и может достаточно хорошо справляться с недостатком знаний BNF. Он уже нашел ошибки во многих парсерах с открытым исходным кодом, так что, возможно, он подойдет и вам.