Зря ты так… Я лично знаю одного товарища из этой команды – умнейший парень!.. А подобное сообщение об ошибке – просто оскорбительно. 🙁
Предположение о существовании безошибочного ПО – наивно. Даже в “Hello, world!” могут быть дефекты.
Ну, если экономить копеечку и заказчик готов жрать что дают, то да. В иных ситуациях “EAL7: Formally Verified Design and Tested”.
“Formally verified and tested” может быть проект (design) и даже реализация, но это всё равно никак не гарантирует того, что будут учтены бесконечно возможные варианты реальности. Да, чем больше денег тратится на качество, тем оно выше, но идеал недостижим, особенно в масс-продуктах.
Варианты реальности в виде спецвоздействий учитываются уже железом, или что ты имеешь в виду?
«Варианты реальности» – это модель реальности, а любая модель – это упрощение реальности, просто по определению. Ну или, говоря по-народному, «на каждую хитрую гайку найдётся свой болт с резьбой». 😊
Так вот надо предусматривать нормальные гайки и следить за сборщиками-обезьянами, а не надеяться, что как нибудь прокатит и реальность удачно сложится.
Добавьте свой комментарий или войдите, чтобы подписаться/отписаться.
Навигация
Загрузка…
© 2000 – 2025 «Станислав.ру»