Мифы о безопасном ПО: уроки знаменитых катастроф
Отрывок из книги
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. На этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Было обращено внимание и на невыявленную при анализе требований к проекту взаимную противоречивость между необходимостью обеспечения надежности и декларацией о величине максимально допустимой нагрузки на компьютер, что и явилось предпосылкой принятия программистами потенциально опасного компромиссного решения о защите от переполнения не всех семи, а только четырех переменных. Впрочем, как справедливо замечает Б. Мейер, всякий инженерный процесс предполагает принятие компромиссных решений в условиях множества разноречивых требований; вопрос в том, насколько полна информация, на основании которой такие решения принимаются.
...
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Дагги-тиц
Детские
:детские приключения
.
7.71
рейтинг книги
Всё о современной рыбалке. Полная энциклопедия
Дом и Семья
:хобби и ремесла
.
5.00
рейтинг книги
Современный польский детектив
Детективы
:прочие детективы
,иронические детективы
.
5.00
рейтинг книги
Ефрейтор. Назад в СССР. Книга 2
2. Второй шанс
Фантастика
:попаданцы
,альтернативная история
.
7.00
рейтинг книги
Иван Болотников
Проза
:историческая проза
.
5.00
рейтинг книги
Русская мафия 1988-2007
Документальная литература
:публицистика
.
6.25
рейтинг книги
"Фантастика 2024-186". Компиляция. Книги 1-25
Фантастика 2024. Компиляция
Фантастика
:фэнтези
,боевая фантастика
,попаданцы
.
5.00
рейтинг книги
Статьи из "Арабесок"
Другие редакции
Документальная литература
:публицистика
.
4.75
рейтинг книги
Кортни. 1-13
Кортни
Приключения
:исторические приключения
,прочие приключения
.
5.00
рейтинг книги
Наследие Маозари 7
7. Наследие Маозари
Фантастика
:боевая фантастика
,юмористическое фэнтези
,постапокалипсис
,рпг
,фэнтези
,эпическая фантастика
.
5.00
рейтинг книги
Егерь. Вызов
3. Зверолов
Фантастика
:боевая фантастика
,рпг
,уся
,фэнтези
,попаданцы
.
6.00
рейтинг книги
Третий Генерал: Том III
2. Третий Генерал
Фантастика
:попаданцы
,рпг
,аниме
.
5.00
рейтинг книги
Охотник за головами
1. Фронтир
Фантастика
:боевая фантастика
,космическая фантастика
.
5.00
рейтинг книги
Дом Пламени и Тени
Фантастика
:фэнтези
.
5.00
рейтинг книги
Последний Паладин. Том 5
5. Путь Паладина
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Черный Маг Императора 5
5. Черный маг императора
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Вечный. Книга IV
4. Вечный
Фантастика
:боевая фантастика
,попаданцы
,рпг
.
6.25