Мифы о безопасном ПО - уроки знаменитых катастроф
Отрывок из книги
Вывод Гарлингтона вполне отвечает здравому смыслу: проблема носит комплексный характер и обусловлена прежде всего объективной сложностью систем типа Ariane. Соответственно, одним лекарством болезнь, приводящая к появлению ошибок в ПО, вылечена быть не может. Хотя то, что процесс мониторинга спецификаций, кода и документов с обоснованием проектных решений при разработке ПО для Ariane 5, оказался неадекватен, отметила и Комиссия по расследованию аварии. В частности, подчеркнуто, что к процессу контроля не привлекались специалисты из организаций, независимых как от заказчика, так и от подрядчика системы, что нарушило принцип разделения исполнительных и контрольных функций.
Большие претензии были предъявлены не только к процессу тестирования как таковому, но и к самой его стратегии. а этапе тестирования и отладки системы было технически возможно в рамках интегрального моделирования процесса полета исследовать все аспекты работы IRS, что позволило бы почти гарантированно выявить ошибку, приведшую к аварии. Однако, вместо этого при моделировании работы всего комплекса IRS рассматривалась как черный ящик, заведомо выдающий то, что ожидается. Почему? А зачем тестировать то, что успешно работало в течение многих лет?!
Книги из серии:
Без серии
[5.0 рейтинг книги]
[5.0 рейтинг книги]
Комментарии:
Популярные книги
Пустоши
1. Медорфенов
Фантастика
:фэнтези
,попаданцы
.
5.00
рейтинг книги
Кодекс Охотника. Книга XXXIX
39. Кодекс Охотника
Фантастика
:фэнтези
,попаданцы
,боевая фантастика
.
5.00
рейтинг книги
Наследник
1. Рюрикова кровь
Фантастика
:научная фантастика
,попаданцы
,альтернативная история
.
8.69
рейтинг книги
Темная сторона. Том 1
9. Гибрид
Фантастика
:технофэнтези
,аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Живое проклятье
3. Жизнь Лекаря с нуля
Фантастика
:попаданцы
,альтернативная история
,аниме
,фэнтези
,фантастика: прочее
.
5.00
рейтинг книги
Я все еще не царь. Книга XXVI
26. Дорогой барон!
Фантастика
:попаданцы
,аниме
.
5.00
рейтинг книги
Солнечный флот
4. Фронтир
Фантастика
:боевая фантастика
,космическая фантастика
.
5.00
рейтинг книги
Сирийский рубеж
5. Рубеж
Фантастика
:попаданцы
,альтернативная история
.
5.00
рейтинг книги
На границе империй. Том 4
4. Фортуна дама переменчивая
Фантастика
:космическая фантастика
.
6.00
рейтинг книги
Древесный маг Орловского княжества
1. Орловское княжество
Фантастика
:аниме
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Идеальный мир для Лекаря 14
14. Лекарь
Фантастика
:юмористическое фэнтези
,попаданцы
,аниме
.
5.00
рейтинг книги
Любимая учительница
1. совершенная любовь
Любовные романы
:современные любовные романы
,эро литература
.
8.73
рейтинг книги
В лапах зверя
1. Звериные повадки Симоновых
Любовные романы
:остросюжетные любовные романы
,эро литература
.
5.00
рейтинг книги
Глубокий космос
9. Фронтир
Фантастика
:боевая фантастика
,космическая фантастика
,космоопера
.
5.00
рейтинг книги
Темная сторона. Том 2
10. Гибрид
Фантастика
:технофэнтези
,аниме
,фэнтези
,попаданцы
.
5.00
рейтинг книги
Черный Маг Императора 18
18. Черный маг императора
Фантастика
:юмористическое фэнтези
,аниме
,сказочная фантастика
,фэнтези
,фантастика: прочее
,попаданцы
.
5.00
рейтинг книги
Сержант. Назад в СССР. Книга 4
4. Второй шанс
Фантастика
:попаданцы
,альтернативная история
.
5.00