В состав системы SynTesK входят инструменты, необходимые для создания тестов на основе описания грамматики. Возможно использование этих инструментов из командной строки.

Для автоматического построения тестов системе SynTesK требуется формальное описание грамматики в виде BNF (форма Бэкуса-Наура). Анализатор BNF дает возможность проверить корректность данного описания грамматики.

Для проверки того, что тестируемый парсер принимает корректные предложения целевого языка, требуется построить множество разнообразных предложений, принадлежащих целевому языку, при обработке которых будут задействованы все возможности тестируемого парсера, связанные с распознаванием предложений. Генератор позитивных тестов дает возможность автоматически получить такое множество предложений.

Генератор негативных тестов

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

Системные требования

Операционная система:
• любая, поддерживающая JDK (Java Developers Kit) версии 1.4.x и выше
Программное обеспечение:
• Java — JDK 1.4.x и выше
Аппаратные требования:
• Pentium III 500 MГц или более производительный процессор
• 128 MБ оперативной памяти или более