45 Методы разработки программ (Метод джексона и метод Вареье орра)
Методология Джексона. Рассматривается проектируемая программа как процесс обработки последовательного потока записей (предполагается существование на входе и выходе последовательных файлов, структура записей которых определяет структуру программы).
Метод Джексона (1975) включает 6 шагов . Три шага выполняются на этапе анализа, а остальные — на этапе проектирования.
1. Объект-действие. Определяются объекты — источники или приемники информации и действия — события реального мира, воздействующие на объекты.
2. Объект-структура. Действия над объектами представляются диаграммами Джексона.
Структура объектов описывает последовательность действий над объектами (в условном времени).
В основе диаграмм Джексона лежит предположение о том, что структуры данных, как и структуры программ, можно строить на основе трех конструкций: последовательности, выбора и повторения. Каждая конструкция представляется в виде двухуровневой иерархии, на верхнем уровне расположен блок конструкции, на нижнем – блоки элементов. Типы конструкций различаются специальными символами в правом верхнем углу блоков элементов. Нотация Джексона для представления конструкций (а – последовательность, б – выбор, в – повторение):
Конструкция
A состоит из элементов B, C и D,
Конструкция S состоит либо из элемента
P, либо из элемента Q, либо
из элемента R.
Конструкция I может не содержать элементов или содержать один и более элементов X
3. Начальное моделирование. Объекты и действия представляются как обрабатывающая модель. Определяются связи между моделью и реальным миром.
4. Доопределение функций. НА этом шаге уточняются процессы и вводятся дополнительные функции . Выделяют 3 типа сервисных функций: встроенные функции; функции впечатления, функции диалога.
5. Учет системного времени. Определяются и оцениваются характеристики планирования будущих процессов. Определяются временные ограничения , которые накладываются на систему.
6. Реализация. Проводится синхронизация процессов с учетом внешней программно-аппаратной среды.
Методология Варнье-Орра предполагает выводить структуру программы и структуру входных данных, исходя из структуры выходных данных.
Диаграмма Орра базируется на том же предположении о сходстве структур программ и данных, что и диаграмма Джексона, т.е. используются 3 базовые элемента : последовательность, выбор, повторение.
Скобочная нотация для представления структур данных Орра (а – последовательность, б – выбор, в – повторение):
46 Модели качества процессов конструирования.
В современных условиях важным является гарантия высокого качества программного продукта. Такую гарантию дает сертификат качества, который подтверждает соответствие международным стандартам. Каждый стандарт фиксирует базовую модель. Наиболее авторитетными являются ISO 9001: 2000, ISO/IEC 15504, CMM (модель зрелости).
Модель стандарта (9001) ориентирована на разработки из любых областей человеческой деятельности. Вторая модель стандарта базируется на процессах программной разработки и отличается высоким уровнем детализации (объем документа 500 стр.). Наибольшая часть идей для этой модели взяты из модели зрелости (CMM).
Базовым понятием модели зрелости считается зрелость компании. Незрелой считается компания, в которой эффективность разработок зависит от таланта исполнителей. В таких компаниях высока вероятность срыва сроков и превышения бюджета разработки. В зрелой компании работают ясные правила, процедуры управления и построения программного продукта, оценки длительности и затрат точны и основываются на опыте. В таких компаниях действуют корпоративные стандарты на взаимодействие, процессы анализа, проектирования, тестирования и внедрения. Всё это создает среду, которая обеспечивает высокий уровень выполнения работ. В модели зрелости зафиксированы 5 уровней.
Начальный. Это самоорганизующийся хаос. Процесс осуществляется случайным образом.
Повторяемый. Процесс планируется и отслеживается.
Определенный. Процесс разработки полностью определен и организован на основе единого стандарта предприятия.
Управляемый. В компании принимаются количественные показатели качества как на процесс разработки, так и на программу.
Наивысший. Оптимизирующий. Характеризуется планомерным улучшением и повышением качества процесса разработки.
Каждый уровень модели зрелости характеризуется областью ключевых процессов. Считается, что каждый последующий уровень включает все характеристики предыдущего. Так, область ключевых процессов 5го уровня включает в себя следующие процессы:
Предотвращение дефектов.
Управление измерениями технологий.
Управление изменениями процесса.
Если все ключевые процессы достигнуты, то компании присваивается соответствующий уровень зрелости.