Мифы о безопасном ПО: уроки знаменитых катастроф
Отрывок из книги
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. На этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Было обращено внимание и на невыявленную при анализе требований к проекту взаимную противоречивость между необходимостью обеспечения надежности и декларацией о величине максимально допустимой нагрузки на компьютер, что и явилось предпосылкой принятия программистами потенциально опасного компромиссного решения о защите от переполнения не всех семи, а только четырех переменных. Впрочем, как справедливо замечает Б. Мейер, всякий инженерный процесс предполагает принятие компромиссных решений в условиях множества разноречивых требований; вопрос в том, насколько полна информация, на основании которой такие решения принимаются.
...
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Бастард
1. Династия
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Ефрейтор. Назад в СССР. Книга 2
2. Второй шанс
Фантастика
:попаданцы
,альтернативная история
.
7.00
рейтинг книги
Тринадцатый X
10. Видящий смерть
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Одинаковые. Том 3. Индокитай
3. Братья Горские
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Система Возвышения. (цикл 1-8) - Николай Раздоров
Система Возвышения
Фантастика
:боевая фантастика
.
4.65
рейтинг книги
Ликвидатор на службе Империи
1. Ликвидатор на службе Империи
Фантастика
:фэнтези
,аниме
.
5.00
рейтинг книги
Призыватель нулевого ранга. Том 2
2. Эпоха Гардара
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Печать Пожирателя 3
3. Пожиратель
Фантастика
:городское фэнтези
,аниме
,сказочная фантастика
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Брак по-драконьи
Фантастика
:фэнтези
.
8.60
рейтинг книги
Сильнейший Столп Империи. Книга 4
4. Сильнейший Столп Империи
Фантастика
:фэнтези
,аниме
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Дорогами алхимии
2. Под знаком Песца
Фантастика
:альтернативная история
,аниме
.
5.00
рейтинг книги
Локки 4 Потомок бога
4. Локки
Фантастика
:аниме
,фэнтези
.
5.00
рейтинг книги
Отмороженный 11.0
11. Отмороженный
Фантастика
:боевая фантастика
,рпг
,попаданцы
,фантастика: прочее
,фэнтези
.
5.00
рейтинг книги
Твое сердце будет разбито. Книга 1
Любовные романы
:современные любовные романы
.
5.50
рейтинг книги
Черный Маг Императора 18
18. Черный маг императора
Фантастика
:юмористическое фэнтези
,аниме
,сказочная фантастика
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Черный Маг Императора 12
12. Черный маг императора
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
,сказочная фантастика
,фэнтези
.
5.00
рейтинг книги
Инкарнатор
1. Стеллар
Фантастика
:боевая фантастика
,рпг
.
7.30