СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1. АНАЛИЗ ПРОБЛЕМЫ ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ СИНХРОННЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ
1.1. Виды неисправностей логических схем
1.2. Существующие методы и алгоритмы тестирования последовательностных схем.
1.2.1. Функциональные подходы.
1.2.2. Эвристические методы.
1.2.3. Подходы, подразумевающие известное начальное состояние схемы.
1.2.4. Контролепригодный сканируемый дизайн схемы.
1.2.5. Методы высших уровней абстракции.
1.3. Сложность проблемы генерации тестов
Выводы и постановка задачи
ГЛАВА 2. РАЗРАБОТКА НЕПРЕРЫВНОГО ПОДХОДА К ТЕСТИРОВАНИЮ СИНХРОИЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ
2.1. Общая структура взаимодействия разработанных алгоритмов
2.2. Необходимые определения
2.3. Алгоритмы преобразования последовательностной схемы в итеративный логический массив.
2.4. Используемая в работе модель неисправностей
2.5. Подход к поиску тестовых последовательностей путем поиска максимума построенной непрерывной целевой функции.
2.6. Непрерывная целевая функция для задачи поиска тестовой
последовательности
2.7. Сложность целевой функции.
Выводы.
ГЛАВА 3. ИССЛЕДОВАНИЕ ЭФФЕКТИВНОСТИ МЕТОДОВ ЛОКАЛЬНОЙ ОПТИМИЗАЦИИ ПРИМЕНИТЕЛЬНО К ЗАДАЧАМ ПОИСКА ТЕСТОВ.
3.1. Объект и методы исследования
3.2. Исследование алгоритмов на примере схемы э
3.3. Исследование алгоритмов на примере схемы э4.
3.4. Исследование алгоритмов на примере схемы
ГЛАВА 4. МЕТОДЫ ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ ПОИСКА ТЕСТОВ
4.1. Вычисление количества предваряющих и замыкающих временных кадров.
4.2. Сортировка неисправностей в списке.
4.3. Заморозка схемы
4.4. Анализ нетестируемых неисправностей
4.5. Алгоритмы моделирования неисправностей.
4.5.1. Моделирование неисправностей на очувствленном пути
4.5.2. Полное моделирование неисправностей
4.5.3. Моделирование с доопределением значений
4.5.4. Адаптивное моделирование неисправностей
4.6. Пакетное тестирование
4.7. Адаптивное изменение величины начального шага
4.8. Фантомные мнимые первичные входы.
4.9. Контроль первого вектора
4 Исследование зависимости покрытия и быстродействия алгоритма от значения неопределенного сигнала на линии.
4 Сравнение алгоритма с существующими алгоритмами 6 Выводы.
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
СПИСОК СОКРАЩЕНИЙ
ПРИЛОЖЕНИЕ. ГРАММАТИКА ДЛЯ ФАЙЛОВ ОПИСАНИЯ СХЕМЫ И НЕИСПРАВНОСТЕЙ.
ВВЕДЕНИЕ
Актуальность
- Київ+380960830922