Тестирование софта - статьи
ce076b8f

Верификация синтаксического анализатора


Синтаксический анализ входного текста является частью функциональности любого транслятора. Парсером мы называем булевскую функцию, заданную на множестве последовательностей токенов и принимающую значение «истина», если последовательность является предложением данного формального языка, и «ложь» - в противном случае.

Задачу верификации парсера можно разделить на следующие подзадачи:

  1. Проверка того, что парсер принимает предложения, принадлежащие целевому языку.
  2. Проверка того, что парсер отвергает предложения, не принадлежащие целевому языку.


Содержание раздела