Мифы о безопасном ПО: уроки знаменитых катастроф
Отрывок из книги
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. На этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Было обращено внимание и на невыявленную при анализе требований к проекту взаимную противоречивость между необходимостью обеспечения надежности и декларацией о величине максимально допустимой нагрузки на компьютер, что и явилось предпосылкой принятия программистами потенциально опасного компромиссного решения о защите от переполнения не всех семи, а только четырех переменных. Впрочем, как справедливо замечает Б. Мейер, всякий инженерный процесс предполагает принятие компромиссных решений в условиях множества разноречивых требований; вопрос в том, насколько полна информация, на основании которой такие решения принимаются.
...
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Черный Маг Императора 16
16. Черный маг императора
Фантастика
:юмористическое фэнтези
,аниме
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Страж Кодекса
1. КО: Страж Кодекса
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Восход. Солнцев. Книга I
1. Голос Бога
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
#Бояръ-Аниме. Газлайтер. Том 13
13. История Телепата
Фантастика
:боевая фантастика
,аниме
,попаданцы
,фэнтези
.
5.00
рейтинг книги
Ну, здравствуй, перестройка!
4. Девяностые
Фантастика
:попаданцы
,альтернативная история
.
6.83
рейтинг книги
Газлайтер. Том 18
18. История Телепата
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Имя нам Легион. Том 1
1. Меж двух миров
Фантастика
:боевая фантастика
,рпг
,аниме
.
5.00
рейтинг книги
Антимаг его величества
1. Модификант
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Светлая тьма. Советник
6. Светлая Тьма
Фантастика
:юмористическое фэнтези
,городское фэнтези
,аниме
,сказочная фантастика
,фэнтези
.
5.00
рейтинг книги
Неудержимый. Книга VI
6. Неудержимый
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Старый, но крепкий 5
5. Культивация без насилия
Фантастика
:рпг
,аниме
,уся
,фэнтези
.
5.00
рейтинг книги
Хозяин Теней 5
5. Безбожник
Фантастика
:аниме
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Черный Маг Императора 11
11. Черный маг императора
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Законы Рода. Том 6
6. Граф Берестьев
Фантастика
:юмористическое фэнтези
,аниме
.
5.00
рейтинг книги
Миллионщик
3. Подкидыш
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Контртеррор
6. Ермак
Фантастика
:альтернативная история
.
5.00
рейтинг книги
Земная жена на экспорт
Любовные романы
:любовно-фантастические романы
.
5.57