- •Оглавление
- •3.3. Математические модели надежности аппаратуры ис 36
- •4.Расчет аппаратурной надежности ис на этапе проектирования 45
- •4.5. Расчет надежности ремонтируемых систем 57
- •5. Методы обеспечения контроля и диагностики аппаратуры ис 66
- •1. Основные понятия, термины и определения
- •1.1. Система и ее элементы
- •1.2. Понятия надежности и отказа системы (элемента)
- •1.3 Основные определения в области качества и надежности программного обеспечения (по) ис
- •1.4. Основные определения в области надежности подсистемы человек - оператор ис
- •1.5. Проблема стандартизации в области надежности и качества
- •2. Факторы, влияющие на надежность информационных систем
- •2.1. Общая характеристика факторов, влияющих на надежность ис
- •2.2. Влияние внешних воздействующих факторов при эксплуатации ис
- •2.3. Общие принципы обеспечения надежности сложных технических систем
- •Показатели надежности аппаратуры ис и используемые модели надежности
- •Основные показатели надежности невосстанавливаемых объектов
- •3.1.1. Вероятность безотказной работы
- •3.1.2. Вероятность отказа
- •3.1.3. Средняя наработка до отказа
- •3.1.4. Интенсивность отказов
- •3.2. Показатели надежности восстанавливаемых объектов
- •3.2.1. Показатели безотказности восстанавливаемых объектов
- •3.2.1.1. Параметр потока отказов
- •3.2.1.2. Средняя наработка на отказ объекта
- •3.2.2. Показатели ремонтопригодности
- •3.2.2.1. Вероятность восстановления
- •3.2.2.2. Среднее время восстановления
- •3.2.2.3. Интенсивность восстановления
- •3.2.3. Показатели долговечности
- •3.2.3. Комплексные показатели надежности
- •3.2.3.1. Коэффициент готовности
- •3.2.3.2. Коэффициент оперативной готовности
- •3.2.3.3. Коэффициент технического использования
- •3.2.3.4. Коэффициент сохранения эффективности
- •3.3. Математические модели надежности аппаратуры ис
- •3.3.1. Модели потоков событий
- •3.3.1.1. Простейший поток отказов
- •3.3.1.2. Потоки Эрланга
- •Законы распределения дискретных случайных величин
- •3.3.2.1. Биномиальный закон распределения числаn появления событияАвmнезависимых испытаниях.
- •3.3.2.2. Пуассоновское распределение появления n событий за время наблюдения t
- •3.3.3. Законы распределения непрерывных случайных величин
- •3.3.3.1. Экспоненциальное распределение
- •3.3.3.2. Нормальное распределение
- •3.3.3.3. Гамма - распределение
- •3.3.4. Марковские процессы
- •Расчет аппаратурной надежности ис на этапе проектирования
- •4.1. Составление логических схем
- •4.2. Расчет надежности нерезервированной невосстанавливаемой системы
- •4.3. Учет влияния режимов работы элементов на надежность систем
- •4.4. Расчет надежности невосстанавливаемых резервированных систем
- •4.4.1. Резервирование с целой кратностьюk с постоянно включенным резервом или нагруженное резервирование замещением с абсолютно надежными переключателями
- •4.4.1.1. Общее резервирование
- •4.4.1.2 Раздельное резервирование
- •4.4.1.3. Общее резервирование с дробной кратностью
- •4.4.2. Резервирование замещением ненагруженное и облегченное с абсолютно надёжными переключателями.
- •4.4.2.1.Общее ненагруженное резервирование замещением
- •4.4.2.2. Облегченное резервирование замещением
- •4.4.3. Резервирование с учетом надежности переключателей.
- •4.4.4. Скользящее резервирование
- •4.5. Расчет надежности ремонтируемых систем
- •4.5.1. Общая характеристика методов расчета надежности ремонтируемых систем
- •4.5.2. Вычисление функций готовности и простоя нерезервированных систем
- •4.5.3. Особенности расчета резервированных восстанавливаемых систем
- •4.5.3.1. Ненагруженное резервирование с восстановлением
- •4.5.3.2. Нагруженное резервирование замещением с восстановлением
- •4.5.4. Расчет надежности восстанавливаемых систем, перерывы, в работе которых в процессе эксплуатации недопустимы
- •4.5.5. Примеры решения типовых задач
- •5. Методы обеспечения контроля и диагностики аппаратуры ис
- •5.1. Контроль технического состояния ис в процессе эксплуатации
- •5.1.1. Основные определения в области контроля ис
- •Методы контроля аппаратуры ис
- •5.1.2.1. Оперативные методы контроля аппаратуры
- •5.1.2.2. Тестовый контроль аппаратуры
- •5.2. Основы диагностирования информационных систем
- •5.2.1. Метод построения квазиоптимальных тестов Шеннона – Фано
- •5.2.2. Организация тестирования персонального компьютера
- •6. Основы моделирования и расчета надежности программного обеспечения
- •6.1. Модель анализа надежности программных средств
- •6.2. Статистика ошибок по ис
- •6.3. Количественные характеристики надежности по ис
- •Модели надежности программного обеспечения
- •6.4.1. О возможности построения априорных мнп
- •6.4.2. Непрерывные эмпирические модели надежности по (нэмп)
- •6.4.3. Дискретные эмпирические модели надежности по (дэмп)
- •6.5. Способы обеспечения и повышения надежности по
- •6.5.1. Основы организации тестирования программ
- •6.5.1.1. Особенности тестирования « белого ящика»
- •6.5.1.2. Особенности функционального тестирования по ( методы тестирования «черного ящика»)
- •6.5.1.3. Организация процесса тестирования программного обеспечения
- •6.5.2. Способы повышения оперативной надежности по
- •7. Основы организации испытаний ис на надежность
- •7.1. Виды испытаний на надежность
- •7.2. Принципиальные особенности организации испытаний на надежность ис
- •Основы организации определительных испытаний на надежность
- •7.3.1. Точечные оценки показателей безотказности и ремонтопригодности
- •7.3.2. Оценка показателей надежности доверительным интервалом
- •7.3.2.1. Определение доверительного интервала для средней наработки на отказ
- •7.3.2.2. Определение доверительного интервала для вероятности безотказной работы по числу обнаруженных при испытаниях отказов
- •7.4. Основы организации контрольных испытаний
- •Основы надежности подсистемы «человек-оператор» ис
- •Основные понятия и определения
- •8.2. Влияние человека - оператора на надежность ис
- •Показатели безошибочности человека-оператора
- •8.2.2. Способы борьбы с ошибками оператора
- •Заключение
6.5.1.1. Особенности тестирования « белого ящика»
Обычно тестирование «белого ящика» основано на анализе управляющей структуры программы. Программа считается полностью проверенной, если проведено исчерпывающее тестирование путей ее графа управления. При этом формируются тестовые варианты, в которых [6.2]:
гарантируется проверка всех независимых маршрутов программы;
проходятся ветви FALSE, TRUE для всех логических решений;
выполняются все циклы ( в пределах их границ и диапазонов);
анализируется правильность внутренних структур данных.
Недостатки:
количество независимых маршрутов может быть очень велико, поэтому проверка всех маршрутов в графе сложного программного модуля практически невозможна;
исчерпывающее тестирование маршрутов не гарантирует соответствия программы исходным требованиям к ней;
В программе могут быть пропущены некоторые маршруты;
Нельзя обнаружить ошибки, появление которых зависит от обрабатываемых данных (это ошибки, обусловленные выражениями типа if abs(a-b)< eps… и т.д.).
Используются разные варианты тестирования «белого ящика»[6.2]:
способ тестирования базового пути, который позволяет оценить комплексную сложность программы и использовать эту оценку для определения необходимого количества тестовых вариантов. Тестовые варианты гарантируют выполнение каждого оператора программы при тестировании;
способ тестирования ветвей и операторов отношений, который обеспечивает построение тестовых вариантов для проверки логических условий.
способ тестирования потоков данных, который обеспечивает анализ информационной структуры программы и проверку работы циклов.
6.5.1.2. Особенности функционального тестирования по ( методы тестирования «черного ящика»)
Принципы тестирования « черного ящика» [6.2] не являются альтернативой методам«белого ящика», они используются на более поздних ступенях тестирования ПО и обнаруживают другие типы ошибок:
некорректные или отсутствующие функции;
ошибки интерфейса;
ошибки во внутренних структурах данных или в доступе к внешней базе данных;
ошибки характеристик ( например, необходимая емкость памяти и т.д.)
ошибки инициализации и завершения.
Техника « черного ящика» ориентирована на решение следующих задач [6.2]:
сокращение необходимого числа тестовых вариантов ( из-за проверки динамических, а не статических аспектов системы);
выявление классов ошибок, а не отдельных ошибок.
Используются следующие способы тестирования «черного ящика»:
способ разбиения по эквивалентности. В этом способе входная область данных делится на классы эквивалентности. Класс эквивалентности - набор данных с общими свойствами. Для каждого класса данных разрабатывается один тестовый вариант. Классы эквивалентности могут быть определены по спецификации на программу. Тестовый вариант подбирается так, чтобы проверить сразу наибольшее количество свойств класса эквивалентности;
способ анализа граничных значений. Анализ граничных значений заключается в получении тестовых вариантов, которые анализируют граничные значения;
способ диаграмм причин-следствий - способ проектирования тестовых вариантов, который обеспечивает формальную запись логических условий и соответствующих действий. Используя автоматный подход к решению задачи, строятся тестовые последовательности, которые проверяют причинно-следственные отношения в программных модулях.