
- •Основные понятия надежности. Классификация отказов. Составляющие надежности Основные понятия
- •Классификация и характеристики отказов
- •Составляющие надежности
- •Основные показатели надежности
- •Количественные показатели безотказности: общие понятия. Основные сведения из теории вероятностей Общие понятия
- •Показатели безотказности: вероятность безотказной работы, плотность распределения отказов, интенсивность отказов
- •3. Интенсивность отказов (ио)
- •Уравнение связи показателей надежности числовые характеристики безотказности
- •Математические модели теории надежности. Статистическая обработка результатов испытаний
- •Нормальный закон распределения наработки до отказа
- •Законы распределения наработки до отказа: экспоненциальный, логнормальный и гамма-распределение
- •Надежность систем. Общие понятия и определения
- •Надежность основной системы
- •Надежность систем с нагруженным резервированием
- •Надежность системы с ненагруженным резервированием
- •Надежность систем с облегченным и со скользящим резервом
- •1. Надежность систем с облегченным резервом
- •2. Скользящее резервирование
- •Надежность восстанавливаемых объектов и систем
- •1. Постановка задачи. Общая расчетная модель
- •2. Показатели надежности восстанавливаемых систем
- •3. Связь логической схемы надежности с графом состояний
- •Надежность объектов при постепенных отказах. Основные расчетные модели
- •1. Постановка задачи. Основные понятия и определения
- •2. Анализ случайных процессов изменения оп объектов
- •3. Модели процессов приближения объекта к отказам
- •3.1. Основные классы моделей
- •3.2. Основные типы моделей
- •Надежность объектов при постепенных отказах. Определение времени сохранения работоспособности
- •1. Состав рассчитываемых показателей
- •2. Общие модели расчета плотности распределения наработки до отказа
- •3. Определение времени сохранения работоспособности
- •4. Частные вопросы оценки параметрической надежности объектов
- •4.1. Оценка надежности объектов при разрегулировании
- •Качество асоиу Стандарты качества программных средств
- •Показатели качества при использовании
- •Модель характеристик качества
- •Характеристики качества
- •Основы эргономики
- •Оптимальные задачи эргономики
- •Место оператора пэвм в эргономической системе
- •Этапы операторской деятельности
- •Эргономическое обеспечение
- •Эргономическая экспертиза
- •Тестирование, верификация и валидация Место верификации среди процессов разработки программного обеспечения
- •Жизненный цикл разработки программного обеспечения
- •Модели жизненного цикла
- •Каскадный жизненный цикл
- •Спиральный жизненный цикл
- •Экстремальное программирование
- •Сравнение различных типов жизненного цикла и вспомогательные процессы
- •Современные технологии разработки программного обеспечения:
- •Сравнение технологий msf, rup и xp
- •Ролевой состав коллектива разработчиков, взаимодействие между ролями в различных технологических процессах
- •Задачи и цели процесса верификации
- •Тестирование, верификация и валидация – различия в понятиях
- •Документация, создаваемая на различных этапах жизненного цикла
- •Типы процессов тестирования и верификации и их место в различных моделях жизненного цикла Модульное тестирование
- •Интеграционное тестирование
- •Системное тестирование
- •Нагрузочное тестирование
- •Формальные инспекции
- •Верификация сертифицируемого программного обеспечения
- •Задачи и цели тестирования программного кода
- •Методы тестирования Черный ящик
- •Стеклянный (белый) ящик
- •Тестирование моделей
- •Анализ программного кода (инспекции)
- •Тестовое окружение
- •Тестирование удобства использования пользовательских интерфейсов
Модели жизненного цикла
Любой этап жизненного цикла имеет четко определенные критерии начала и окончания. Состав этапов жизненного цикла, а также критерии, в конечном итоге определяющие последовательность этапов жизненного цикла, определяется коллективом разработчиков и/или заказчиком. В настоящее время существует несколько основных моделей жизненного цикла, которые могут быть адаптированы под реальную разработку.
Каскадный жизненный цикл
Каскадный жизненный цикл (иногда называемый водопадным) основан на постепенном увеличении степени детализации описания всей разрабатываемой системы. Каждое повышение степени детализации определяет переход к следующему состоянию разработки (Рис. 1).
Рис. 1 Каскадная модель жизненного цикла
На первом этапе составляется концептуальная структура системы, описываются общие принципы ее построения, правила взаимодействия с окружающим миром – определяются системные требования.
На втором этапе по системным требованиям составляются требования к программному обеспечению – здесь основное внимание уделяется функциональности программной компоненты, программным интерфейсам. Естественно, все программные комплексы выполняются на какой-либо аппаратной платформе. Если в ходе проекта требуется также разработка аппаратной компоненты, параллельно с требованиями к программному обеспечению идет подготовка требований к аппаратному обеспечению.
На третьем этапе на основе требований к программному обеспечению составляется детальная спецификация архитектуры системы - описываются разбиение системы по конкретным модулям, интерфейсы между ними, заголовки отдельных функций и т.п.
На четвертом этапе пишется программный код, соответствующий детальной спецификации, на пятом этапе выполняется тестирование – проверка соответствия программного кода требованиям, определенным на предыдущих этапах.
Особенность каскадного жизненного цикла состоит в том, что переход к следующему этапу происходит только тогда, когда полностью завершены все работы предыдущего этапа. То есть сначала полностью готовятся все требования к системе, затем по ним полностью готовятся все требования к программному обеспечению, полностью разрабатывается архитектура системы и так далее до тестирования.
Естественно, что в случае достаточно больших систем такой подход себя не оправдывает. Работа на каждом этапе занимает значительное время, а внесение изменений в первичные документы либо невозможно, либо вызывает лавинообразное изменения на всех других этапах.
Как правило, используется модификация каскадной модели, допускающая возврат на любой из ранее выполненных этапов. При этом фактически возникает дополнительная процедура принятия решения.
Действительно если тесты обнаружили несоответствие реализации требованиям, то причина может крыться: (а) в неправильном тесте, (б) в ошибке кодирования (реализации), (в) в неверной архитектуре системы, (г) некорректности требований к программному обеспечению и т.д. Все эти случаи требуют анализа для принятия решения о том, на какой этап жизненного цикла надо возвратиться для устранения обнаруженного несоответствия.
V-образный жизненный цикл
В качестве своеобразной «работы над ошибками» классической каскадной модели стала применяться модель жизненного цикла, содержащая процессы двух видов – основные процессы разработки, аналогичные процессам каскадной модели и процессы верификации, представляющие собой цепь обратной связи по отношению к основным процессам (Рис. 2).
Рис. 2 V-образный жизненный цикл
Таким образом, в конце каждого этапа жизненного цикла разработки, а зачастую и в процессе выполнения этапа, осуществляется проверка взаимной корректности требований различных уровней. Данная модель позволяет более оперативно проверять корректность разработки, однако, как и в каскадной модели предполагается, что на каждом этапе разрабатываются документы, описывающие поведение всей системы в целом.