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

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

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

Блоки

AssertionПроверяйте, является ли сигнал нулем
Check Discrete GradientПроверяйте, что абсолютное значение различия между последовательными выборками дискретного сигнала меньше заданного значения
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Создайте объект опций настроить настройку модели Simulink, сгенерированного кода или Блока s-function. Используйте объект задать параметры конфигурации для этих объектов Simulink в Polyspace, запущенном из командной строки MATLAB

Темы

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

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

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

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

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

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

Анализируйте код, сгенерированный как автономный код в распределенном рабочем процессе

Пример, показывающий анализ Polyspace автономного сгенерированного кода при помощи упакованных файлов опций в распределенном рабочем процессе.

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