Анализируйте и симулируйте модели, на которые ссылаются, подсистемы или атомарные субдиаграммы в модели. Изолируйте подсистему или модель, на которую ссылаются, для тестирования путем извлечения его в модель тестовой обвязки. Контролируйте сигналы временной области в своей модели в процессе моделирования, согласно техническим требованиям, которые вы присваиваете блокам. Создайте верификации сигнала, и выборочно примените их на основе входной группы симуляции. Сгенерируйте и файлы опций пакета для анализа кода, сгенерированного из моделей 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.