Построение диагностического теста

При построении диагностического теста, не учитывают отношения импликации между неисправностями. На схему наносят только графы эквивалентных неисправностей, которые нумеруются (рис.9). В результате число неисправностей, включаемых в ТФН, увеличивается. По диагностическому тесту строят словарь неисправностей.

Рисунок 9 – Эквивалентные неисправности

комбинационной схемы

Составим ТФН. Таблица будет аналогична таблице 10, но в неё необходимо включить две неисправности выхода системы, которым соответствуют функции неисправностей f₅ = 1 и f₆ = 0.

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

Проверяющие функции для f₉ и f₁₀ :

φ₅ = 0 v 1 v 2

φ₆ = 3 v 4 v 5 v 6 v 7

Определим различающие функции в соответствии с выражением (1.3):

φ_1,2= 3 v 4 v 5 v 6

φ_1,3= 1 v 4 v 5 v 6

φ_1,4= 2 v 4 v 5 v 6

φ_1,5= 0 v 1 v 2 v 4 v 5 v 6

φ_1,6= 3 v 7

φ_2,3 = 1 v 3

φ_2,4 = 2 v 3

φ_2,5 = 0 v 1 v 2 v 3

φ_2,6 = 4 v 5 v 6 v 7

φ_3,4 = 1 v 2

φ_3,5 = 0 v 2

φ_3,6 = 1 v 3 v 4 v 5 v 6 v 7

φ_4,5 = 0 v 1

φ_4,6 = 2 v 3 v 4 v 5 v 6 v 7

φ_5,6 = 0 v 1 v 2 v 3 v 4 v 5 v 6 v 7

Если составить диагностический тест, согласно выражению (1.4), то, подставив значения функций и упростив выражение, получим:

Т_д= (3 v 4 v 5 v 6)(1 v 4 v 5 v 6)(2 v 4 v 5 v 6)(4 v 5 v 6 v 7)(3 v 7)(1 v 3)(2 v 3) (1 v 2)(0 v 2)(0 v 1)

T_д=0234 v 0134 v 0235 v 0135 v 0236 v 0136 v 01234 v 1234 v 1235 v 1236 v 01247 v 01347 v 01257 v 01357 v 01267 v 01367 v 012347 v 1247 v 1257 v 1267 v 12347

Полученное выражение содержит 12 минимальных тестов:

Т_д1 = 0234

Т_д2 = 0134

Т_д3 = 0235

Т_д4 = 0135

Т_д5 = 0236

Т_д6 = 0136

Т_д7 = 1234

Т_д8 = 1235

Т_д9 = 1236

Т_д10 = 1247

Т_д11 = 1257

Т_д12 = 1267

Диагностический тест Тд^’, согласно выражению (1.5) равен:

Т_д^’= Т_п φ_1,2 φ_1,3,……,φ_n-1,n .

Подставив значения функций и упростив выражение, получим:

Тд^’= (0234 v 0134 v 0235 v 0135 v 0236 v 0136 v 01234 v 1234 v 1235 v 1236 v 01247 v 01347 v 01257 v 01357 v 01267 v 01367 v 012347 v 1247 v 1257 v 1267 v 12347)(1234 v 1235 v 1236) = 1234 v 1235 v 1236

Тд^’₁ = 1234

Тд^’₂ = 1235

Тд^’₃ = 1236

Составим словарь неисправностей для теста Тд^’₁ = 1234 (таблица 12):

Таблица 12 - Словарь неисправностей для Тд^’₁

Составим словарь неисправностей для теста Тд^’₂ = 1235 (таблица 13):

Таблица 13 - Словарь неисправностей для Тд^’₂

Составим словарь неисправностей для теста Тд^’₃ = 1236 (таблица 14):

Таблица 14 - Словарь неисправностей для Тд^’₃