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

Можно анализировать код, сгенерированный из моделей Simulink® с TargetLink®.

У вас есть меньше возможностей кода, сгенерированного с TargetLink по сравнению с кодом, сгенерированным с Embedded Coder®. Например, вы не можете добавить аннотации в свои блоки, которые переносят на сгенерированный код и выравнивают по ширине известные проблемы.

Сконфигурируйте и запущенный анализ

Сконфигурируйте анализ кода

Выберите Code> Polyspace> Options. Измените значения по умолчанию этих опций в случае необходимости.

Для полного списка опций, чтобы установить, смотрите Анализ Polyspace в Simulink.

Анализируйте код

Чтобы анализировать код, выберите Code> Polyspace > Verify Code Generated for> Selected Target Link Subsystem. Вы не можете анализировать код, сгенерированный из целой модели.

Можно следовать за прогрессом анализа в командном окне MATLAB®.

Результаты открываются автоматически, если явным образом не отключено. По умолчанию результаты сохранены в папке results_ModelName в текущей папке. Каждое новое выполнение перезаписывает предыдущие результаты. Можно изменить эти поведения или сохранить результаты в проект Simulink с помощью соответствующих параметров конфигурации.

Рассмотрите результаты анализа

Рассмотрите результат в коде

Результаты появляются на панели Results List. Кликните по каждому результату видеть исходный код и детали о панели Result Details.

Перейдите от кода до модели

Ссылки в комментариях к коду показывают блоки, которые генерируют последующие строки кода. Чтобы видеть блоки в модели, кликните по именам блока.

Устраните проблему

Займитесь расследованиями, связаны ли проблемы в вашем коде с недостатками дизайна в модели.

Например, вы можете должны быть ограничить область значений сигнала от блоков Inport. Смотрите Задают Области значений для Сигналов (Simulink).