Мифы о безопасном ПО - уроки знаменитых катастроф
Отрывок из книги
Вывод Гарлингтона вполне отвечает здравому смыслу: проблема носит комплексный характер и обусловлена прежде всего объективной сложностью систем типа Ariane. Соответственно, одним лекарством болезнь, приводящая к появлению ошибок в ПО, вылечена быть не может. Хотя то, что процесс мониторинга спецификаций, кода и документов с обоснованием проектных решений при разработке ПО для Ariane 5, оказался неадекватен, отметила и Комиссия по расследованию аварии. В частности, подчеркнуто, что к процессу контроля не привлекались специалисты из организаций, независимых как от заказчика, так и от подрядчика системы, что нарушило принцип разделения исполнительных и контрольных функций.
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. а этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Возмутитель спокойствия
1. Глэрд
Фантастика
:фэнтези
,боевая фантастика
,попаданцы
.
5.00
рейтинг книги
Жизнь и судьба
Проза
:классическая проза
.
8.48
рейтинг книги
Кодекс Охотника. Книга XXIX
29. Кодекс Охотника
Фантастика
:попаданцы
,аниме
,фэнтези
.
5.00
рейтинг книги
Третий Генерал: Тома I-II
1. Третий Генерал
Фантастика
:городское фэнтези
,попаданцы
,аниме
,сказочная фантастика
.
5.00
рейтинг книги
Дырка для ордена; Билет на ладью Харона; Бремя живых
Фантастика
:альтернативная история
,фэнтези
.
8.12
рейтинг книги
Побережье цифрового мира
2. Негодяй Аллара
Фантастика
:рпг
,фэнтези
.
5.00
рейтинг книги
Забытые боги
4. Путь князя
Фантастика
:фэнтези
,рпг
,попаданцы
.
5.00
рейтинг книги
Сан Феличе Иллюстрации Е. Ганешиной
Приключения
:исторические приключения
.
6.00
рейтинг книги
Двенадцатая реинкарнация. Трилогия
Фантастика
:боевая фантастика
.
5.60
рейтинг книги
П 2
2. Придворный
Фантастика
:фэнтези
,героическая фантастика
.
5.00
рейтинг книги
Барбаросса
Морской авантюрный роман
Приключения
:исторические приключения
,морские приключения
.
5.00
рейтинг книги
Точка Бифуркации XVI
16. ТБ
Фантастика
:аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Виконт. Книга 2. Обретение силы
2. Псевдоним `Испанец`
Фантастика
:боевая фантастика
,попаданцы
,рпг
.
7.10
рейтинг книги
Том 7. Последние дни
7. Собрание сочинений в десяти томах
Проза
:советская классическая проза
.
5.00
рейтинг книги
Газлайтер. Том 20
20. История Телепата
Фантастика
:боевая фантастика
,аниме
,попаданцы
.
5.80
рейтинг книги
Эволюционер из трущоб. Том 3
3. Эволюционер из трущоб
Фантастика
:попаданцы
,аниме
,фэнтези
,фантастика: прочее
.
6.00
рейтинг книги
Римские фантазии (сборник)
Детские
:сказки
.
5.00