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

сложные системы формализация верификация сети Петри иерархические сети Петри дерево достижимости

Дихотомический поиск множителя целых чисел произвольного размера, Оценки первого собственного значения эллиптической краевой задачи с параметром, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт