В R2019b панель инструментов с контекстными кнопками заменяет меню и панели инструментов в редакторе Simulink ®. Панель инструментов Simulink включает контекстные вкладки, которые появляются только тогда, когда они необходимы.
Задачи создания и проверки кода отображаются на отдельных вкладках панели инструментов Simulink.
Чтобы создать код, откройте вкладку C Code. Чтобы открыть эту вкладку, на вкладке Приложения выберите Встроенный кодер.
Для анализа созданного кода откройте вкладку «Полиспейс». Чтобы получить доступ к этой вкладке, на вкладке «Приложения» выберите «Проверка кода Polyspace».
После создания кода на вкладке Polyspace выполните следующие действия для проверки кода:
Выберите продукт для запуска:
Например, выберите Поиск ошибок.
Укажите параметры анализа кода:
При необходимости настройте параметры анализа кода. Для настройки основных опций, связанных с моделью, выберите «Параметры» > «Параметры полиспейса». Для настройки дополнительных параметров, связанных с созданным кодом, выберите «Параметры» > «Параметры проекта».
Укажите код для анализа:
Выберите, следует ли анализировать код, созданный для автономного использования (как правило, в modelname_ert_rtwslprj папка) или пользовательский код, вызываемый из блоков Caller или диаграмм Stateflow ®.
Выполнить анализ:
Чтобы начать анализ, выберите Выполнить анализ (Run Analysis). Анализ выполняется на выбранном элементе модели при условии, что код был сгенерирован ранее из этого же элемента. Выбранный элемент появится в поле Анализ кода из. Чтобы выбрать всю модель, щелкните в любом месте холста вне элемента модели.
Все пункты меню, доступные ранее в подменю «Код» > «Полиспейс», теперь отображаются на вкладке «Полиспейс».
| Задача | Перед R2019b в меню Code > Polyspace | R2019b на вкладке «Полиспейс» |
|---|---|---|
| Укажите анализ поиска ошибок. | Выберите Опции. Укажите средство поиска ошибок для параметра конфигурации Режим продукта. | В группе Режим выберите Поиск ошибок. |
Выполните анализ кода, созданного на основе модели, в качестве автономного кода. Как правило, анализ выполняется по сгенерированному коду в | Выберите Проверить созданный код для > Модель. | Щелкните в любом месте холста вне элемента модели. На панели инструментов в поле «Анализ кода из» отображается имя модели. Под полем выберите Код, созданный как верхняя модель. Затем выберите Выполнить анализ. |
Выполнить анализ кода, созданного из модели, для ссылки в других моделях Как правило, анализ выполняется по сгенерированному коду в | Выберите Проверить созданный код для > Ссылочная модель. | Щелкните в любом месте холста вне элемента модели. На панели инструментов в поле «Анализ кода из» отображается имя модели. Под полем выберите Код, созданный как ссылка на модель. Затем выберите Выполнить анализ. |
| Настройте основные опции анализа, связанные с моделью. | Выберите Опции. | Выберите «Параметры» > «Параметры полиспейса». |
| Настройте дополнительные параметры анализа, связанные с созданным кодом. | Выберите Опции. Нажмите кнопку Configure рядом с параметром конфигурации Project Configuration. | Выберите «Параметры» > «Параметры проекта». |
| Отсоедините опции Polyspace ® от конфигурации модели для совместного использования с другими пользователями, у которых нет Polyspace. | Выберите Удалить опции из текущей конфигурации. | Выберите «Настройки» > «Удалить конфигурацию полиспейса из модели». |
| Откройте результаты последнего анализа Polyspace в модели. | Выберите «Открытые результаты» > «Для сгенерированного кода» или «Открытые результаты» > «Для сгенерированного ссылочного кода модели». | Убедитесь, что в поле «Анализ кода из» указано имя модели (в противном случае выберите любое место на холсте вне элемента модели). Под этим полем выберите один из параметров «Код, сгенерированный как верхняя модель» или «Код, сгенерированный как ссылка на модель». Затем выберите Результаты анализа (Analysis Results). |
| Откройте удаленный монитор заданий (при выгрузке анализа на сервер). | Выберите «Открыть монитор заданий». Для удаленного анализа необходимо сначала настроить связь с сервером с помощью настроек Polyspace. См. раздел Установка продуктов для отправки анализа Polyspace с настольных компьютеров на удаленный сервер. | В группе Результаты проверки выберите Удаленный монитор заданий. Для удаленного анализа необходимо сначала настроить связь с сервером с помощью настроек Polyspace. См. раздел Установка продуктов для отправки анализа Polyspace с настольных компьютеров на удаленный сервер. |
| Откройте веб-интерфейс Polyspace Metrics или Polyspace Access, если один из них используется для размещения результатов Polyspace. | Выберите Открыть метрики (Open Metrics). Для открытия веб-интерфейса необходимо сначала указать имя хоста и номер порта, используемые для веб-сервера в настройках Polyspace. | В группе Результаты проверки (Review Results) выберите Показатели качества кода (Code Quality Metrics). Для открытия веб-интерфейса необходимо сначала указать имя хоста и номер порта, используемые для веб-сервера в настройках Polyspace. |