Домашнее задание для ПО 3.11 по технологии проектирования программного обеспечения от 07.12.20
учебно-методический материал

Собственно разработка любого программного обеспечения начинается с анализа требований к будущему программному продукту. В результате анализа получают спецификации разрабатываемого программного обеспечения: выполняют декомпозицию и содержательную постановку решаемых задач, уточняют их взаимодействие и определяют эксплуатационные ограничения. В процессе определения спецификаций строят общую модель предметной области как некоторой части реального мира, с которой будет тем или иным способом взаимодействовать разрабатываемое программное обеспечение, и конкретизируют его основные функции. Спецификации представляют собой полное и точное описание функций и ограничений разрабатываемого программного обеспечения. При этом функциональные спецификации описывают функции разрабатываемого программного обеспечения, а эксплуатационные определяют требования к техническим средствам, надежности, безопасности и т. д. Применительно к функциональным спецификациям требование полноты означает, что спецификации должны содержать всю существенную информацию, чтобы ничто важное не было упущено, и не должны содержать несущественной информации, например деталей реализации, чтобы не препятствовать разработчику в выборе наиболее эффективных решений. Требование точности означает, что спецификации должны однозначно восприниматься как заказчиком, так и разработчиком. Последнее требование выполнить достаточно сложно, так как естественный язык для описания спецификаций не подходит: подробные спецификации на естественном языке не обеспечивают необходимой точности. Точные спецификации разрабатывав2.1. 18 мого программного обеспечения можно определить, только разработав некоторую формальную модель этого программного обеспечения. Все функциональные спецификации разрабатываемого программного обеспечения описывают перечень функций и состав обрабатываемых данных. Они различаются только системой приоритетов (акцентов), которая используется разработчиком в процессе анализа требований и определения спецификаций. Так, диаграммы переходов состояний определяют некоторые аспекты поведения программного обеспечения во времени, диаграммы потоков данных — направление и структуру потоков данных, а концептуальные диаграммы классов — отношение между основными понятиями предметной области. На рис. 2.1 показана классификация моделей, используемых в качестве спецификаций разрабатываемого программного обеспечения. В рамках структурного подхода на этапе анализа и определения спецификаций используют три типа моделей: ориентированные на функции, ориентированные на данные и ориентированные на потоки данных