Иерархический метод анализа функционирования программного обеспечения на основе сети Петри
Опубликовано: 15.10.2013
Авторы: Рудаков И.В., Пащенкова А.В.
Опубликовано в выпуске: #6(18)/2013
DOI: 10.18698/2308-6033-2013-6-779
Раздел: Информационные технологии
Статья посвящена иерархическому методу анализа функционирования программного обеспечения, позволяющему обнаружить ошибки проектирования на ранних этапах разработки. Рассмотрен блочно-иерархический подход к проектированию. Приведены иерархические структуры программных систем, использование которых позволяет сделать сложные программные системы обозримыми. Изложенный метод основывается на представлении программного обеспечения иерархической сетью Петри. Обнаружение ошибок проектирования происходит посредством анализа полученной сети Петри.
Литература
[1] Рудаков И.В., Пащенкова А.В. Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри. Вестник МГТУ им. Н.Э. Баумана: электронное издание, 2013, № 2(14), с. 10
[2] Воевода А.А., Прытков Д.В. Применение сетей Петри на этапе объектно-ориентированного проектирования. Сб. научных трудов НГТУ, 2012, № 2(60), с. 65-76
[3] Коротиков С.В. Применение сетей Петри в разработке программного обеспечения центров дистанционного контроля и управления. Дисс. ... канд. техн. наук. Новосибирск, НГТУ, 2007, 216 с.
[4] Норенков И.П. Основы автоматизированного проектирования. Москва, Изд-во МГТУ им. Н.Э. Баумана, 2002, 336 с.