Институт системного программирования им. В.П. Иванникова РАН


Неизбыточные алгоритмы обхода графов: детерминированный случай.

Авторы

И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.

Аннотация

Рассматриваются проблемы тестирования программных систем, моделируемых детерминированными конечными автоматами. Необходимой, а иногда и достаточной, частью такого тестирования является обход графа состояний автомата. Основное внимание уделяется, так называемым, неизбыточным алгоритмам обхода, которым не требуется заранее заданной полной структуры графа («обход неизвестного графа» или «on-line алгоритмы»).

Полный текст статьи в формате pdf

Издание

Программирование, Вып.29, №5, 2003, стр. 59-69.

Научная группа

Технологии программирования

Все публикации за 2003 год Все публикации