|
Т.е. в самой архитектуре ПО заложена заранее известная вероятность сбоев. Взять те же принципы генерации уникальных ID для COM интерфейсов в Win или для протоколов. Если ID будет не уникальным, то произойдет глюк, но все смирились поскольку считают что эвристические генераторы вполне надежны.
Также обстоит с планировщиками в RTOS. Даже ввели термин жестких RTOS и мягких. Когда наступит перегрузка планировщика никто не знает, но точно известно, что она всегда возможна. И еще много примеров...
CENELEC официально признал, что никакое тестирование ПО не дает гарантии его достаточной надежности. Даже применяя специальные организационные меры можно достигать только приемлемых уровней риска, но никогда полной надежности ПО.
E-mail: info@telesys.ru