Наде?жность программ и причины отказы программного обеспечения

ПО - это свойство выполнять
заданные функции, сохранять свои характеристики в

установленных
пределах при определённых условиях эксплуатации.
Безотказность - это свойство сохранять работоспособность программным средством (ПС) в процессе обработки информации.
вероятностью корректностью
Интенсивность отказов

время

программные
средства

стадия износа
аппаратуры

ошибок:
а) Ошибки вычислений
б) Логические ошибки
в)

Ошибки ввода/вывода
г) Ошибки манипулирования данными
д) Ошибки совместимости
е) Ошибки сопряжения
2. Искажение входной информации
3. Неверные действия пользователя
4. Неисправность аппаратуры
5. Типичные симптомы ошибок
6. Искажение отдельных элементов данных
Устойчивость функционирования ПО:
- структурной,
- временной,
- информационной избыточности
__________

модуля обязательно завершится,
2) затем доказывается истинность других утверждений в

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

_________

промежуточных данных,
а так же все спецификации.

группа
путь1
путь2
допус
недоп
авари-
йное
завер-
шение
другие
спец-ции
или функ
программ

т

е

с

т
1

2

3
опер
1
опер
2
опер
3

с

условной
вершиной

входных
данных

1

1

1

1

1

1

1

2

1

1

1

1

- условия, спецификации.


На пересечении строки и столбца ставится 1, если

тестовый набор контролирует функцию данного столбца. Если в каждом столбце есть хотя бы одна 1, то все параметры программы контролируются.

Полнота выделенных в таблице спецификации показывается отдельно.





_________