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