Анализируйте и моделируйте модели, подсистемы или атомарные субдиаграммы в модели. Изолируйте подсистему или модель-ссылку для проверки путем извлечения ее в модель тестовой обвязки. Отслеживайте сигналы временной области в вашей модели во время симуляции в соответствии со спецификациями, которые вы присваиваете блокам. Создайте верификации сигнала и выборочно примените их на основе входной группы симуляции. Сгенерируйте и упакуйте файлы опций для анализа кода, сгенерированного 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 |
Стратегии для проверки функциональных модулей вашей модели, в изоляции или в контексте большей системы.
Создайте тесты симуляции при помощи Verification Manager
Библиотечные блоки Верификация модели оценивают сигналы временной области в вашей модели в соответствии со спецификациями, которые вы присваиваете блокам.
Запустите анализ Polyspace на сгенерированном коде при помощи файлов пакетных опций
Сгенерируйте файлы опций Polyspace из модели Simulink и используйте эти файлы опций для анализа сгенерированного кода при помощи Polyspace.
Анализируйте код, сгенерированный как автономный код в распределенном рабочем процессе
Руководство, показывающий анализ Polyspace автономного сгенерированного кода при помощи файлов упакованных опций в распределенном рабочем процессе.