- •1. История проблемы надежности и сертификации по Проблемы надежности по
- •Направления исследований в вопросе надежности по
- •Проблемы эталонов
- •См. Также «2. Основные задачи в области надежности по»
- •2. Основные задачи в области надежности и сертификации по
- •3. Понятия и определения надежности по
- •4. Вероятность безошибочной работы по p(t)
- •5. Вероятность появления ошибки в по q(t)
- •6. Интенсивность отказов λ(t)
- •7. Частота отказовa(t)
- •8. Среднее время безошибочной работы t0
- •9. Основные этапы разработки по
- •10. Модель перевода входной информации в выходную
- •11. Классификация ошибок по
- •5. Почему произошла ошибка?
- •12. Классификация моделей надежности по
- •13. Модель Шумана
- •I– общее число машинных команд.
- •14. Модель Джелинского-Моранды
- •15. Модель Миллса
- •Структурно-логические модели надежности по
11. Классификация ошибок по
Где произошла ошибка?
Персонал
Структура
Процедура
Оборудование
Компьютер
Перечень оборудования и интерфейсов
Связь
Содержит информацию о внешнем оборудовании, включая линии связи.
Сопровождающее обеспечение
ПО
Внутреннее ПО
Языковой процессор, загрузчик, редактор связей, утилиты.
Применение
Это размеры, смежные модули, область применения. Каждый из этих разделов обеспечивает идентификацию относящихся к ним программ по имени, номеру версии и т.д.
На что похожа ошибка?
ПО
Внутреннее ПО
ОС, редактор связей, загрузчик, утилиты.
Применение
Каждый ошибочный элемент характеризуется именем, номером версии и будет специфицировать любой ошибочный код и любое диагностическое сообщение, являющееся следствием данной ошибки элемента.
Функции
Категория функций идентифицирует с помощью имени точку, в которой зафиксирована ошибка.
Процедура
Использование ресурса
При использовании ресурсов наиболее критичными ошибками являются:
неправильное использование терминальных устройств;
ошибки синхронизации;
ошибки в описании форматов вводимой и выводимой информации.
Ресурсы
Имя
Использование ресурса
Область
Структура программы
Приложение
Как была сделана ошибка?
Данные
Входные
Внутренние
Процедуры
Вычисление
Контроль
Интерфейс
Когда была сделана ошибка?
Начальная разработка
Внедрение
Функционирование
5. Почему произошла ошибка?
5.1.Механические
5.1.1. Подстановка
Путаница
Пропуск
Умственные
Коммуникационные
Персонал
Документация
Целью задачи классификации ошибок ПО является создание методов упорядочивания информации о программных ошибках с тем, чтобы на основе этой информации выяснить причины, породившие ненадежность и о путях их предупреждения.
12. Классификация моделей надежности по

Простейшие интуитивные (эвристические) модели
Эти модели особенно эффективны для целей сертификации.
П
редполагается
начать тестирование двумя независимыми
группами.
N1,N2– число обнаруженных каждой группой ошибок
N12– число ошибок, обнаруженных дважды (обеими группами)
N– число ошибок в программе (неизвестное)
Е– эффективность тестирования
![]()
Предполагаем, что возможность обнаружения одинакова. Это серьезное предположение не лишенное смысла. Можно рассматривать каждое подмножество Nкак аппроксимацию всего пространства.
Если группа обнаружила некоторое
количество ошибок, то она должна было
найти примерно столько же ошибок всякого
случайным образом выбранного подмножества,
например:
![]()
![]()
Статистическая модель Миллса
Сначала программа «засоряется» некоторым количеством известных ошибок. Эти ошибки вносятся в программу случайным образом, а затем делается предположение, что для ее собственных и внесенных ошибок вероятность обнаружения одинакова и зависит только от их количества.
N– первоначальное число ошибок в программе.
S– количество внесенных ошибок.
(n+V) – количество ошибок, обнаруженное при тестировании.
n– число собственных ошибок
V
– число внесенных ошибок
Оценка для Nпо методу максимального правдоподобия:
Nможно оценивать после каждой ошибки. Миллс предлагает во время всего периода тестирования отмечать на графике число найденных ошибок и текущие оценки дляN.
Вторая часть модели связана с выдвижением и проверкой гипотез о N.
П
римем,
что программе имеется не болееkсобственных ошибок и внесем в нее ещеSошибок. Теперь
программа тестируется, пока не будут
обнаружены все внесенные ошибки.
С– мера доверия к модели – вероятность того, что модель будет правильно
отклонять ложные предположения.
Имитационные модели
Модели имитируют процессы появления ошибок, процесс обнаружения ошибок, процесс исправления ошибок с точки зрения надежности ПО. Часто программу представляют как последовательность узлов, дуг и петель ориентированного графа.
