Начало работы

Интегрируйте Polyspace с MATLAB и Simulink

Запустите шаг постустановки, чтобы соединить ваш Polyspace^® и MATLAB^® (Simulink) установки.

Запустите анализ Polyspace кода, сгенерированного с Embedded Coder

Контрольный код, сгенерированный из моделей Simulink для ошибок, ошибок времени выполнения или кодирующий нарушения правила.

Запустите анализ Polyspace кода, сгенерированного с TargetLink

Контрольный код, сгенерированный из моделей Simulink для ошибок, ошибок времени выполнения или кодирующий нарушения правила.

Примеры

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

Пример, показывающий анализ Polyspace сгенерированного кода из Simulink.

Зафиксируйте проблемы при создании моделей, найденные как ошибки в сгенерированном коде

Проследите от кода до модели и найдите проблемы проекта.

Анализируйте код S-функции

Пример, показывающий анализ Polyspace кода S-функции из Simulink.

Усовершенствованная настройка

Рекомендуемые образцовые параметры конфигурации для анализа Polyspace

Для лучших результатов Polyspace, установленных рекомендуемые параметры прежде, чем сгенерировать код.

Сконфигурируйте усовершенствованные опции Polyspace в Simulink

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

Как Сгенерированный код Анализируется

Как анализ Polyspace работ сгенерированного кода

Polyspace извлекает имена функций от сгенерированного кода, чтобы создать функцию main для анализа.

Опции Polyspace по умолчанию для кода, сгенерированного с Embedded Coder

Некоторые опции Polyspace, такие как макроопределения и пути, чтобы включать папки установлены по умолчанию.

• Внешние ограничения на анализ Polyspace сгенерированного кода

Опции Polyspace по умолчанию для кода, сгенерированного с TargetLink

Некоторые опции Polyspace, такие как макроопределения и пути, чтобы включать папки установлены по умолчанию.