Стандарт DO-254 предусматривает четыре типа тестирования, все из которых основаны на требованиях к аппаратным средствам:
Функциональные испытания
Стендовые испытания системы
Проверки системы
Испытания самолета
Для кода HDL, разработанного на основе моделей, функциональные примеры тестирования аппаратных средств и ожидаемые результаты могут совпадать со случаями моделирования и ожидаемыми результатами. Тестовые примеры разработаны из документа о требованиях к оборудованию и не зависят от Simulink ®, HDL Coder™ и инструментов проектирования оборудования, используемых в проекте. Тестовые случаи и ожидаемые результаты также должны включать случаи надежности. Эти тестовые примеры можно выполнить с помощью функции FPGA in-the-loop (FIL) в сочетании с средой Simulink, используемой в качестве тестового жгута, или на отдельном тестовом жгуте аппаратного обеспечения.
Тесты на основе концептуального проекта и ожидаемые результаты основаны на моделях, которые представляют концептуальный проект оборудования. Для разработки этих тестовых примеров можно использовать Verifier™ Simulink Design. Simulink Design Verifier использует модель в качестве основного входа и может вводить данные покрытия. Покрытие модели можно использовать в качестве доказательства того, что тесты требований к аппаратным средствам охватывают концептуальный дизайн аппаратного обеспечения, в частности, для логических решений в моделях, а также для данных таблицы поиска и данных диапазона сигналов. Затем можно использовать Simulink Design Verifier для создания тестов для оставшейся концептуальной конструкции оборудования, которая не охвачена тестированием требований к оборудованию, например для производных требований. Для завершения тестирования можно также вставить ограничения сигнала и определенные пользователем цели тестирования в модели или в тестовые жгуты модели. Например, для проверки надежности используются цели тестирования на входах модели для вставки тестовых данных за пределы обычных диапазонов.
Функциональные тесты системы и тесты летательного аппарата обычно разрабатываются вручную на основе требований к аппаратным средствам высокого уровня. Эти тестовые примеры выполняются на конечной цели в среде, не зависящей от среды моделирования.