Тестирование компонентов модели

Управляйте тестовыми данными компонента, запускайте тестовый набор в SIL или PIL симуляции, сконфигурируйте блоки Model Verification, сгенерируйте файл опций для анализа Polyspace®

Анализируйте и симулируйте модели, на которые ссылаются, подсистемы или атомарные субдиаграммы в модели. Изолируйте подсистему или модель, на которую ссылаются, для тестирования путем извлечения его в модель тестовой обвязки. Контролируйте сигналы временной области в своей модели в процессе моделирования, согласно техническим требованиям, которые вы присваиваете блокам. Создайте верификации сигнала, и выборочно примените их на основе входной группы симуляции. Сгенерируйте и файлы опций пакета для анализа кода, сгенерированного из моделей Simulink® при помощи Polyspace. Упакованные файлы опций полезны, когда анализ Polyspace сгенерированного кода выполняется отдельно от Simulink. Например, в распределенном рабочий процесс, анализ Polyspace может быть выполнен в среде, которая не имеет Simulink. При помощи упакованных файлов опций сохраняется определенный контекст модели сгенерированного кода.

Блоки

AssertionПроверяйте, является ли сигнал нулем
Check Dynamic GapПроверяйте, что разрыв возможно различной ширины происходит в области значений амплитуд сигнала
Check Dynamic Lower BoundПроверяйте, что один сигнал всегда меньше другого сигнала
Check Dynamic RangeПроверяйте, что сигнал падает в области значений амплитуд, которая варьируется от временного шага до временного шага
Check Dynamic Upper BoundПроверяйте, что один сигнал всегда больше другого сигнала
Check Input ResolutionПроверяйте, что входной сигнал задал разрешение
Check Static GapПроверяйте, что разрыв существует в области значений сигнала амплитуд
Check Static Lower BoundПроверяйте, что сигнал больше (или опционально равняйтесь), статическая нижняя граница
Check Static RangeПроверяйте, что сигнал падает в фиксированной области значений амплитуд
Check Static Upper BoundПроверяйте, что сигнал меньше (или опционально равняйтесь), статическая верхняя граница

Функции

polyspacePackNGoСгенерируйте и файлы опций пакета, чтобы запустить анализ Polyspace кода, сгенерированного из модели Simulink
pslinkoptionsСоздайте объект опций настроить запуски Polyspace из командной строки MATLAB

Темы

Верификация компонента

Стратегии проверки функциональных блоков вашей модели, в изоляции или в контексте большей системы.

Создайте тесты симуляции при помощи менеджера по верификации

Библиотечные блоки Model Verification Simulink оценивают сигналы временной области в вашей модели, согласно техническим требованиям, которые вы присваиваете блокам.

Запустите анализ Polyspace сгенерированного кода при помощи упакованных файлов опций

Сгенерируйте файлы опций Polyspace из модели Simulink и используйте эти файлы опций, чтобы анализировать сгенерированный код при помощи Polyspace.

Для просмотра документации необходимо авторизоваться на сайте