Генерация тестов в системе SynGT
Автор: Федорченко Людмила Николаевна
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Информационные системы и технологии
Статья в выпуске: 2, 2017 года.
Бесплатный доступ
В статье представлен алгоритм автоматической генерации тестовых данных при построении синтаксических анализаторов, реализуемый в системе преобразований грамматик SynGT. Используется подход, основанный на генерации прототестов из синтаксической граф-схемы, графического аналога контекстно-свободной грамматики в регулярной форме (КСР-грамматики). В терминах вершин и дуг граф-схемы, нагруженных соответствующей семантической информацией, формулируется критерий тестового покрытия, в соответствии с которым генерируется набор прототестов.
Синтаксическая граф-схема, кср-грамматика, прототесты
Короткий адрес: https://sciup.org/14835217
IDR: 14835217 | УДК: 681.51 | DOI: 10.18101/2304-5728-2017-2-33-39
Generation of tests in the SynGT system
The article presents an algorithm for automatic generation of test data in the construction of parsers, which is implemented in the system SynGT for conversion of grammars. We have used an approach based on generation of prototests from the syntax graph-scheme - a graphic analogue of context-free grammar in regular form (CFR-grammar). In terms of vertices and arcs of the syntactic graph-scheme loaded with the appropriate semantic information, a test coverage criterion have been formulated, according to which a set of prototypes is generated.
Список литературы Генерация тестов в системе 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.
