Иерархический метод анализа функционирования программного обеспечения
9
Однако в матричном методе анализа существует ряд недостатков:
– матрица
D
теряет информацию о ситуациях, когда переходы
имеют входы и выходы из одной позиции (петли);
– отсутствие информации о последовательности в векторе запус-
ка. Хотя известно число переходов, порядок их запуска неизвестен;
– решение уравнения (1) является необходимым для достижимо-
сти, но недостаточным.
Матричный метод анализа функционирования программного
обеспечения, формализованного иерархической сетью Петри, позво-
ляет найти недостижимые участки, т.е. те части программы, которые
никогда не выполняются [1].
Заключение.
В процессе проектирования программного обеспе-
чения использование блочно-иерархического подхода значительно
упрощает понимание решения сложных задач. При этом результатом
декомпозиции программного обеспечения является набор связанных с
соответствующими данными процедур, которые в процессе реализа-
ции организуются в модули. Вследствие возможности ошибок проек-
тирования возникает необходимость в исследовании взаимодействия
элементов программной системы. Предложенный метод анализа про-
граммного обеспечения, формализованного иерархической сетью Пет-
ри, позволяет получить информацию о наличии взаимоблокировок,
невыполнимых операций, зацикливаний, что повышает надежность
разрабатываемого программного обеспечения. Метод реализован в ви-
де законченного программного комплекса и протестирован на ряде из-
вестных алгоритмов, подтвердив свою работоспособность.
ЛИТЕРАТУРА
[1] Рудаков И.В., Пащенкова А.В. Программный комплекс верификации
алгоритмов программного обеспечения с помощью иерархических сетей
Петри.
Вестник МГТУ им. Н.Э. Баумана: электронное издание
, 2013,
№ 2(14), с. 10.
[2] Воевода А.А., Прытков Д.В. Применение сетей Петри на этапе объектно-
ориентированного проектирования.
Сб. научных трудов НГТУ
, 2012,
№ 2(60), с. 65–76.
[3] Коротиков С.В.
Применение сетей Петри в разработке программного
обеспечения центров дистанционного контроля и управления
. Дисс. …
канд. техн. наук
.
Новосибирск, НГТУ, 2007, 216 с.
[4] Норенков И.П.
Основы автоматизированного проектирования
. Москва,
Изд-во МГТУ им. Н.Э. Баумана, 2002, 336 с.
Статья поступила в редакцию 10.06.2013
Ссылку на эту статью просим оформлять следующим образом:
Рудаков И.В., Пащенкова А.В. Иерархический метод анализа функционирова-
ния программного обеспечения на основе сети Петри.
Инженерный журнал: наука
и инновации
, 2013, вып. 6. URL:
