СИНТАКСИЧЕСКИ УПРАВЛЯЕМАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ПРОЦЕССОРОВ РЕГУЛЯРНЫХ ЯЗЫКОВ

Б. К. Мартыненко

Результат исследований: Научные публикации в периодических изданияхстатья

Выдержка

Описывается метод генерации тестов минимальной длины для синтаксически управляемых конечных процессоров, реализующих регулярные языки.Критерий выбора тестовых вариантов выражает заданную степень покрытия дуг графа, представляющего регулярное выражение, по которому строится процессор. Поскольку дуги графа помечены семантическими метками, то критерий выражает соответствующую степень взаимодействия между семантиками, и тест гарантирует выполнение этого критерия. Метод основан на алгоритме решения задачи Китайского почтальона на ориентированном графе, выводимом из регулярного выражения, определяющем конечно-автоматный язык, реализуемом процессором.
Язык оригиналарусский
Страницы (с-по)17-45
ЖурналКОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ
Номер выпуска5
СостояниеОпубликовано - 2016
Опубликовано для внешнего пользованияДа

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

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

Цитировать

@article{b6f52c17592649f492d7f2b5bf95169a,
title = "СИНТАКСИЧЕСКИ УПРАВЛЯЕМАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ПРОЦЕССОРОВ РЕГУЛЯРНЫХ ЯЗЫКОВ",
abstract = "Описывается метод генерации тестов минимальной длины для синтаксически управляемых конечных процессоров, реализующих регулярные языки.Критерий выбора тестовых вариантов выражает заданную степень покрытия дуг графа, представляющего регулярное выражение, по которому строится процессор. Поскольку дуги графа помечены семантическими метками, то критерий выражает соответствующую степень взаимодействия между семантиками, и тест гарантирует выполнение этого критерия. Метод основан на алгоритме решения задачи Китайского почтальона на ориентированном графе, выводимом из регулярного выражения, определяющем конечно-автоматный язык, реализуемом процессором.",
keywords = "задача Китайского почтальона, ориентированный граф, регулярное выражение, рёберный граф, синтаксическая диаграмма Н.Вирта, тест минимальной длины.",
author = "Мартыненко, {Б. К.}",
year = "2016",
language = "русский",
pages = "17--45",
journal = "КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ",
issn = "2071-2340",
publisher = "Издательство СПбГЭТУ {"}ЛЭТИ{"}",
number = "5",

}

СИНТАКСИЧЕСКИ УПРАВЛЯЕМАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ПРОЦЕССОРОВ РЕГУЛЯРНЫХ ЯЗЫКОВ. / Мартыненко, Б. К.

В: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ, № 5, 2016, стр. 17-45.

Результат исследований: Научные публикации в периодических изданияхстатья

TY - JOUR

T1 - СИНТАКСИЧЕСКИ УПРАВЛЯЕМАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ПРОЦЕССОРОВ РЕГУЛЯРНЫХ ЯЗЫКОВ

AU - Мартыненко, Б. К.

PY - 2016

Y1 - 2016

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

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

KW - задача Китайского почтальона

KW - ориентированный граф

KW - регулярное выражение

KW - рёберный граф

KW - синтаксическая диаграмма Н.Вирта

KW - тест минимальной длины.

M3 - статья

SP - 17

EP - 45

JO - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

JF - КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ

SN - 2071-2340

IS - 5

ER -