Чтобы обнаружить ошибки и ошибки периода выполнения, запустите Polyspace® анализ после генерации кода от Simulink® модели при помощи TargetLink®. Запустите анализ из окна Simulink Editor. Manually, настраивающий проект Polyspace, не необходим. Если вы используете Embedded Coder® чтобы сгенерировать код, смотрите Анализ Polyspace Запуска Кода, Сгенерированного из Модели Simulink.
Сконфигурируйте анализ кода
На вкладке Apps выберите Polyspace Code Verifier. Затем на вкладке Polyspace:
Выберите продукт, чтобы запуститься: Bug Finder или Code Prover.
Выберите Settings. Измените значения по умолчанию этих опций в случае необходимости.
Настройки от (C): Позвольте проверять MISRA® или JSF® кодирование правил в дополнение к проверкам по умолчанию.
'OutputFolder' : Задайте специализированную папку для результатов. Анализ по умолчанию запускает Code Prover на сгенерированном коде и сохраняет результаты в папке results_ в текущей рабочей папке.modelName
Включите дополнительный список файлов: Добавьте файлы C, которые не являются частью сгенерированного кода.
Для полного списка опций, чтобы установить, смотрите Анализ Code Prover в Simulink.
Анализируйте код
Анализировать сгенерированный код:
Примите решение анализировать код, сгенерированный от Подсистемы TargetLink. Вы не можете анализировать код, сгенерированный из целой модели.
Поле Analyze Code from показывает топ-модели. Не прикрепите содержимое этого поля и затем выберите TargetLink Subsystem.
Выберите Settings> Analyze TargetLink Code. Затем выберите Run Analysis.
Можно следовать за прогрессом анализа в MATLAB® командное окно.
Результаты открываются автоматически, если явным образом не отключено. По умолчанию результаты сохраняются results_ModelName в папке
Примечание
Верификация 3 000 моделей блока занимает приблизительно один час, чтобы проверить, или приблизительно 15 минут на 2 000 линий сгенерированного кода.
Рассмотрите результат в коде
Результаты появляются на панели Results List. Кликните по каждому результату видеть исходный код и детали о панели Result Details.
Перейдите от кода до модели
Ссылки в комментариях к коду показывают блоки, которые генерируют последующие строки кода. Чтобы видеть блоки в модели, кликните по именам блока.
Устраните проблему
Займитесь расследованиями, связаны ли проблемы в вашем коде с недостатками дизайна в модели.
Например, вы можете должны быть ограничить область значений сигнала от Inport блоков. Смотрите работу с Диапазонами сигнала в Блоках (Simulink). Если отмеченная проблема известна или выравнивается по ширине, то аннотируйте ту информацию в соответствующих блоках. Чтобы аннотировать блок в Редакторе Simulink, щелкните правой кнопкой по блоку и используйте контекстное меню.
