С восстановлением отказавших элементов

В случае, если в системе допускаются отказы нескольких элементов, то возможна следующая процедура контроля:

после анализа результата выполнения очередного теста при обнаружении отказавшего элемента он восстанавливается, затем проверяется работоспособность всей системы. Если система окажется неработоспособной, то поиск отказов продолжается.

Рассмотрим процедуру, которая обеспечивает минимум времени на проведение тестирования.

Для каждого элемента рассчитывается следующая характеристика:

C_j - затраты на тестирование j-го элемента.

Все элементы нумеруются в порядке возрастания этой характеристики. Полученный порядок - порядок проверки элементов. Проверка элементов начинается с минимального значения полученной условной характеристики.