Вестник БГУ. Математика, информатика
Библиографическое описание:
ГЕНЕРАЦИЯ ТЕСТОВ В СИСТЕМЕ SynGT // Вестник БГУ. Математика, информатика. - 2017. №2. . - С. 33-39.
Заглавие:
ГЕНЕРАЦИЯ ТЕСТОВ В СИСТЕМЕ SynGT
Финансирование:
Коды:
Аннотация:
В статье представлен алгоритм автоматической генерации тестовых данных при построении синтаксических анализаторов, реализуемый в системе преобразований грамматик SynGT. Используется подход, основанный на генерации прототестов из синтаксической граф-схемы, графического аналога контекстно-свободной грамматики в регулярной форме (КСР-грамматики). В терминах вершин и дуг граф-схемы, нагруженных соответствующей семантической информацией, формулируется критерий тестового покрытия, в соответствии с которым генерируется набор прототестов.
Ключевые слова:
синтаксическая граф-схема; КСР-грамматика; прототесты.
Список литературы:
B. W. Kernigan, D. M. Ritchie. The C Programming Language. Second Edition. Prentice Hall, 1988.
Fedorchenko L. Regularization of Context-Free Grammars. LAP LAMBERT Academic Publishing, Saarbrucken. 2011.
Федорченко Л. Н. Извлечение крайней рекурсии из КСР-грамматики в сис- теме SynGT // Труды СПИИРАН. 2002. Вып.1, т. 1. С. 350–359.
Open C Compiler. SYNTAX ANALYZER. GRAMMAR REQUIREMENTS SPECIFICATIONS. File GR_SRS.txt Совместный СПИИРАН и INRIA проект– 1995.
Fedorchenko L. Regularization of Context-Free Grammars. LAP LAMBERT Academic Publishing, Saarbrucken. 2011.
Федорченко Л. Н. Извлечение крайней рекурсии из КСР-грамматики в сис- теме SynGT // Труды СПИИРАН. 2002. Вып.1, т. 1. С. 350–359.
Open C Compiler. SYNTAX ANALYZER. GRAMMAR REQUIREMENTS SPECIFICATIONS. File GR_SRS.txt Совместный СПИИРАН и INRIA проект– 1995.
Статья.pdf