Аннотация.
Введение
Введение - часть 2
Mодели аппаратного обеспечения
Особенности моделей аппаратного обеспечения
Особенности моделей аппаратного обеспечения - часть 2
Типичная организация модулей аппаратного обеспечения
Типичная организация модулей аппаратного обеспечения - часть 2
Спецификация и проверка требований
Требования к модулям аппаратного обеспечения
Спецификация требований
Проверка требований
Технология тестирования UniTESK
Архитектура тестовой системы UniTESK
Инструмент разработки тестов CTESK
Использование CTESK для спецификации аппаратуры
Использование CTESK для спецификации аппаратуры - часть 2
Сравнение с существующими подходами
Сравнение с существующими подходами - часть 2
Опыт практического применения подхода
Структура и функциональность модуля
Разработка спецификаций модуля
Заключение
Литература
Литература - часть 2