Мифы о безопасном ПО: уроки знаменитых катастроф
Отрывок из книги
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. На этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Было обращено внимание и на невыявленную при анализе требований к проекту взаимную противоречивость между необходимостью обеспечения надежности и декларацией о величине максимально допустимой нагрузки на компьютер, что и явилось предпосылкой принятия программистами потенциально опасного компромиссного решения о защите от переполнения не всех семи, а только четырех переменных. Впрочем, как справедливо замечает Б. Мейер, всякий инженерный процесс предполагает принятие компромиссных решений в условиях множества разноречивых требований; вопрос в том, насколько полна информация, на основании которой такие решения принимаются.
...
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Зеркало силы
3. Артефактор
Фантастика
:городское фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Законы Рода. Том 10
10. Граф Берестьев
Фантастика
:юмористическая фантастика
,аниме
,фэнтези
.
5.00
рейтинг книги
Газлайтер. Том 29
29. История Телепата
Фантастика
:боевая фантастика
,попаданцы
,аниме
.
5.00
рейтинг книги
Проданная Истинная. Месть по-драконьи
Любовные романы
:любовно-фантастические романы
.
5.00
рейтинг книги
Дважды одаренный. Том VI
6. Дважды одаренный
Фантастика
:аниме
,альтернативная история
,фэнтези
,фантастика: прочее
.
5.00
рейтинг книги
Законы Рода. Том 7
7. Граф Берестьев
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Имперец. Том 1 и Том 2
1. Имперец
Фантастика
:попаданцы
,альтернативная история
,аниме
.
5.00
рейтинг книги
Мастер 4
4. Мастер
Фантастика
:героическая фантастика
,боевая фантастика
,попаданцы
.
5.00
рейтинг книги
Убивать чтобы жить 7
7. УЧЖ
Фантастика
:героическая фантастика
,космическая фантастика
,рпг
.
5.00
рейтинг книги
На границе империй. Том 6
6. Фортуна дама переменчивая
Фантастика
:боевая фантастика
,космическая фантастика
,попаданцы
.
5.31
рейтинг книги
Имя нам Легион. Том 10
10. Меж двух миров
Фантастика
:боевая фантастика
,рпг
,аниме
.
5.00
рейтинг книги
Неудержимый. Книга XXVII
27. Неудержимый
Фантастика
:фэнтези
,попаданцы
.
5.00
рейтинг книги
Воронцов. Перезагрузка
1. Воронцов. Перезагрузка
Фантастика
:попаданцы
,альтернативная история
,фантастика: прочее
.
5.00
рейтинг книги
Неучтенный элемент. Том 1
1. Антимаг. Вне системы
Фантастика
:городское фэнтези
,фэнтези
.
5.00
рейтинг книги
Кодекс Императора
1. Кодекс Императора
Фантастика
:аниме
,фэнтези
,попаданцы
.
4.25
рейтинг книги
Старшеклассник без клана. Апелляция кибер аутсайдера
1. Старшеклассник без клана. Апелляция аутсайдера
Фантастика
:попаданцы
,аниме
.
5.00
рейтинг книги
Адвокат Империи 10
10. Адвокат империи
Фантастика
:городское фэнтези
,аниме
,дорама
,попаданцы
.
5.00