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

Терраса сайт на сайте www.terrasadom.ru. | Купить засидку для охоты на сайте www.phantom-ac.ru. | Программа для создания рекламного видеоролика. |

Глава


Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения
Аннотация.
Введение
Введение - часть 2
Краткий обзор технологии UniTesK
Архитектура тестовой системы UniTesK
Инструмент разработки тестов CTesK
Особенности моделей аппаратного обеспечения
Особенности моделей аппаратного обеспечения - часть 2
Модели аппаратного обеспечения и технология UniTesK
Модели аппаратного обеспечения и технология UniTesK - часть 2
Модели аппаратного обеспечения и технология UniTesK - часть 3
Модели аппаратного обеспечения и технология UniTesK - часть 4
Пример счетчика
Пример счетчика - часть 2
Тестирование Verilog-моделей
Архитектура тестовой системы
Взаимодействие компонентов
Разработка теста
Разработка модуля взаимодействия потоков
Разработка медиатора
Разработка Verilog-окружения
Разработка VPI-модуля
Возможность автоматизации шагов разработки
Тестирование SystemC-моделей
Архитектура тестовой системы
Разработка теста
Разработка C-медиатора
Разработка медиатора
Разработка модуля запуска тестовой системы
Возможность автоматизации шагов разработки
Заключение
Литература
Литература - часть 2



Начало