- •Сертификация и надежность программного обеспечения Преподаватель: Чуканов Всеволод Озирисович Список литературы
- •Проблемы надежности по
- •Направления исследований в вопросе надежности по
- •Основные типы комплексов программ
- •Факторы, позволяющие анализировать показатели надежности программ 2-го и 3-го типов
- •Взаимосвязь надежностных характеристик по и аппаратуры
- •Факторы надежности аппаратных средств
- •Проблемы эталонов
- •Основные этапы разработки по
- •Модель перевода входной информации в выходную
- •Количественные характеристики надежности
- •Структурно-логические модели надежности по
- •Критерии надежности
- •Характеристики по
- •Испытания
- •Основные параметры персонала
- •Цель анализа программных ошибок при сертификации и оценке надежности по
- •Модели надежности по Классификация моделей надежности по
- •Экспоненциальная модель (модель Шумана)
- •Модель Джелинского-Моранда
- •Статистическая модель Миллса
- •Простейшие интуитивные (эвристические) модели
- •Имитационные модели
- •Тестирование по. Испытания по при сертификации Детерминированное тестирование при проектировании. Детерминированное испытание при сертификации Принципы и задачи детерминированного тестирования
- •Методы тестирования
- •Восходящее тестирование
- •Нисходящее тестирование (нисходящая разработка)
- •Модифицированный нисходящий метод
- •Метод большого скачка
- •Метод «сэндвича»
- •Модифицированные метод «сэндвича»
Модель перевода входной информации в выходную

А – исходная информация.
В – результирующая информация.
ЧМ – читающий механизм (области мозга, управляющие зрением и слухом).
ПАМ – память.
ПМ – пишущий механизм (области мозга, управляющие речью и движением рук).
Человек получает информацию с помощью ЧМ.
Человек запоминает информацию в своей памяти.
Выбирает из памяти эту информацию, а также информацию, описывающую процесс перевода, выполняет перевод и посылает результат своему ПМ.
Информация физически распространяется с помощью печати на терминале или с помощью речи.
Ошибки
Одна из способностей человека – понимать входную информацию, сопоставляя ее с образами, созданными образованием и жизненным опытом. Этот принцип основывается на способности человека «читать между строк», понимать грамматически неправильные предложения и т.д. Эти способности могут вызывать неточности в переводе информации. Это возникает тогда, когда человек читает документ А и видит то, что хочет, а не то, что написано, пытается восстановить недостающие факты или не понимает информацию. Ошибки могут присутствовать в самом документе А.
В большинстве случаев, чтобы правильно запомнить информацию надо ее понять. Ошибки появляются в результате неправильной интерпретации или полного непонимания входной информации. Информация может быть слишком сложной или двусмысленной, образовательный уровень человека может оказаться недостаточно высоким.
Основной источник ошибок на этом этапе – забывчивость. Человек может забыть входную информацию А либо точные правила выполнения перевода. Слабость других умственных способностей, таких как четкость мышления, также способствует появлению ошибок.
Многие не умеют ясно писать или выражать свои мысли, это затуманивает смысл их сообщений. Если количество выходной информации велико человека начинает раздражать разница между скоростью мышления и письма. Чтобы справиться с этим он использует сокращения либо предполагает, что факты будут интуитивно очевидны. Это увеличивает вероятность того, что следующий участник процесса разработки при переводе совершит ошибки.
Количественные характеристики надежности

Программа тестируется на всех компьютерах, выявляются ошибки. Через промежуток времени Δtфиксируются появления ошибок, собирается статистика.
– вероятность безотказной работы, т.е.
вероятность того, что случайная величина
будет больше заданного времениt.
![]()
![]()
– вероятность отказа
![]()
![]()
– количество прогонов
– количество прогонов, закончившихся
ошибками за времяt
–
частота отказов
![]()
Задача
Проведено
прогонов
ПО.
Все прогоны начались в момент времени t = 0(т.е. на нескольких компьютерах параллельно).
Δt = 500 часов.
Определить вероятность безотказной
работы
и частоту отказов
.
|
|
|
|
|
|
0 – 500 |
145 |
0,855 |
0,00029 |
|
500 – 1000 |
86 |
0,769 |
0,000172 |
|
1000 – 1500 |
77 |
0,692 |
0,000154 |
|
1500 – 2000 |
69 |
0,623 |
0,000138 |
|
2000 – 2500 |
62 |
0,561 |
0,000124 |
|
2500 – 3000 |
56 |
0,505 |
0,000112 |
|
3000 – 3500 |
51 |
0,454 |
0,00102 |
|
3500 – 4000 |
45 |
0,409 |
0,00009 |
|
4000 – 4500 |
41 |
0,368 |
0,000082 |
|
4500 – 5000 |
37 |
0,331 |
0,000074 |
|
5000 – 5500 |
33 |
0,298 |
0,000066 |
|
5500 – 6000 |
35 |
0,263 |
0,00007 |
|
6000 – 6500 |
60 |
0,203 |
0,00015 |
|
6500 – 7000 |
75 |
0,128 |
0,00015 |
|
7000 – 7500 |
62 |
0,066 |
0,000124 |
|
7500 – 8000 |
42 |
0,024 |
0,000084 |
|
8000 – 8500 |
16 |
0,008 |
0,000032 |
