Мифы о безопасном ПО: уроки знаменитых катастроф
Отрывок из книги
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. На этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Было обращено внимание и на невыявленную при анализе требований к проекту взаимную противоречивость между необходимостью обеспечения надежности и декларацией о величине максимально допустимой нагрузки на компьютер, что и явилось предпосылкой принятия программистами потенциально опасного компромиссного решения о защите от переполнения не всех семи, а только четырех переменных. Впрочем, как справедливо замечает Б. Мейер, всякий инженерный процесс предполагает принятие компромиссных решений в условиях множества разноречивых требований; вопрос в том, насколько полна информация, на основании которой такие решения принимаются.
...
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Телохранитель Генсека. Том 4
4. Медведев
Фантастика
:попаданцы
,альтернативная история
.
6.00
рейтинг книги
Ворон
Фантастика
:попаданцы
,фэнтези
,гаремник
.
5.00
рейтинг книги
Легат
6. Стеллар
Фантастика
:боевая фантастика
,рпг
.
6.73
рейтинг книги
#Бояръ-Аниме. Газлайтер. Том 37
37. История Телепата
Фантастика
:фэнтези
,аниме
,боевая фантастика
.
6.25
рейтинг книги
На Берлин!
2. Моё пространственное убежище
Фантастика
:фэнтези
,боевая фантастика
,рпг
,постапокалипсис
.
5.56
рейтинг книги
#Бояръ-Аниме. Газлайтер. Том 13
13. История Телепата
Фантастика
:боевая фантастика
,аниме
,попаданцы
,фэнтези
.
7.33
рейтинг книги
Моров. Том 8
7. Моров
Фантастика
:альтернативная история
,аниме
,фэнтези
,попаданцы
.
5.25
рейтинг книги
Эволюционер из трущоб. Том 3
3. Эволюционер из трущоб
Фантастика
:попаданцы
,аниме
,фэнтези
,фантастика: прочее
.
6.00
рейтинг книги
Юнлинг
Фантастика
:героическая фантастика
,космическая фантастика
,попаданцы
.
8.35
рейтинг книги
Неучтенный элемент. Том 9
9. Антимаг. Вне системы
Фантастика
:фэнтези
.
5.00
рейтинг книги
Сержант. Назад в СССР. Книга 4
4. Второй шанс
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Хозяин Стужи 6
6. Злой Лед
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Виктор Глухов агент Ада. Компиляция. Книги 1-15
Виктор Глухов агент Ада
Фантастика
:фэнтези
,героическая фантастика
,боевая фантастика
,попаданцы
.
5.00
рейтинг книги
Газлайтер. Том 5
5. История Телепата
Фантастика
:попаданцы
,альтернативная история
,аниме
.
5.00
рейтинг книги
Лекарь Империи
1. Лекарь Империи
Фантастика
:городское фэнтези
,аниме
,дорама
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Тихие ночи
2. Глэрд
Фантастика
:фэнтези
,боевая фантастика
,попаданцы
.
5.00
рейтинг книги
Стражи душ
4. Артефактор
Фантастика
:городское фэнтези
,попаданцы
,аниме
.
5.00