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


         

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


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

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

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

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