Раздел 4. Технология разработки программного обеспечения

1. Проектирование программ с помощью метода Варнье.

2. Проектирование программ с помощью метода Джексона.

3. CASE-средства разработки информационных систем и систем реального времени.

4.4 Система словарей-справочников данных (СССД). Метаданные и атрибуты

4.1. Проектирование программ с помощью метода Варнье

Автор: Жан Доминик Варнье, 1974 г.

Метод основан на применении математической логики и множеств в программировании. Данные и программа – множества в математическом смысле этого слова.

Базовые программные структуры:

1. Повторная 2. Альтернативная

Программа повторной структуры: 10. Начало (выполняется 1 раз) 20. Обработка 1 элемента (e раз) 30. Конец (1 раз)

Программа альтернативной структуры: 10. Начало (1 раз) 20. Обработка A (0-1 раз) 30. Обработка B (0-1 раз) 40. Конец (1 раз)

Правила:

1. Множество подразделяется, если оно содержит подмножество, присутствующее в нем число раз, не равное 1. Нельзя писать B(1)

2. Определение логической последовательности

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

3. Структура программ соответствует структуре данных ввода за исключением случая, когда на одном уровне разбиения используется несколько альтернативных структур. В этом случае структура программы получается после минимизации таблицы решений, соответствующей этим альтернативным структурам.

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

Этапы метода Варнье:

1. Описание логической структуры выхода

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

3. Если необходимо, то составление и минимизация таблицы решений

4. Определение полной логической структуры данных входа

5. Составление программы в логических последовательностях

6. Нумерация логической последовательности и составление схемы программы

7. Контроль программы в логических последовательностях

8. Составление перечня команд по категориям (ввод данных, переходы и подготовка переходов, подготовка вычислений и вычисления, подготовка вывода и ввода)

9. Составление программы в виде упорядоченного множества команд (программа на псевдокоде). Порядок команд внутри логической последовательности: подготовка переходов, подготовка вычислений и вычисления, подготовка вывода и вывод, ввод данных, переходы.

10. Выполнение нового контроля программы по данных выхода

11. Кодирование и отладка программ

Сложные повторные структуры:

Дисперсия: S²=Sqrt(Sum(x_i-x_ср)²) / Sqrt(n)

Среднее: x_ср=Sum(x_i) / n

Альтернативные структуры в методе Варнье бывают двух видов:

1. Наличие входных данных: Вход { файл (0-1)

2. Проверка значения: Вход { 1 работник (n) { пол [=м,ж; 0..1]

Знак  - две ветви одной альтернативы, исключающее «или». Знак + - неисключающее «или».

Преимущества: 1. Доведен до практического применения. 2. Совместная обработка файлов.

Недостатки: нет цикла с предусловием.