3 Лекция.

………………………………………..

4 Лекция

Спецификация программного обеспечения

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

Требования к спецификациям:

1. Полнота. Должна содержать всю основную информацию.

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

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

Формальная модель - это представление концептуальной модели с помощью формальных языков.

Концептуальная модель – это совокупность взаимосвязанных понятий, образующих смысловую структуру предметной области.

Группы формальных моделей:

1. Универсальные. Не зависят от подхода. Попадают: математический аппарат, языки моделирования, псевдокоды.

2. Модели, используемые при структурной методологии (ориентированные на функции, на данные, на потоки данных).

3. Используемые при объектно-ориентированном подходе (ориентированные на функции, на данные, на динамику взаимодействия, на описание действий и т.д.).

Универсальные формальные модели.

Диаграммы переходов состояний.

STD (State Transition Diagram) – графическая форма представления конечного автомата.

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

Основные элементы.

1. Состояние.

1. Терминальное состояние.

2. Нетерминальное состояние.

2. П ереход между состояниями

И сходное состояние Завершение работы

Всегда Всегда Всегда

Иниц. Вычислен. Завершение

Структурный подход. Функциональное моделирование.

Структурный подход.

Основные принципы.

1. Декомпозиция (анализ)

2. Иерархическое упорядочивание. Организация составных частей задачи в иерархические древовидные структуры.

3. Абстрагирование. Выделение существенных свойств и отвлечение от несущественных.

4. Формализация. Использование формальных моделей для описания задач.

Структурная декомпозиция – представление программного обеспечения в виде совокупности функциональных структур (подсистем) выполняющих автоматизированные функции.

Модели, составляющие полное описание программного обеспечения при структурном подходе:

1. Функциональные. Structured Analysis Design Technique (IDEF0)

2. Потоков данных. Date Flow Diagram (IDEF3)

3. Модели данных. Entity Relationship Diagram(IDEF1/1х)

Функциональное моделирование на примере SADT.

SADT – Совокупность методов, правил и процедур, предназначенных для построения функциональной модели объекта.

Основные принципы SADT.

1. Отображение моделирование функции в виде блоков.

2. Отображение интерфейсов блоков в виде дуг (стрелок).

3. Описание взаимодействие блоков с помощью дуг.

IDEF0 – функциональный вариант SADT технологии.

Основные принципы IDEF0 моделирования.

1. Функциональная декомпозиция.

2. Принцип ограничения сложности.

3. Принцип контекстной диаграммы (контекста). Моделирование системы начинают с построения ее контекстной диаграммы, представляющая в виде единственного блока главной функцией моделируемой системы и определяющая границы системы.

Контекст.

Контекст – абстрактное описание системы.

Состав контекста:

1. Предмет или объект моделирования.

2. Область моделирования.

3. Цель моделирования.

4. Точка зрения на модель.