Стр. 10 - Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри

ISSN 2305-5626. Вестник МГТУ им. Н.Э. Баумана: электронное издание. 2013 10
Рис. 7. Структура программного комплекса
Рассмотренный программный комплекс анализа алгоритмов ра-
боты ПО с помощью сетей Петри был протестирован на ряде извест-
ных алгоритмов, подтвердив свою работоспособность. Установлено,
что время анализа модели алгоритма зависит непосредственно от
размера построенного дерева достижимости сети: чем больше вер-
шин содержит дерево достижимости, тем больше время анализа. Ис-
пользуя предложенный метод, можно получить информацию о нали-
чии взаимоблокировок, невыполнимых операций, циклов и
зацикливаний, что позволяет повысить надежность разрабатываемого
программного обеспечения.
СПИСОК ЛИТЕРАТУРЫ
1. Норенков И.П. Основы автоматизированного проектирования: учеб.
для вузов. М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. 306 с.
2. Котов В.Е. Сети Петри. М.: Наука, Гл. ред. физ.-мат. лит., 1984. 160 с.
3. Питерсон Дж. Теория сетей Петри и моделирование систем: пер. с
англ. М.: Мир. 1984. 264 с.
Статья поступила в редакцию 25.10.2012