Программное обеспечение Simulink® Design Verifier™ обеспечивает несколько функций, которые упрощают задачи, сопоставленные с верификацией компонента.
Функция | Задача |
---|---|
sldvlogsignals | Моделируйте модель Simulink и регистрируйте входные сигналы к блоку Model в модели. Если вы изменяете тесты в модели тестовой обвязки Signal Builder, используйте этот подход для журналирования входных сигналов к самой модели тестовой обвязки. |
sldvmakeharness | Создайте модель тестовой обвязки для компонента, с помощью регистрируемых входных сигналов, если задано, или с помощью сигналов по умолчанию. Для получения дополнительной информации о моделях тестовой обвязки, смотрите Модели тестовой обвязки Simulink Design Verifier. |
sldvmergeharness | Объедините тесты от нескольких моделей тестовой обвязки в одну модель тестовой обвязки. |
sldvextract | Извлеките атомарную подсистему или атомарный подграфик в новую модель. |
sldvruntest | Моделируйте модель, выполнив заданные тесты, чтобы записать значения выходного порта и покрытие модели. |
sldvruncgvtest | Вызовите Code Generation Verification (CGV) API и выполните заданные тесты на сгенерированном коде для модели. ПримечаниеЧтобы выполнить модель в различных режимах выполнения, используйте API CGV, чтобы проверить числовую эквивалентность результатов. Для получения дополнительной информации о API CGV, смотрите Программируемую Верификацию Генерации кода (Embedded Coder). |
Функции верификации компонента не поддерживают следующие функции Simulink:
Решатели переменного шага для sldvruntest
Интерфейсы компонента, которые содержат:
Комплексные сигналы
Сигналы переменного размера
Массив шин
Типы данных с фиксированной точкой многословные, больше, чем 128 битов