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

       

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


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

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

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


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







Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий