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