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