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