Синтаксически управляемая генерация тестов для процессоров регулярных языков

Авторы

  • Борис Константинович Мартыненко СПбГУ, Санкт-Петербург, Россия

Ключевые слова:

задача Китайского почтальона, ориентированный граф, регулярное выражение, рёберный граф, синтаксическая диаграмма Н. Вирта, тест минимальной длины

Аннотация

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

Биография автора

  • Борис Константинович Мартыненко, СПбГУ, Санкт-Петербург, Россия

    Мартыненко Б. К.: Доктор физико-математических наук, профессор кафедры информатики математико-механического факультета СПбГУ

Загрузки

Опубликован

04.06.2017

Выпуск

№ 5 (2016)

Раздел

Информатика

Лицензия

Copyright (c) 2017 Борис Константинович Мартыненко

Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.

Авторский договор

Как цитировать

[1]
Б. К. Мартыненко, «Синтаксически управляемая генерация тестов для процессоров регулярных языков», Компьютерные инструменты в образовании, вып. 5, сс. 17–45, июн. 2017, просмотрено: сен. 08, 2026. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1411

Наиболее читаемые статьи этого автора (авторов)