Мифы о безопасном ПО: уроки знаменитых катастроф
Отрывок из книги
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. На этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Было обращено внимание и на невыявленную при анализе требований к проекту взаимную противоречивость между необходимостью обеспечения надежности и декларацией о величине максимально допустимой нагрузки на компьютер, что и явилось предпосылкой принятия программистами потенциально опасного компромиссного решения о защите от переполнения не всех семи, а только четырех переменных. Впрочем, как справедливо замечает Б. Мейер, всякий инженерный процесс предполагает принятие компромиссных решений в условиях множества разноречивых требований; вопрос в том, насколько полна информация, на основании которой такие решения принимаются.
...
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Бандит
1. Петр Синельников
Фантастика
:фэнтези
.
7.92
рейтинг книги
Темная сторона. Том 1
9. Гибрид
Фантастика
:технофэнтези
,аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Матабар. II
2. Матабар
Фантастика
:фэнтези
.
5.00
рейтинг книги
Газлайтер. Том 6
6. История Телепата
Фантастика
:попаданцы
,альтернативная история
,аниме
.
5.00
рейтинг книги
Бастард Императора. Том 6
6. Бастард Императора
Фантастика
:городское фэнтези
,попаданцы
,аниме
,фэнтези
,фантастика: прочее
.
5.00
рейтинг книги
Точка Бифуркации X
10. ТБ
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Запечатанный во тьме. Том 1. Тысячи лет кача
1. Хроники Арнея
Фантастика
:уся
,эпическая фантастика
,фэнтези
.
5.00
рейтинг книги
Кодекс Охотника. Книга XII
12. Кодекс Охотника
Фантастика
:боевая фантастика
,городское фэнтези
,аниме
.
7.50
рейтинг книги
Кодекс Охотника. Книга VI
6. Кодекс Охотника
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Светлая тьма. Советник
6. Светлая Тьма
Фантастика
:юмористическое фэнтези
,городское фэнтези
,аниме
,сказочная фантастика
,фэнтези
.
5.00
рейтинг книги
Двойник короля 21
21. Двойник Короля
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Неправильный лекарь. Том 2
2. Неправильный лекарь
Фантастика
:городское фэнтези
,аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Локки 7. Потомок бога
7. Локки
Фантастика
:аниме
,эпическая фантастика
,фэнтези
.
5.00
рейтинг книги
Я еще князь. Книга XX
20. Дорогой барон!
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Старый, но крепкий 4
4. Культивация без насилия
Фантастика
:уся
,фэнтези
.
5.00
рейтинг книги
Последний рейд
5. Медорфенов
Фантастика
:фэнтези
,аниме
.
5.00
рейтинг книги
Вперед в прошлое 7
7. Вперед в прошлое
Фантастика
:попаданцы
,альтернативная история
.
5.00