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