Спецификации ПО при структурном подходе.

Спецификация – это полное и точное описание функций и ограничений разрабатываемого ПО.

Функциональные спецификации описывают функции ПО, а эксплутационные определяют требования к техническим средством, надежности, информационной безопасности и т.д.

Требования применительно к функциональной спецификации:

1) Требование полноты. Означает, что спецификации должны содержать всю существующую информацию

2) Требование точности. Означает, что спецификации должны однозначно восприниматься заказчиком и разработчиком.

Это требование выполнить достаточно сложно, так как естественный язык для описания спецификации не подходит, так как не обеспечивает необходимой точности. Точность спецификации можно определить, только разработав некоторую формальную модель разрабатываемого ПО.

Формальные модели на этапе определения спецификации делят на 2 группы:

модели, зависящие от подхода к разработке (структурного или объектно-ориентированного)

модели, не зависящие от него.

Например, диаграммы перехода состояний (они демонстрируют особенности поведения разрабатываемого ПО при получении сигналов из вне) и математические модели предметной области используют при любом подходе к разработке.

В рамках структурного подхода на этапе анализа и определения спецификации используют 3 типа моделей:

ориентированные на функции,

ориентированные на данные,

ориентированные на потоки данных.

Каждую модель целесообразно использовать для своего класса программных разработок.

Рис. 4.1. Классификация моделей разрабатываемого ПО на этапе определения спецификации.

Все функциональные спецификации описывают одни и те же характеристики разрабатываемого ПО:

перечень функций и состав обрабатываемых данных.

Функции спецификации различаются только системой приоритетов (акцентов), которые используются разработчиком. Диаграммы переходных состояний определяют основные аспекты поведения ПО во времени, диаграммы потоков данных определяют направление и структуру потоков данных. Концептуальные диаграммы классов определяют основные отношения между основными понятиями предметной области. Так как разные модели описывают проектируемое ПО с разных сторон, то рекомендуется использовать сразу несколько моделей и сопровождать их текстами: словарями, описаниями и т.п., которые поясняют соответствующие диаграммы.

Методология структурного анализа и проектирования, основанные на моделировании потоков данных, обычно используют комплексное представление проектируемого ПО в виде совокупности моделей:

диаграммы потоков данных DFD (Data Flow Diagrams)

Описывает взаимодействие источников и потребителей информации через процессы, которые должны быть реализованы в системе.

ERD – диаграммы сущность – связь. Описывают базы данных разрабатываемой системы.

STD – диаграммы переходов состояний. Характеризуют поведение системы во времени.

спецификация процессов

словарь терминов.

Взаимосвязь элементов этой обобщенной модели показана на Рис.1.2.

Рис. 4.2. Методология структурного анализа ПО.

Кроме этих моделей в состав спецификации могут входить математические модели описания объектов предметной области. Они уточняют основные соотношения анализируемых величин и ограничений.

Дата добавления: 2015-09-06