Скачиваний:
80
Добавлен:
10.05.2014
Размер:
1.92 Mб
Скачать

11. Классификация ошибок по

  1. Где произошла ошибка?

    1. Персонал

      1. Структура

      2. Процедура

    2. Оборудование

      1. Компьютер

Перечень оборудования и интерфейсов

      1. Связь

Содержит информацию о внешнем оборудовании, включая линии связи.

      1. Сопровождающее обеспечение

    1. ПО

      1. Внутреннее ПО

Языковой процессор, загрузчик, редактор связей, утилиты.

      1. Применение

Это размеры, смежные модули, область применения. Каждый из этих разделов обеспечивает идентификацию относящихся к ним программ по имени, номеру версии и т.д.

  1. На что похожа ошибка?

    1. ПО

      1. Внутреннее ПО

ОС, редактор связей, загрузчик, утилиты.

      1. Применение

Каждый ошибочный элемент характеризуется именем, номером версии и будет специфицировать любой ошибочный код и любое диагностическое сообщение, являющееся следствием данной ошибки элемента.

    1. Функции

Категория функций идентифицирует с помощью имени точку, в которой зафиксирована ошибка.

      1. Процедура

      2. Использование ресурса

При использовании ресурсов наиболее критичными ошибками являются:

  • неправильное использование терминальных устройств;

  • ошибки синхронизации;

  • ошибки в описании форматов вводимой и выводимой информации.

    1. Ресурсы

      1. Имя

      2. Использование ресурса

    2. Область

      1. Структура программы

      2. Приложение

  1. Как была сделана ошибка?

    1. Данные

      1. Входные

      2. Внутренние

    2. Процедуры

      1. Вычисление

      2. Контроль

      3. Интерфейс

  2. Когда была сделана ошибка?

    1. Начальная разработка

    2. Внедрение

    3. Функционирование

5. Почему произошла ошибка?

5.1.Механические

5.1.1. Подстановка

      1. Путаница

      2. Пропуск

    1. Умственные

    2. Коммуникационные

      1. Персонал

      2. Документация

Целью задачи классификации ошибок ПО является создание методов упорядочивания информации о программных ошибках с тем, чтобы на основе этой информации выяснить причины, породившие ненадежность и о путях их предупреждения.

12. Классификация моделей надежности по

Простейшие интуитивные (эвристические) модели

Эти модели особенно эффективны для целей сертификации.

Предполагается начать тестирование двумя независимыми группами.

N1,N2– число обнаруженных каждой группой ошибок

N12– число ошибок, обнаруженных дважды (обеими группами)

N– число ошибок в программе (неизвестное)

Е– эффективность тестирования

Предполагаем, что возможность обнаружения одинакова. Это серьезное предположение не лишенное смысла. Можно рассматривать каждое подмножество Nкак аппроксимацию всего пространства.

Если группа обнаружила некоторое количество ошибок, то она должна было найти примерно столько же ошибок всякого случайным образом выбранного подмножества, например:

Статистическая модель Миллса

Сначала программа «засоряется» некоторым количеством известных ошибок. Эти ошибки вносятся в программу случайным образом, а затем делается предположение, что для ее собственных и внесенных ошибок вероятность обнаружения одинакова и зависит только от их количества.

N– первоначальное число ошибок в программе.

S– количество внесенных ошибок.

(n+V) – количество ошибок, обнаруженное при тестировании.

n– число собственных ошибок

V– число внесенных ошибок

Оценка для Nпо методу максимального правдоподобия:

Nможно оценивать после каждой ошибки. Миллс предлагает во время всего периода тестирования отмечать на графике число найденных ошибок и текущие оценки дляN.

Вторая часть модели связана с выдвижением и проверкой гипотез о N.

Примем, что программе имеется не болееkсобственных ошибок и внесем в нее ещеSошибок. Теперьпрограмма тестируется, пока не будут обнаружены все внесенные ошибки.

С– мера доверия к модели – вероятность того, что модель будет правильно

отклонять ложные предположения.

Имитационные модели

Модели имитируют процессы появления ошибок, процесс обнаружения ошибок, процесс исправления ошибок с точки зрения надежности ПО. Часто программу представляют как последовательность узлов, дуг и петель ориентированного графа.

Соседние файлы в папке Сертификация и надежность ПО