Приближенный алгоритм поиска одиночного отказа при произвольно пересекающихся тестов

Пусть к некоторому М-му шагу тестирования мы провели следующую последовательность тестов:

Задача:

На М-ом шаге найти отказавший элемент на множестве W^М-1.

Алгоритм отыскания:

1. ® условная вероятность отказа каждого элемента

системы.

2. Для каждого существенного теста вычисляем вероятность неуспешного исхода на множестве всех элементов системы.

® сумма вероятностей тех элементов, которые

контролируются j-тым тестом.

3. Определяются затраты на проведение каждого теста.

4.

5. Выбирается тест t_k, которому соответствуют минимальные значения этой величины.

6. Проверка работоспособности элементов в системе с помощью t_k теста.

Если тест прошел успешно, то на следующем шаге будем работать с множеством .

Если тест проведен неуспешно, тогда .

- применили только один тест.

пока не сузимся до одного элемента.