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