ISSN 2305-5626. Вестник МГТУ им. Н.Э. Баумана: электронное издание. 2013
3
вают модульную структуру программ, выбирают структуры данных,
способы информационного интерфейса и язык программирования,
разрабатывают спецификации на отдельные программные модули.
На
уровне
подпрограмм
(
модулей
) проводится конкретизация ти-
пов и структур данных, осуществляется кодировка алгоритмов — их
запись на выбранном языке программирования [1].
Процесс проектирования ПО состоит из нескольких этапов (рис. 1).
Этапы 1—4 относят к синтезу ПО, их выполняют в нисходящей по-
следовательности, на этапах 5—7 проводят отладку ПО, их выпол-
няют в восходящей последовательности.
Рис. 1. Этапы проектирования программного обеспечения
На этапе 2 разрабатывают спецификации на отдельные про-
граммы программного комплекса. На этапах 3 и 4 решают охарак-
теризованные выше задачи уровней прикладных программ и под-
программ.
На этапах 5—7 осуществляется отладка, цель которой — обна-
ружение и устранение ошибок, допущенных на этапах синтеза ПО.
Отладка выполняется с помощью процедур выбора тестов и вери-
фикации.
Частичная верификация разрабатываемых алгоритмов и структур
ПО возможна в рамках этапа 3 [1].
Сети Петри используют для формального моделирования ПО [2].
В каждой программе выделяют два различных аспекта процесса: вы-
числение и управление. Вычисление связано с текущими арифмети-
ческими и логическими операциями, вводом и выводом данных,
обычными манипуляциями над содержимым памяти. Управление
связано только с порядком выполнения вычислений.
Сети Петри удачно отображают структуру управления программ.
Стандартным способом такого представления является блок-схема,
которая представляет поток управления в программе и во многом по-
1,2 4,5,6,7,8,9,10