В R2019b панель инструментов с контекстными кнопками заменяет меню и панели инструментов на Редакторе Simulink®. Панель инструментов Simulink включает контекстные вкладки, которые появляются только, когда вам нужны они.
Генерация кода и задачи верификации появляются в отдельных вкладках на панели инструментов Simulink.
Чтобы сгенерировать код, откройте вкладку C Code. Чтобы получить доступ к этой вкладке, на вкладке Apps, выбирают Embedded Coder.
Чтобы анализировать сгенерированный код, откройте вкладку Polyspace. Чтобы получить доступ к этой вкладке, на вкладке Apps, выбирают Polyspace Code Verifier.
После генерации кода, на вкладке Polyspace, используют эти шаги, чтобы выполнить верификацию кода:
Избранный продукт, чтобы запуститься:
Например, выберите Bug Finder.
Задайте опции анализа кода:
Опционально, сконфигурируйте опции анализа кода. Чтобы сконфигурировать основные опции, связанные с моделью, выберите Settings> Polyspace Settings. Чтобы сконфигурировать расширенные настройки, связанные со сгенерированным кодом, выберите Settings> Project Settings.
Задайте который код анализировать:
Выберите, анализировать ли код, сгенерированный для автономного использования (обычно, в modelname_ert_rtwslprj папка), или пользовательский код, названный от блоков Вызывающей стороны C или графиков Stateflow®.
Анализ запуска:
Чтобы запустить анализ, выберите Run Analysis. Анализ работает на выбранном элементе модели, если код был сгенерирован ранее от того же элемента. Выбранный элемент появляется в поле Analyze Code from. Чтобы выбрать целую модель, щелкните где угодно на холсте вне элемента модели.
Все пункты меню, доступные ранее в подменю Code> Polyspace теперь, появляются на вкладке Polyspace.
| Задача | Перед R2019b в меню Code> Polyspace | R2019b на вкладке Polyspace |
|---|---|---|
| Задайте анализ Bug Finder. | Выберите Options. Задайте Bug Finder для параметра конфигурации Product mode. | В группе 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 рядом с параметром конфигурации Project Configuration. | Выберите 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 или Polyspace доступ к веб-интерфейсу, если вы используете одного из них, чтобы разместить результаты Polyspace. | Выберите Open Metrics. Для открытия веб-интерфейса необходимо сначала задать имя узла и номер порта, используемый для веб-сервера в настройках Polyspace. | В группе Review Results выберите Code Quality Metrics. Для открытия веб-интерфейса необходимо сначала задать имя узла и номер порта, используемый для веб-сервера в настройках Polyspace. |
