С помощью TargetLink ® можно анализировать код, созданный в моделях Simulink ®. В настоящее время поддерживаются версии TargetLink 4.2 и 4.3.
У вас меньше возможностей для кода, созданного с помощью TargetLink, по сравнению с кодом, созданным с помощью Embedded Coder ®. Например, нельзя добавлять аннотации к блокам, которые переносятся в созданный код и оправдывают известные проблемы.
Конфигурирование анализа кода
На вкладке «Приложения» выберите «Верификатор кода Polyspace». Затем на вкладке «Полиспейс»:
Выберите продукт для запуска: поиск ошибок или проверка кода.
Выберите Параметры. При необходимости измените значения этих параметров по умолчанию.
Настройки из (C): Включить проверку правил кодирования MISRA ® или JSF ® в дополнение к проверкам по умолчанию.
Папка вывода: Укажите выделенную папку для результатов. Анализ по умолчанию запускает программу проверки кода для созданного кода и сохраняет результаты в папке results_ в текущей рабочей папке.modelName
Включить дополнительный список файлов: Добавить C-файлы, которые не являются частью созданного кода.
Полный список параметров для установки см. в разделе Анализ полиспейса в Simulink.
Анализ кода
Для анализа сгенерированного кода:
Используется для анализа кода, созданного подсистемой TargetLink. Анализ кода, созданного из всей модели, невозможен.
В поле Анализ кода из отображается верхняя модель. Удалите содержимое этого поля и выберите подсистему TargetLink.
Выберите Параметры > Анализ кода TargetLink. Затем выберите Выполнить анализ.
За ходом анализа можно следить в окне команд MATLAB ®.
Результаты открываются автоматически, если явно не отключено. По умолчанию результаты сохраняются в папке results_ в текущей папке. Каждый новый прогон перезаписывает предыдущие результаты. Можно изменить эти варианты поведения или сохранить результаты в проекте Simulink с помощью соответствующих параметров конфигурации.ModelName
Примечание
Проверка модели блока 3 000 занимает около одного часа, или около 15 минут на 2 000 строк сгенерированного кода.
Просмотр результата в коде
Результаты появятся на панели Список результатов (Results List). Щелкните каждый результат, чтобы просмотреть исходный код и сведения на панели Сведения о результате.
Переход от кода к модели
Ссылки в комментариях кода показывают блоки, которые формируют последующие строки кода. Чтобы увидеть блоки в модели, щелкните их имена.
Устранить проблему
Выясните, связаны ли проблемы в коде с недостатками конструкции в модели.
Например, может потребоваться ограничить диапазон сигналов из блоков Inport. См. раздел Работа с диапазонами сигналов в блоках (Simulink). Если помеченная проблема известна или обоснована, аннотируйте эту информацию в соответствующих блоках. Чтобы аннотировать блок в редакторе Simulink, щелкните его правой кнопкой мыши и используйте контекстное меню.