- •Раздел 4. Технология разработки программного обеспечения
- •4.1. Проектирование программ с помощью метода Варнье
- •4.2. Проектирование программ с помощью метода Джексона
- •Хорошине и плохие данные в методе Джексона (рис. 1)
- •Дополнительные вопросы:
- •4.3. Case-средства разработки информационных систем (ис)
- •Настройка методологии на конкретные условия
- •Жизненный цикл срв
- •4.4 Система словарей-справочников данных (сссд). Метаданные и атрибуты
Раздел 4. Технология разработки программного обеспечения
Проектирование программ с помощью метода Варнье.
Проектирование программ с помощью метода Джексона.
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. Нельзя писать B(1)
Определение логической последовательности
Логической последовательностью программы называется множество команд, выполняющееся одно и то же число раз в одном и том же месте программы (т.е. при одних и тех же условиях).
Структура программ соответствует структуре данных ввода за исключением случая, когда на одном уровне разбиения используется несколько альтернативных структур. В этом случае структура программы получается после минимизации таблицы решений, соответствующей этим альтернативным структурам.
Таблицу решений строят в том случае, когда на одном уровне разбиения входных данных используется несколько не исключающих друг друга альтернатив.
Этапы метода Варнье:
Описание логической структуры выхода
Описание логической структуры входа
Если необходимо, то составление и минимизация таблицы решений
Определение полной логической структуры данных входа
Составление программы в логических последовательностях
Нумерация логической последовательности и составление схемы программы
Контроль программы в логических последовательностях
Составление перечня команд по категориям (ввод данных, переходы и подготовка переходов, подготовка вычислений и вычисления, подготовка вывода и ввода)
Составление программы в виде упорядоченного множества команд (программа на псевдокоде). Порядок команд внутри логической последовательности: подготовка переходов, подготовка вычислений и вычисления, подготовка вывода и вывод, ввод данных, переходы.
Выполнение нового контроля программы по данных выхода
Кодирование и отладка программ
Сложные повторные структуры:
Дисперсия: S2=Sqrt(Sum(xi-xср)2) / Sqrt(n)
Среднее: xср=Sum(xi) / n
Альтернативные структуры в методе Варнье бывают двух видов:
Наличие входных данных: Вход { файл (0-1)
Проверка значения: Вход { 1 работник (n) { пол [=м,ж; 0..1]
Знак - две ветви одной альтернативы, исключающее «или». Знак + - неисключающее «или».
Преимущества: 1. Доведен до практического применения. 2. Совместная обработка файлов.
Недостатки: нет цикла с предусловием.