Введение
1 Тестирование булевых функций относительно линейных слипаний переменных 16
1.1 Основные определения и обозначения 16
1.2 Проверяющий тест относительно множественных линейных слипаний переменных 18
1.3 Диагностические тесты относительно линейных слипаний переменных 26
1.4 Локальные k-кратные слипания переменных 33
2 Тестирование булевых функций относительно монотонных симметрических слипаний переменных 45
2.1 Основные определения и обозначения 45
2.2 Проверяющий тест относительно множественных монотонных симметрических слипаний переменных 46
2.3 Диагностический тест относительно монотонных симметрических слипаний переменных 60
2.4 Диагностический тест относительно дизъюнктивных слипаний переменных 61
3 Тестирование булевых функций относительно вытеснения переменных 64
3.1 Основные определения и обозначения 64
3.2 Проверяющий тест 65
3.3 Диагностический тест 72
Заключение 75
Литература
