Мифы о безопасном ПО - уроки знаменитых катастроф
Отрывок из книги
Вывод Гарлингтона вполне отвечает здравому смыслу: проблема носит комплексный характер и обусловлена прежде всего объективной сложностью систем типа Ariane. Соответственно, одним лекарством болезнь, приводящая к появлению ошибок в ПО, вылечена быть не может. Хотя то, что процесс мониторинга спецификаций, кода и документов с обоснованием проектных решений при разработке ПО для Ariane 5, оказался неадекватен, отметила и Комиссия по расследованию аварии. В частности, подчеркнуто, что к процессу контроля не привлекались специалисты из организаций, независимых как от заказчика, так и от подрядчика системы, что нарушило принцип разделения исполнительных и контрольных функций.
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. а этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Целительные силы. Книга 1. Очищение организма и правильное питание. Биосинтез и биоэнергетика
Дом и Семья
:здоровье и красота
.
4.00
рейтинг книги
Тень Гегемона
2. Эндер Виггин. Сага теней
Фантастика
:научная фантастика
.
7.11
рейтинг книги
На границе империй. Том 4
4. Фортуна дама переменчивая
Фантастика
:космическая фантастика
.
6.00
рейтинг книги
Паладин из прошлого тысячелетия
1. Соприкосновение миров
Фантастика
:боевая фантастика
,попаданцы
.
6.67
рейтинг книги
Инженер Петра Великого
1. Инженер Петра Великого
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Ермак. Противостояние. Книга одиннадцатая
11. Ермак
Фантастика
:попаданцы
,альтернативная история
.
4.80
рейтинг книги
Кодекс «Альтмана»
4. Прикрытие-Один
Детективы
:шпионские детективы
.
5.75
рейтинг книги
Газлайтер. Том 12
12. История Телепата
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.80
рейтинг книги
Третий Генерал: Тома I-II
1. Третий Генерал
Фантастика
:городское фэнтези
,попаданцы
,аниме
,сказочная фантастика
.
5.00
рейтинг книги
Слово воина
1. Ведун
Фантастика
:фэнтези
.
8.91
рейтинг книги
Жизнь замечательных Блонди
1. Ai no Kusabi
Фантастика
:космическая фантастика
.
8.29
рейтинг книги
Лекарь Империи 3
3. Лекарь Империи
Фантастика
:городское фэнтези
,аниме
,дорама
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Бездна. Первые после бога
Фантастика
:боевая фантастика
,попаданцы
.
7.00
рейтинг книги
Защитник
11. Другая сторона
Фантастика
:боевая фантастика
,попаданцы
,рпг
.
5.00
рейтинг книги
Виллет
Проза
:классическая проза
.
8.57
рейтинг книги
История политических и правовых учений. Учебник
Научно-образовательная
:история
,юриспруденция
.
5.00
рейтинг книги
Газлайтер. Том 14
14. История Телепата
Фантастика
:попаданцы
,аниме
,фэнтези
.
4.75