Генерация тестов в системе SynGT
Автор: Федорченко Людмила Николаевна
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Информационные системы и технологии
Статья в выпуске: 2, 2017 года.
Бесплатный доступ
В статье представлен алгоритм автоматической генерации тестовых данных при построении синтаксических анализаторов, реализуемый в системе преобразований грамматик SynGT. Используется подход, основанный на генерации прототестов из синтаксической граф-схемы, графического аналога контекстно-свободной грамматики в регулярной форме (КСР-грамматики). В терминах вершин и дуг граф-схемы, нагруженных соответствующей семантической информацией, формулируется критерий тестового покрытия, в соответствии с которым генерируется набор прототестов.
Синтаксическая граф-схема, кср-грамматика, прототесты
Короткий адрес: https://sciup.org/14835217
IDR: 14835217 | DOI: 10.18101/2304-5728-2017-2-33-39
Список литературы Генерация тестов в системе SynGT
- В.W. Kemigan, D.М. Ritchie. The С Programming Language. Second Edition. Prentice Hall, 1988.
- Fedorchenko L. Regularization of Context-Free Grammars. LAP LAMBERT Academic Publishing, Saarbrucken. 2011.
- Федорченко Л. H. Извлечение крайней рекурсии из КСР-грамматики в системе SynGT//Труды СПИИРАН. 2002. Вып. 1, т. 1. С. 350-359.
- Open С Compiler. SYNTAX ANALYZER. GRAMMAR REQUIREMENTS SPECIFICATIONS. File GR_SRS.txt Совместный СПИИРАН и INRIA проект-1995.
