Автоматизированное проектирование. Норенков И.П. - 155 стр.

 5@!"! 6                              %*#$A&,&   +($*,#&($"!)&P !"#$%!#&'&($"!))KH :&:#*%

      Средства верификации служат для оценки эффективности исполнения разрабатываемых про-
грамм и определения наличия в них ошибок и противоречий. Различают статические и динамические
анализаторы. В статических анализаторах ПО исследуется на наличие неопределенных данных, бес-
конечных циклов, недопустимых передач управления и т.п. Динамический анализатор функциониру-
ет в процессе исполнения проверяемой программы; при этом исследуются трассы, измеряются часто-
ты обращений к модулям и т.п. Используемый математический аппарат — сети Петри, теория массо-
вого обслуживания.
      В последнюю из перечисленных групп входят документаторы для оформления программной до-
кументации, например, отчетов по данным репозитория; различные редакторы для объединения, раз-
деления, замены, поиска фрагментов программ и других операций редактирования.
      Проектирование ПО с помощью CASE-систем включает в себя несколько этапов. Начальный этап
— предварительное изучение проблемы. Результат представляют в виде исходной диаграммы потоков
данных и согласуют с заказчиком. На следующем этапе выполняют детализацию ограничений и функ-
ций программной системы, и полученную логическую модель вновь согласуют с заказчиком. Далее
разрабатывают физическую модель, т.е. определяют модульную структуру программы, выполняют ин-
фологическое проектирование БД, детализируют граф-схемы программной системы и ее модулей.
      *3.=+H+7:=++ 384.7-49 384@8://016 ,+,-./. Важное значение в процессе разработки ПО
имеют средства спецификации проектов ПО. Средства спецификации в значительной мере определя-
ют суть методов CASE.
      Способы и средства спецификации классифицируют по базовой методологии, используемой для
декомпозиции ПО, как сложной системы, и по аспектам моделирования ПО.
      Различают два подхода к декомпозиции ПО Первый способ называют E7*%='#*)45*./ или
+&"7%&7"*./. Он основан на выделении функций и потоков данных. Второй способ – #23$%&*.;, вы-
ражает идеи объектно-ориентированного проектирования и программирования. Проектирование ПО
из готовых компонентов, рассмотренное в предыдущей главе, есть выражение объектного подхода.
      Аспектами моделирования приложений являются функциональное, поведенческое и информа-
ционное описания.
      Практически все способы E7*%='#*)45*., спецификаций имеют следующие общие черты:
      — модель имеет иерархическую структуру, представляемую в виде диаграмм нескольких уровней;
      — элементарной частью диаграммы каждого уровня является конструкция вход-функция-выход;
      — необходимая дополнительная информация содержится в файлах поясняющего текста.
      В большинстве случаев функциональные диаграммы являются диаграммами потоков данных
(DFD — Data Flow Diagram). В DFD блоки (прямоугольники) соответствуют функциям, дуги — вход-
ным и выходным потокам данных. Поясняющий текст представлен в виде “словарей данных”, в кото-
рых указаны компонентный состав потоков данных, число повторений циклов и т.п. Для описания
структуры информационных потоков можно использовать нотацию Бэкуса-Наура.
      Одна из нотаций для DFD предложена Е.Йорданом. В ней описывают процессы (функции), по-
токи данных, хранилища и внешние сущности, их условные обозначения показаны на рис. 6.1.
      Разработка DFD начинается с построения диа-
граммы верхнего уровня, отражающей связи про-
граммной системы, представленной в виде единого
процесса, с внешней средой. Декомпозиция процесса
проводится до уровня, на котором фигурируют эле- %+,. 6.). Изображения элементов в нотации Йордана
ментарные процессы, которые могут быть представ-
лены одностраничными описаниями алгоритмов (миниспецификациями) на терминальном языке про-
граммирования.
      Для описания '*E#"/)='#**., моделей наибольшее распространение получили диаграммы
сущность-связь (ERD — Entity-Relation Diagrams), в которых предусмотрены средства для описания
сущностей, атрибутов и отношений. Спецификации хранилищ данных в CASE, как правило, даются
с помощью диаграмм сущность-связь Стандартной методикой построения таких диаграмм является
IDEF1X.

 &.+.)$(*),$" . !"#$%!#&'&($"!))$*        +($*,#&($"!)&*                                  155