9. Построить проверяющий тест для логической структуры.

Для каждого элемента существует две неисправности, поэтому для 7 элементов схемы общее число неисправностей равно 14. Считаем, что в каждый момент времени существует единственная неисправность. Таким образом, необходимо построить 14 проверочных тестов.

Неисправность	Ошибка	X1	X2	X3	X4	X5	X6	X7	X8
G1	Константа «1»	0	0	0	0	0	0	0	0	F1
	Константа «0»	1	1	0	0	0	0	0	0	F2
G2	Константа «1»	0	0	0	0	0	0	0	0	F3
	Константа «0»	0	0	1	1	0	0	0	0	F4
G3	Константа «1»	0	0	0	0	0	0	0	0	F5
	Константа «0»	0	0	0	0	1	1	0	0	F6
G4	Константа «1»	0	0	0	0	0	0	0	0	F7
	Константа «0»	0	0	0	0	0	0	1	1	F8
G5	Константа «1»	0	0	0	0	0	0	0	0	F9
	Константа «0»	1	1	0	0	0	0	0	0	F10
G6	Константа «1»	0	0	0	0	0	0	0	0	F11
	Константа «0»	0	0	1	1	0	0	1	1	F12
G7	Константа «1»	0	0	0	0	0	0	0	0	F13
	Константа «0»	1	1	1	1	1	1	1	1	F14

Убрав повторяющиеся тесты, получаем набор из 7 тестов :

Т1=0000 0000

Т2=1100 0000

Т3=0011 0000

Т4=0000 1100

Т5=0000 0011

Т6=0011 0011

Т7=1111 1111

Для минимизации тестов строится таблица неисправностей

	T1	T2	T3	T4	T5	T6	T7
F1	1	0	0	0	0	0	0
F2	0	1	0	0	0	0	0
F3	1	0	0	0	0	0	0
F4	0	0	1	0	0	0	0
F5	1	0	0	0	0	0	0
F6	0	0	0	1	0	0	0
F7	1	0	0	0	0	0	0
F8	0	0	0	0	1	0	0
F9	1	0	0	0	0	0	0
F10	0	1	0	0	0	0	0
F11	1	0	0	0	0	0	0
F12	0	0	0	0	0	1	0
F13	1	0	0	0	0	0	0
F14	0	0	0	0	0	0	1

Выводы по лабораторной работе.

1. Вероятность безотказной работы системы зависит от времени.

2. Вероятность безотказной работы резервированных систем убывает с меньшей скоростью по сравнению с нерезервированными системами. Причем наиболее эффективно поэлементное резервирование методом замещения при условии абсолютной надежности переключателя.

3. Повысить вероятность безотказной работы системы можно с помощью резервирования ее элементов.

4. С помощью минимального построенного набора проверяющих тестов можно обнаружить одиночные неисправности, но всегда их можно различить.