Прежде, чем анализировать сгенерированный код в Simulink®, можно изменить некоторые опции по умолчанию. Эта тема показывает, как сконфигурировать опции и сохранить эту настройку.
Для начала работы с анализом Polyspace® в Simulink смотрите Анализ Polyspace Выполнения Кода, Сгенерированного с Embedded Coder.
Установите основные опции
Обычно используемые опции появляются в Параметрах конфигурации Simulink. Выберите Code> Polyspace> Options.
Установите расширенные настройки
Выберите Code> Polyspace> Options. Из окна Configuration Parameters можно получить доступ к более широкому набору опций для конфигурирования анализа. Нажмите кнопку Configure около Project configuration.
Например, вы можете:
Запустите анализ кода на удаленном кластере. Используйте опцию Run Bug Finder or Code Prover analysis on a remote cluster.
Если вы используете эту опцию после запуска анализа, можно следовать за прогрессом анализа удаленного кластера через Окно монитора Задания. Выберите Code> Polyspace> Open Job Monitor.
Тупиковые определенные функции для анализа и затем ограничивают функциональный вывод. Используйте опции Functions to stub (-functions-to-stub) и Constraint setup (-data-range-specifications).
Для полного списка опций, чтобы установить, см. Аналитические Опции.
Если основная опция в окне Configuration Parameters непосредственно конфликтует с расширенной настройкой в окне Polyspace, первый преобладает. Например, в этой ситуации, Polyspace проверяет на MISRA C®: 2 012 правил:
Настройки от (C): Вы выбираете эту основную опцию Project configuration and MISRA C 2012 checking for generated code.
Check MISRA C:2012 (-misra3): Вы отключаете эту расширенную настройку.
По умолчанию расширенные настройки сохранены в файле проекта (modelname_config.psprjpslink_config папки результатов. Можно снова использовать опции, сопоставленные с этим проектом.
Можно совместно использовать основные или расширенные настройки через многоуровневые модели.
Основные опции: можно совместно использовать и снова использовать набор опций в окне Configuration Parameters. Смотрите Долю Настройка для Многоуровневых моделей (Simulink).
Расширенные настройки: расширенные настройки сохранены в отдельном проекте Polyspace, сопоставленном с вашим анализом. Совместно используйте этот проект через многоуровневые модели.
Следующие разделы показывают, как снова использовать расширенные настройки. Можно задать расширенные настройки только однажды. Можно снова использовать эти расширенные настройки через многоуровневые модели и установить только основные опции индивидуально в каждой модели.
Установите опции из модели
Установите расширенные настройки по мере необходимости. Чтобы видеть, где связанный файл проекта хранится или изменяет название файла на панели инструментов окна Polyspace, кликают
по значку.
Опции повторного использования в другой модели
Чтобы снова использовать расширенные настройки в другой модели, откройте окно Configuration Parameters из модели. Выберите Code> Polyspace> Options.
Выберите Use custom project file. Обеспечьте путь к файлу проекта, ранее созданному (дополнительный .psprj).
Для Settings from выберите Project configuration так, чтобы настройки в вашем проекте использовались.
Если вы хотите проверять на дополнительные проблемы, например, MISRA C: 2 012 нарушений, выберите Project configuration and MISRA C 2012 checking for generated code.
Если при запуске анализ из командной строки, можно установить эти опции с функцией pslinkoptions. См. также pslinkoptions Свойства.
