Мифы о безопасном ПО - уроки знаменитых катастроф
Отрывок из книги
Вывод Гарлингтона вполне отвечает здравому смыслу: проблема носит комплексный характер и обусловлена прежде всего объективной сложностью систем типа Ariane. Соответственно, одним лекарством болезнь, приводящая к появлению ошибок в ПО, вылечена быть не может. Хотя то, что процесс мониторинга спецификаций, кода и документов с обоснованием проектных решений при разработке ПО для Ariane 5, оказался неадекватен, отметила и Комиссия по расследованию аварии. В частности, подчеркнуто, что к процессу контроля не привлекались специалисты из организаций, независимых как от заказчика, так и от подрядчика системы, что нарушило принцип разделения исполнительных и контрольных функций.
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. а этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Военный инженер Ермака. Дилогия
1. Военный инженер
Фантастика
:попаданцы
,альтернативная история
,фантастика: прочее
,фэнтези
.
5.00
рейтинг книги
Ст. сержант. Назад в СССР. Книга 5
5. Второй шанс
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
Тринадцатый VIII
8. Видящий смерть
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Прометей: Неандерталец
4. Прометей
Фантастика
:героическая фантастика
,альтернативная история
.
7.88
рейтинг книги
Брак по-драконьи
Фантастика
:фэнтези
.
8.60
рейтинг книги
Гримуар темного лорда VIII
8. Гримуар темного лорда
Фантастика
:боевая фантастика
,альтернативная история
,аниме
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Отмороженный 9.0
9. Отмороженный
Фантастика
:боевая фантастика
,рпг
.
5.00
рейтинг книги
Как я строил магическую империю
1. Как я строил магическую империю
Фантастика
:фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Шатун. Лесной гамбит
2. Шатун
Фантастика
:боевая фантастика
.
7.43
рейтинг книги
Отмороженный 10.0
10. Отмороженный
Фантастика
:боевая фантастика
,рпг
.
5.00
рейтинг книги
Газлайтер. Том 23
23. История Телепата
Фантастика
:боевая фантастика
,попаданцы
,аниме
.
5.00
рейтинг книги
Отмороженный 14.0
14. Отмороженный
Фантастика
:боевая фантастика
,попаданцы
,рпг
.
5.00
рейтинг книги
#Бояръ-Аниме. Газлайтер. Том 24
24. История Телепата
Фантастика
:боевая фантастика
,попаданцы
,аниме
.
5.00
рейтинг книги
Цикл "Идеальный мир для Лекаря". Компиляция. Книги 1-30
Лекарь
Фантастика
:боевая фантастика
,юмористическое фэнтези
,аниме
,фэнтези
.
5.00
рейтинг книги
Призыватель нулевого ранга. Том 4
4. Эпоха Гардара
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Камень. Книга восьмая
8. Камень
Фантастика
:фэнтези
,боевая фантастика
.
7.00
рейтинг книги
Последний Герой. Том 4
Последний герой
Фантастика
:попаданцы
,альтернативная история
.
5.00