РУсскоязычный Архив Электронных СТатей периодических изданий
Инженерный журнал: наука и инновации/2013/№ 2/
В наличии за
50 руб.
Купить
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:

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

Рассмотрен метод формализации вычислительных алгоритмов с помощью иерархических сетей Петри. Разработан программный комплекс, реализующий работу излагаемого метода. Данный программный комплекс позволяет проверять модели алгоритмов программного обеспечения на наличие взаимоблокировок, невыполнимых операций, циклов и зацикливаний. В основе проверки моделей алгоритмов лежит такой метод анализа сетей Петри, как дерево достижимости.

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

Похожие документы: