В R2019b панель инструментов с контекстными кнопками заменяет меню и панели инструментов в Simulink® Редактор. Панель инструментов Simulink включает контекстные вкладки, которые появляются только тогда, когда они вам нужны.
Задачи генерации и верификации кода появляются на отдельных вкладках на панели инструментов Simulink.
Чтобы сгенерировать код, откройте вкладку C Code. Для доступа к этой вкладке на вкладке Apps выберите Embedded Coder.
Чтобы проанализировать сгенерированный код, откройте вкладку Polyspace. Для доступа к этой вкладке на вкладке Apps выберите Polyspace Code Verifier.
После генерации кода на вкладке Polyspace используйте следующие шаги для выполнения верификации кода:
Выберите продукт для запуска:
Для образца выберите Bug Finder.
Задайте опции анализа кода:
Опционально настройте опции анализа кода. Чтобы сконфигурировать основные опции, связанные с моделью, выберите Settings > Polyspace Settings. Чтобы сконфигурировать дополнительные опции, связанные с сгенерированным кодом, выберите Settings > Project Settings.
Укажите, какой код анализировать:
Выберите, анализировать ли код, сгенерированный для автономного использования (обычно в
folder), код, сгенерированный для ссылки в другом контексте (обычно в modelname
_ert_rtwslprj
folder) или пользовательский код, вызываемый из блоков C Caller или Stateflow® чарты.
Запуск анализа:
Чтобы начать анализ, выберите Run Analysis. Анализ выполняется на выбранном элементе модели при условии, что код был сгенерирован ранее из того же элемента. Выбранный элемент появится в поле Analyze Code from. Чтобы выбрать целую модель, щелкните в любом месте холста вне элемента модели.
Все элементы меню, доступные ранее в подменю Code > Polyspace теперь отображаются на вкладке Polyspace.
Задача | Перед R2019b в Code > Polyspace меню | R2019b на Polyspace вкладке |
---|---|---|
Укажите анализ Bug Finder. | Выберите Options. Задайте Bug Finder для параметр конфигурации <reservedrangesplaceholder0>. | В группе Mode выберите Bug Finder. |
Запустите анализ на коде, сгенерированном из модели как автономный код. Как правило, анализ запускается на сгенерированном коде в | Выберите Verify Code Generated for > Model. | Щелкните в любом месте холста вне элемента модели. На панели инструментов в Analyze Code from поле отображается имя модели. Под полем выберите Code Generated as Top Model. Затем выберите Run Analysis. |
Запустите анализ на коде, сгенерированном из модели для ссылки в других моделях Как правило, анализ запускается на сгенерированном коде в | Выберите Verify Code Generated for > Referenced Model. | Щелкните в любом месте холста вне элемента модели. На панели инструментов в Analyze Code from поле отображается имя модели. Под полем выберите Code Generated as Model Reference. Затем выберите Run Analysis. |
Сконфигурируйте основные опции анализа, связанные с моделью. | Выберите Options. | Выберите Settings > Polyspace Settings. |
Сконфигурируйте расширенные опции анализа, связанные с сгенерированным кодом. | Выберите Options. Нажмите кнопку Configure рядом с параметр конфигурации <reservedrangesplaceholder0>. | Выберите Settings > Project Settings. |
Отсоедините Polyspace® опции из строения модели для совместного использования с другими, у которых нет Polyspace. | Выберите Remove Options from Current Configuration. | Выберите Settings > Remove Polyspace Configuration from Model. |
Откройте результаты последнего анализа Polyspace на модели. | Выберите Open Results > For Generated Code или Open Results > For Generated Model Referenced Code. | Убедитесь, что в поле Analyze Code from указано имя модели (в противном случае выберите любое место на холсте вне элемента модели). Под этим полем выберите один из Code Generated as Top Model или Code Generated as Model Reference. Затем выберите Analysis Results. |
Откройте удаленный монитор заданий (если вы разгружаете анализ на сервер). | Выберите Open Job Monitor. Для удаленного анализа необходимо сначала настроить связь с сервером с помощью настроек Polyspace. Для отправки анализа Polyspace с рабочих столов на удаленный сервер см. раздел Установка продуктов. | В группе Review Results выберите Remote Job Monitor. Для удаленного анализа необходимо сначала настроить связь с сервером с помощью настроек Polyspace. Для отправки анализа Polyspace с рабочих столов на удаленный сервер см. раздел Установка продуктов. |
Откройте веб-интерфейс Polyspace Metrics или Polyspace Access, если вы используете один из них для размещения результатов Polyspace. | Выберите Open Metrics. Для открытия веб-интерфейса необходимо сначала указать имя хоста и номер порта, используемые для веб-сервера в настройках Polyspace. | В группе Review Results выберите Code Quality Metrics. Для открытия веб-интерфейса необходимо сначала указать имя хоста и номер порта, используемые для веб-сервера в настройках Polyspace. |