Построение проверяющего теста. Рассмотрим построение тестов для комбинационной релейно-контактной схемы, заданной в виде ФАЛ.

Рассмотрим построение тестов для комбинационной релейно-контактной схемы, заданной в виде ФАЛ.

F = {0,1,2,4,6} a,b,c.

F = {000,001,010,100,110}

Минимизируем данную ФАЛ с помощью карты Карно:

Рисунок 2 – Карта Карно функции F

В результате получаем минимизированную функцию:

Комбинационная релейно-контактная схема, соответствующая полученной ФАЛ приведена на рис. 3:

Рисунок 3 – Комбинационная релейно-контактная схема

Элементарная проверка для схемы заключается в подаче на ее входы определенного набора значений входных переменных и определении факта наличия проводимости схемы по состоянию реле F.

Определим функции неисправностей:

Составим ТФН (таблица 5):

Таблица 5 - Таблица функций неисправностей

Определим проверяющие функции:

Φ₁= 0 v 1 v 2

φ₂= 4 v 5 v 6

φ₃= 1

φ₄= 3

φ₅= 2

Проверяющий тест, в соответствии с выражением (1.2) равен:

Т_п = φ₁φ₂φ₃φ₄φ₅

Т_п = (0 v 1 v 2)(4 v 5 v 6)123, раскрыв скобки, получим:

Т_п = 1234 v 1235 v 1236.

Данный проверяющий тест содержит 3 минимальных теста:

Т_п1 = 1234;

Т_п2 = 1235;

Т_п3 = 1236.