Мифы о безопасном ПО: уроки знаменитых катастроф
Отрывок из книги
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. На этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Было обращено внимание и на невыявленную при анализе требований к проекту взаимную противоречивость между необходимостью обеспечения надежности и декларацией о величине максимально допустимой нагрузки на компьютер, что и явилось предпосылкой принятия программистами потенциально опасного компромиссного решения о защите от переполнения не всех семи, а только четырех переменных. Впрочем, как справедливо замечает Б. Мейер, всякий инженерный процесс предполагает принятие компромиссных решений в условиях множества разноречивых требований; вопрос в том, насколько полна информация, на основании которой такие решения принимаются.
...
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Древесный маг Орловского княжества 2
2. Орловское княжество
Фантастика
:аниме
,сказочная фантастика
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Идеальный мир для Лекаря 2
2. Лекарь
Фантастика
:юмористическая фантастика
,попаданцы
,аниме
.
5.00
рейтинг книги
Древесный маг Орловского княжества 5
5. Орловское княжество
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Неудержимый. Книга XXVIII
28. Неудержимый
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Личный аптекарь императора. Том 5
5. Личный аптекарь императора
Фантастика
:городское фэнтези
,попаданцы
,аниме
,сказочная фантастика
,фэнтези
.
7.50
рейтинг книги
Моров. Том 4
3. Моров
Фантастика
:фэнтези
,попаданцы
,альтернативная история
,аниме
.
5.00
рейтинг книги
Сирийский рубеж 3
7. Рубеж
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Гранд империи
3. Страж
Фантастика
:фэнтези
,попаданцы
,альтернативная история
.
5.60
рейтинг книги
Древесный маг Орловского княжества 3
3. Орловское княжество
Фантастика
:аниме
,сказочная фантастика
,фэнтези
,попаданцы
,гаремник
.
5.00
рейтинг книги
Ваше Сиятельство 9
9. Ваше Сиятельство
Фантастика
:боевая фантастика
,попаданцы
,стимпанк
,аниме
,фэнтези
.
5.00
рейтинг книги
Изменяющий-Механик. Компиляция. Книги 1-18
Собрание сочинений
Фантастика
:боевая фантастика
,космическая фантастика
.
5.00
рейтинг книги
Эпоха Опустошителя. Том VI
6. Вечное Ристалище
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Тринадцатый
Фантастика
:фэнтези
,рпг
.
7.12
рейтинг книги
Первый среди равных. Книга IV
4. Первый среди Равных
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Отморозок 4
4. Отморозок
Фантастика
:попаданцы
,фантастика: прочее
.
5.00
рейтинг книги
Император Пограничья 10
10. Император Пограничья
Фантастика
:городское фэнтези
,аниме
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Двойник Короля 8
8. Двойник Короля
Фантастика
:аниме
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00