Разработка и исследование методов синтеза тестов для дискретных устройств на основе модели альтернативных графов

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
ГЛАВА I. ИССЛЕДОВАНИЕ МЕТОДОВ.СИНТЕЗА.ТЕСТОВ ДЛЯ . . ЦИФРОВЫХ СХЕМ.
1.1. Основные понятия
1.2. Критический обзор существующих методов синтеза тестов Выводы .
ГЛАВА 2. ПРЕДСТАВЛЕНИЕ ОБЪЕКТА ДИАГНОСТИРОВАНИЯ
АЛЬТЕРНАТИВНЫМИ ГРАФАМИ.
2.1. Понятие альтернативного графа
2.2. Синтез функциональных АГ методом разложения булевых функций
2.3. Структурный подход к синтезу АГ
2.4. Основные свойства модели АГ
2.4.1. Структурные свойства АГ
2.4.2. Эквивалентные преобразования АГ
2.4.3. Инвертирование АГ
2.5. Переход от модели САГ к модели ФАГ.
2.6. Модель АГ для последовательностных схем
2.6.1. Представление временного параметра в АГ.
2.6.2. Модель ЦУ с элементами памяти
2.6.3. Модель ЦУ с обратными связями .
ГЛАВА 3. СИНТЕЗ ТЕСТОВ ЦУ НА МОДЕЛИ АЛЬТЕРНАТИВНЫХ ГРАФОВ.
3.1. Основы синтеза тестов на модели САГ .
3.2. Активизация на ЦУ путей с различной мерностью .
3.3. Синтез тестов на системе САГ.
3.4. Анализ компенсации неисправностей на АГ
3.5. Синтез тестов для последовательностных схем .
3.6. Выявление состязаний на АГ
Выводы .
ГЛАВА 4. СИНТЕЗ ТЕСТОВ МОДУЛЬНЫМ ПОДХОДОМ.
4.1. Вопросы синтеза тестов модульный подходом
4.2. Трансляция выходных реакций многовыходного модуля
на ТФАГ.
4.3. Синтез локальных тестов модуля при переходе от САГ
4.4. Групповая активизация множества функционально зависимых выходов .
Выводы.
ГЛАВА 5. РЕАЛИЗАЦИЯ И ЭКСПЕРИМЕНТАЛЬНЫЕ ДАННЫЕИЗ
5.1. Машинное представление и обработка модели АГ .Ц
5.2. Внедрение и.экспериментальные данные .Д
Выводы
ЗАКЛШЕНИЕ.
ЛИТЕРАТУРА