Анализ и моделирование ссылочных моделей, подсистем или атомных подчастей в модели. Изоляция подсистемы или ссылочной модели для тестирования путем ее извлечения в модель кабельных трасс. Мониторинг сигналов временной области в модели во время моделирования в соответствии со спецификациями, назначенными блокам. Создайте проверки сигналов и выборочно примените их на основе входной группы моделирования. Создание и упаковка файлов опций для анализа кода, созданного из моделей Simulink ® с помощью Polyspace. Упакованные файлы опций полезны, когда Полиспейс анализ созданного кода выполняется отдельно от Simulink. Например, в распределенном рабочем процессе анализ Polyspace может выполняться в среде, не имеющей Simulink. При использовании упакованных файлов опций сохраняется специфичный для модели контекст созданного кода.
| Утверждение | Проверьте, равен ли сигнал нулю |
| Проверка дискретного градиента | Проверить, что абсолютное значение разности между последовательными выборками дискретного сигнала меньше заданного |
| Проверка динамического зазора | Проверить наличие зазора возможно переменной ширины в диапазоне амплитуд сигнала |
| Проверить динамическую нижнюю границу | Проверьте, что один сигнал всегда меньше другого |
| Проверить динамический диапазон | Проверить, что сигнал попадает в диапазон амплитуд, изменяющихся от временного шага к временному шагу |
| Проверить динамическую верхнюю границу | Проверьте, что один сигнал всегда больше другого |
| Проверить разрешение ввода | Проверить заданное разрешение входного сигнала |
| Проверка статического зазора | Проверить наличие зазора в диапазоне амплитуд сигнала |
| Проверка статической нижней границы | Проверьте, что сигнал больше (или, при необходимости, равен) статической нижней границы |
| Проверить статический диапазон | Проверить попадание сигнала в фиксированный диапазон амплитуд |
| Проверка статической верхней границы | Проверьте, что сигнал меньше (или при необходимости равен) статической верхней границы |
polyspacePackNGo | Создание и упаковка файлов опций для выполнения анализа Polyspace для кода, созданного из модели Simulink |
pslinkoptions | Создайте объект опций для настройки конфигурации модели Simulink, сгенерированного кода или блока S-Function. Используйте объект, чтобы задать опции конфигурации для этих объектов Simulink в выполнении Polyspace из командной строки MATLAB |
Стратегии проверки функциональных единиц модели в изоляции или в контексте более крупной системы.
Создание тестов моделирования с помощью диспетчера верификации
Блоки библиотеки проверки модели Simulink оценивают сигналы временной области в модели в соответствии со спецификациями, назначенными блокам.
Выполнение анализа полиспейса для созданного кода с помощью пакетных файлов параметров
Создайте файлы опций Polyspace из модели Simulink и используйте эти файлы опций для анализа созданного кода с помощью Polyspace.
Анализ кода, созданного как автономный код в распределенном рабочем процессе
Учебное пособие, показывающее анализ Polyspace автономного созданного кода с использованием пакетных файлов опций в распределенном рабочем процессе.