- •Цели и задачи дисциплины
- •Основные понятия и определения
- •Надежность компьютерных систем
- •Ошибки в программном обеспечении и негативные последствия их появления.
- •Качество программного обеспечения
- •Методы верификации по Основные понятия.
- •Характеристика качества по
- •2. Место верификации в жизненном цикле по.
- •Верификация и другие процессы разработки и сопровождения по.
- •3. Верификация различных артефактов жизненного цикла по.
- •Тема: методы верификации по.
- •Требования к процессу. Степень регламентации требований к проекту. Жесткие требования
- •Уровни требований
- •Противоречия между требованиями
- •Системные требования и требования к программного обеспечению
- •Трактовка к. Вигерса
- •Трактовка incose
- •Рабочее определение
- •2. Проектные спецификации и тестирование по
Надежность компьютерных систем
Ошибки в программном обеспечении и негативные их последствия
Показатели надежности аппаратного обеспечения компьютерных систем
Надёжность аппаратного обеспечения компьютерных систем.
Ошибки в программном обеспечении и негативные последствия их появления.
Тенденции индустрии разработки ПО:
- Объём программ растет;
- время разработки новых версий ПО сокращается;
- все большее число задач решается программно;
- ПО все больше используется при решении критически важных задач;
- существенная часть ПО является свободной и поставляется «as is».
Что такое качественное ПО?
- ПО, в котором отсутствуют ошибки.
- КАТЯ НЕ УСПЕЛА =)
Качество программного обеспечения
Качество ПО – весь объём признаков и характеристик программной продукции, который относится к ее способности удовлетворять установленным и предполагаемым свойствам.
Характеристики качества – набор свойств программной продукции.
Характеристики качества ПО:
Функциональные возможности (Functionality)
Надежность (Reliability)
Практичность (Usability)
Эффективность (Efficiencies)
Сопровождаемость (Maintainability)
Мобильность (Portability)
Функциональные возможности:
- пригодность (Suitability)
- правильность (Accuracy)
- Способность к взаимодействию
- Согласованность – поддержка соответствующих стандартов или соглашений
- защищенность (Security)
Надежность:
- стабильность
- устойчивость к ошибкам
- восстанавливаемость (Recoverability)
Практичность:
- Понятность (Understandability)
- Обучаемость
- Простота использования (Operability)
Эффективность:
- временная эффективность
- характер использования ресурсов.
Сопровождаемость:
анализируемость (analysability)
изменяемость (changeability)
устойчивость
тестируемость
Мобильность:
адаптируемость
простота внедрения
соответствие стандартам или соглашениям, относящимся к мобильности
взаимозаменяемость
Заинтересованные лица
Пользователь/заказчик:
функциональность
надежность
практичность
эффективность
Разработчик/руководитель:
сопроваждаемость
мобильность
II. Показатели надежности аппаратного обеспечения компьютерных систем.
Основные показатели надежности:
Вероятность безотказной работы
Вероятность отказа
Плотность вероятностей моментов первого отказа
Среднее время безотказной работы
Интенсивность отказов
Вероятность безотказной работы и вероятность отказа
;
Плотность вероятностей первого отказа:
;
Среднее время безотказной работы:
;
;
Интенсивность отказов:
Зависимость интенсивности отказов от времени:
Распределение Вейбулла.
Зависимость вероятности безотказной работы от времени:
Плотность вероятности момента отказа:
Среднее время безотказной работы:
III. Надежность аппаратного обеспечения компьютерных систем.
Классификация нагрузок, воздействующих на систему, по их физической природе:
Механические нагрузки
Климатические нагрузки
Электрические нагрузки
Радиоактивные нагрузки
Классификация нагрузок по их влиянию на систему:
Нагрузки напряжения
Нагрузки катализатора
Пассивные нагрузки
Оценка надежности функционирования компьютерных систем:
Постановка задачи
Компоненты, составляющие персональный компьютер
Расчет надежности функционирования
Λ = λ1+ λ2 +… + λn
MTBF = 1/λ – среднее время наработки на отказ
Надежность отдельных блоков и модулей ПК:
Блок питания
Жесткий диск
Материнская плата
Монитор
Поскольку графики надежности имеют экспоненциальный характер, то при приобретении технических ср-в следует стремиться к наиболее высоким показателям MTBF.
Учитывая тот факт. Что даже при относительно большом значении MTBF, для компьютера известного производителя, его значение редко превышает 3-х летний срок. Логично рассматривать приобретение компьютеров по схеме операционного лизинга.
В начале эксплуатации компьютера необходимо создавать график вероятности выхода из его строя.