Ўзбекистон республикаси ахборот технологиялари ва коммуникацияларини ривожлантириш вазирлиги муҳаммад ал-хоразмий номидаги

Эксплуатационный отказ
– отказ, связанный с нарушением правил эксплуатации. 
Причины, вызывающие данный вид отказов, связаны в первую очередь с человеческим 
фактором. Поэтому основные способы выявления таких отказов – проведение тестирования 
системы на удобство использования, верификация эксплуатационной документаци и, 
введение в систему защитных механизмов, блокирующих потенциальные ошибки оператора. 
 
По способу обнаружения 
Явный отказ
– отказ, который обнаруживается сразу после его возникновения 
штатными средствами контроля состояния системы. 
Скрытый отказ
– отказ, который не обнаруживается штатными средствами контроля 
состояния системы, либо обнаруживается ими спустя некоторое время после возникновения 
отказа. Такой отказ может послужить причиной для одного или нескольких зависимых 
отказов.
По связи с другими отказами 
Независимый отказ
– отказ, возникновение которого не обусловлено другими 
отказами 
Зависимый отказ 
– отказ, возникновение которого вызвано другими отказами 
Процесс верификации не гарантирует отсутствия в системе всех дефектов, которые 
могут вызвать сбои, отказы или аварии – речь идет только об определенном уровне 
отсутствия этих дефектов. Поэтому когда речь идет о системах, к надежности которых 
предъявляются повышенные требования, для повышения их надежности кроме верификации 
используются различные методы разработки устойчивого кода. 
При этом в результате верификации из системы устраняются дефекты, которые могут 
быть выявлены при анализе требований и/или кода, а методы разработки устойчивого кода 
дают дополнительную гарантию того, что система сохранит работоспособность в случаях, не 
предусмотренных требованиями. Однако, не следует расценивать эти методы как замену 
верификации или грамотного проектирования. 

---

175