УДК 681.31
Программный комплекс верификации алгоритмов
программного обеспечения с помощью
иерархических сетей Петри <...> Н.Э. Баумана, Москва, 105005, Россия
Рассмотрен метод формализации вычислительных алгоритмов с помощью иерархических сетей Петри. <...> Данный программный комплекс позволяет проверять модели алгоритмов программного
обеспечения на наличие взаимоблокировок, невыполнимых операций,
циклов и зацикливаний. <...> В основе проверки моделей алгоритмов лежит
такой метод анализа сетей Петри, как дерево достижимости. <...> E-mail: anna.pashchenkova@gmail.com
Ключевые слова: сложные системы, формализация, верификация, сети Петри, иерархические сети Петри, дерево достижимости. <...> Проектирование систем обработки данных связано с синтезом
оптимального состава модулей программного обеспечения (ПО) на
этапе технического проектирования программной системы. <...> Структура программных модулей определяется обычно без учета альтернативных вариантов обработки, возможности параллельной реализации
отдельных процедур, ветвей алгоритма и программных моделей. <...> Одним из известных методов исследования процесса функционирования сложных систем является их формализация в виде сетей
Петри. <...> Данный математический аппарат позволяет формировать
адекватные модели сложных систем и разрабатывать оптимальные
алгоритмы решения задач. <...> Проектирование программного обеспечения,
как и любых других сложных систем, выполняется поэтапно с использованием блочно-иерархического подхода, который основан
на разбиении сложной задачи большой размерности на последовательно и/или параллельно решаемые группы задач малой размерности. <...> 2013
1
Моделирование работы отдельных частей модели вычислительного алгоритма позволяет учитывать особенности процесса функционирования разрабатываемого программного обеспечения. <...> Сети Петри предназначены для моделирования упорядочения инструкций и потока информации, но не для действительного вычисления самих значений <...>