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


         

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

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

Краткий обзор технологии UniTesK
Архитектура тестовой системы UniTesK
Инструмент разработки тестов CTesK
Особенности моделей аппаратного обеспечения
Особенности моделей аппаратного обеспечения - 2
Модели аппаратного обеспечения и технология UniTesK
Модели аппаратного обеспечения и технология UniTesK - 2
Модели аппаратного обеспечения и технология UniTesK - 3
Модели аппаратного обеспечения и технология UniTesK - 4
Пример счетчика

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

Тестирование SystemC-моделей
Архитектура тестовой системы
Разработка теста
Разработка C-медиатора
Разработка медиатора
Разработка модуля запуска тестовой системы
Возможность автоматизации шагов разработки
Заключение
Литература
Литература - 2

Содержание