2

Нужно написать парсер на основе Lex/Yacc (точнее, Flex/Bison) для небольшого скриптового языка. Сама задача достаточно понятная, но совершенно непонятно, как для этого парсера сделать юнит-тест. На выходе Бизона там возвращается достаточно сложная структура данных, представляющая переменные, типы, и функции на промежуточном языке. Создавать набор эталонных структур для разных входных данных и потом сравнивать - это выйдет как бы не сложнее самого парсера. Может в синтаксических правилах вести какой-то лог разбора для тестирования? Сделать лог просто, непонятно только как потом на его основе что-то протестировать.

Ясно, что задача великовата для юнит-теста, но разбить на части ничего нельзя, а совсем без тестирования тоже не хочется. Может с этим кто-то сталкивался? Как эту задачу решают для взрослых компиляторов?

1 ответ 1

2

"cоздавать набор эталонных структур для разных входных данных и потом сравнивать" - вполне нормальный подход. Фишка в том, что расписывать выходные данные вручную не обязательно. Достаточно сериализовать (проверенный) выхлоп парсера и потом сравнивать с ним. Также некоторые тесты можно выполнять на варьирующихся входных данных, проверяя только некоторые свойства выхлопа а не его точное соответствие шаблону.

1
  • Это не так просто сделать, потому что язык будет меняться первое время, и проверенный выхлоп парсера недолго будет оставаться проверенным. Тем не менее, с этим уже можно что-то делать, спасибо за идею. Подождем, может еще кто-нибудь идей подкинет.
    – freim
    17 ноя 2018 в 19:41

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.