
- •Проблемы надежности по
- •Направления исследований в вопросе надежности по
- •Основные типы комплексов программ
- •Факторы, позволяющие анализировать показатели надежности программ 2-го и 3-го типов
- •Взаимосвязь надежностных характеристик по и аппаратуры
- •Факторы надежности аппаратных средств
- •Проблемы эталонов
- •Основные этапы разработки по
- •Модель перевода входной информации в выходную
- •Количественные характеристики надежности
- •Критерии надежности
- •Характеристики по
- •Испытания
- •Основные параметры персонала
- •Цель анализа программных ошибок при сертификации и оценке надежности по
- •Извещения об ошибке
- •Основные задачи в области надежности по
- •Количественные характеристики надежности по
- •Классификация ошибок по
- •Где произошла ошибка?
- •На что похожа ошибка?
- •Как была сделана ошибка?
- •Когда была сделана ошибка?
- •Почему произошла ошибка?
- •Модели надежности по Классификация моделей надежности по
- •Экспоненциальная модель (модель Шумана)
- •Модель Джелинского-Моранда
- •Статистическая модель Миллса
- •Простейшие интуитивные (эвристические) модели
- •Методы тестирования
- •Восходящее тестирование
- •Нисходящее тестирование (нисходящая разработка)
- •Модифицированный нисходящий метод
- •Метод большого скачка
- •Метод «сэндвича»
- •М одифицированные метод «сэндвича»
На что похожа ошибка?
ПО
Внутреннее ПО
ОС, редактор связей, загрузчик, утилиты.
Применение
Каждый ошибочный элемент характеризуется именем, номером версии и будет специфицировать любой ошибочный код и любое диагностическое сообщение, являющееся следствием данной ошибки элемента.
Функции
Категория функций идентифицирует с помощью имени точку, в которой зафиксирована ошибка. Эта точка может относиться к процедурам ввода/вывода или использования ресурсов.
Процедура
В процедурах ввода/вывода подразумевается наличие неправильных значений данных.
Использование ресурса
При использовании ресурсов наиболее критичными ошибками являются:
неправильное использование терминальных устройств;
ошибки синхронизации;
ошибки в описании форматов вводимой и выводимой информации.
Ресурсы
Имя
Использование ресурса
Область
Структура программы
Приложение
Как была сделана ошибка?
Данные
Входные
Внутренние
Процедуры
Вычисление
Контроль
Интерфейс
Когда была сделана ошибка?
Начальная разработка
Внедрение
Функционирование
Почему произошла ошибка?
Механические причины
Подстановка
Путаница
Пропуск
Умственные причины
Концептуализация
Реализация
Коммуникационные причины
Персонал
Документация
Целью задачи классификации ошибок ПО является создание методов упорядочивания информации о программных ошибках с тем, чтобы на основе этой информации выяснить причины, породившие ненадежность и о путях их предупреждения.
Модели надежности по Классификация моделей надежности по
Экспоненциальная модель (модель Шумана)
Вводится ряд допущений и условий, основным из которых является условие существования программы исследователя системы. Остальные допущения и условия не связаны с какими-то специфическими свойствами ПО.
Условия сводятся к следующему:
Предполагается, что в начальный момент компоновки программных средств системы в них имеются небольшие ошибки (Е – количество ошибок). С этого времени отсчитывается время отладки , которое включает затраты времени на выявление ошибок с помощью тестов, на контрольные проверки и т.д. При этом время исправного функционирования системы не учитывается. В течение времени устанавливается
ошибок в расчете на одну команду машинного языка. Т.о. удельное число ошибок на одну машинную команду, остающихся в системе после времени работы равно
I – общее число машинных команд.
Предполагается, что значение функции частоты или интенсивности отказов
пропорциональна числу ошибок, оставшихся в ПО после израсходования на отладку времени , то есть
C – коэффициент пропорциональности.
Т
огда,
если время работы системы t
отсчитывается от момента времени t0,
а
остается фиксированным (
=const),
то функция надежности или вероятность
безотказной работы на интервале времени
от 0 до t есть
Для нахождения С и Е используются принцип максимального правдоподобия (пропорция).