Тестирование софта - статьи

Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения
Аннотация.
Введение
Краткий обзор технологии UniTesK
Архитектура тестовой системы UniTesK
Инструмент разработки тестов CTesK

Особенности моделей аппаратного обеспечения
Особенности моделей аппаратного обеспечения - 2
Модели аппаратного обеспечения и технология UniTesK
Пример счетчика


Тестирование Verilog-моделей
Архитектура тестовой системы

Взаимодействие компонентов
Разработка теста
Разработка модуля взаимодействия потоков
Разработка Verilog-окружения
Разработка VPI-модуля
Возможность автоматизации шагов разработки
Тестирование SystemC-моделей

Разработка C-медиатора
Разработка модуля запуска тестовой системы
Заключение
Литература
Содержание раздела

---