Классификация моделей разрабатываемого программного обеспечения

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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