Одиночный отказ

Достоверно известно. что в системе только один отказ. Информация, которой мы располагаем:

- матрица Т;

- оценка затрат, С;

- значение вероятности отказа всех элементов системы.

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

Использование любого теста t_i разбивает множество контролируемых элементов на две группы;

- множество работоспособных элементов, что подтверждается успешным проведением тестов t_i;

- множество, к которым принадлежат отказавшие элементы.

В случае неуспешности тестов t_i множество принадлежит контролю, определяющемуся подмножеством W_i.

Существенным мы будем считать тест, для которого справедливо следующее соотношение:

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

Список существенных тестов t_i оформляется в виде матрицыТ_i. Столбцы матрицы Т_i соответствуют элементам W_i. Каждая строка этой матрицы соответствует некоторому тесту, контролирующему работоспособность части элементов из множества W_i.

Достаточным условием возможности контроля работоспособности каждого элемента W_i является попарная различимость столбцов матрицы Т_i.