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

а) Ошибки вычислений
б) Логические ошибки
в) Ошибки ввода/вывода
г) Ошибки манипулирования данными
д) Ошибки совместимости
е) Ошибки сопряжения
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