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