Иерархический метод анализа функционирования программного обеспечения
1
УДК 519.876.5
Иерархический метод анализа
функционирования программного обеспечения
на основе сети Петри
© И.В. Рудаков, А.В. Пащенкова
МГТУ им. Н.Э. Баумана, Москва, 105005, Россия
Статья посвящена иерархическому методу анализа функционирования программ-
ного обеспечения, позволяющему обнаружить ошибки проектирования на ранних
этапах разработки. Рассмотрен блочно-иерархический подход к проектированию.
Приведены иерархические структуры программных систем, использование кото-
рых позволяет сделать сложные программные системы обозримыми. Изложен-
ный метод основывается на представлении программного обеспечения иерархиче-
ской сетью Петри. Обнаружение ошибок проектирования происходит посред-
ством анализа полученной сети Петри.
Ключевые слова
:
блочно-иерархический подход, декомпозиция, иерархические
структуры, сеть Петри.
Введение.
Сложные программные системы характеризуются
большим разнообразием взаимосвязей элементов, обработкой боль-
ших массивов информации, элементов конкуренции при использова-
нии ресурсов ЭВМ. Известно, что разработка программного обеспе-
чения — сложный многоэтапный процесс, включающий в себя этапы
анализа, непосредственного написания, тестирования и внедрения
[4]. Значительное упрощение понимания сложных задач в процессе
разработки достигается за счет образования иерархической структу-
ры из абстракций и (или) модулей. При проектировании программ-
ных систем возникает необходимость в исследовании взаимодей-
ствия элементов системы.
Одним из известных методов исследования процесса функциони-
рования сложных систем является их формализация сетью Петри [1].
Данный математический аппарат позволяет формировать адекватные
модели сложных систем с иерархической структурой и разрабатывать
оптимальные алгоритмы решения задач.
Блочно-иерархический подход к проектированию про-
граммного обеспечения.
Известно, что в процессе проектирования
программного обеспечения формируются определенные представ-
ления о системе, отражающие ее существенные свойства с той или
иной степенью подробности. В этих представлениях выделяют со-
ставные части — уровни проектирования, которые, в свою очередь,
подразделяют на горизонтальные (иерархические) и вертикальные
уровни проектирования (их называют также аспектами проектиро-
