Мифы о безопасном ПО - уроки знаменитых катастроф
Отрывок из книги
Вывод Гарлингтона вполне отвечает здравому смыслу: проблема носит комплексный характер и обусловлена прежде всего объективной сложностью систем типа Ariane. Соответственно, одним лекарством болезнь, приводящая к появлению ошибок в ПО, вылечена быть не может. Хотя то, что процесс мониторинга спецификаций, кода и документов с обоснованием проектных решений при разработке ПО для Ariane 5, оказался неадекватен, отметила и Комиссия по расследованию аварии. В частности, подчеркнуто, что к процессу контроля не привлекались специалисты из организаций, независимых как от заказчика, так и от подрядчика системы, что нарушило принцип разделения исполнительных и контрольных функций.
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. а этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Неофит
3. Ушедший Род
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Осколки маски
7. Унесенный ветром
Фантастика
:боевая фантастика
,альтернативная история
.
6.71
рейтинг книги
Черный Маг Императора 8
8. Черный маг императора
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Кодекс Крови. Книга Х
10. РОС: Кодекс Крови
Фантастика
:фэнтези
,юмористическое фэнтези
,попаданцы
,аниме
.
5.25
рейтинг книги
Воплощение Похоти
1. Воплощение Похоти
Фантастика
:юмористическое фэнтези
,попаданцы
,рпг
,аниме
.
5.00
рейтинг книги
Протокол "Наследник"
1. Гибрид
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Убивать чтобы жить 9
9. УЧЖ
Фантастика
:героическая фантастика
,боевая фантастика
,рпг
.
5.00
рейтинг книги
Прапорщик. Назад в СССР. Книга 6
6. Второй шанс
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Сотник
4. Помещик
Фантастика
:альтернативная история
.
5.00
рейтинг книги
Три `Д` для миллиардера. Свадебный салон
Любовные романы
:современные любовные романы
,короткие любовные романы
.
7.14
рейтинг книги
Вперед в прошлое 3
3. Вперёд в прошлое
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Сильнейший Столп Империи. Книга 4
4. Сильнейший Столп Империи
Фантастика
:фэнтези
,аниме
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Стеллар. Трибут
2. Стеллар
Фантастика
:боевая фантастика
,рпг
.
8.75
рейтинг книги
Здравствуй, 1985-й
2. Девяностые
Фантастика
:альтернативная история
.
5.33
рейтинг книги
Вечный. Книга I
1. Вечный
Фантастика
:боевая фантастика
,попаданцы
,рпг
.
5.50
рейтинг книги
Хроники Тириса. Книга 3
3. Хроники Тириса
Фантастика
:боевая фантастика
,космическая фантастика
,фантастика: прочее
.
5.00
рейтинг книги
Изгои
5. Глэрд
Фантастика
:фэнтези
,боевая фантастика
.
5.00