Прежде, чем анализировать сгенерированный код с Polyspace® в Приложении MATLAB Coder, можно изменить некоторые опции по умолчанию. Эта тема показывает, как сконфигурировать опции и сохранить эту настройку.
Для начала работы с анализом Polyspace в Приложении MATLAB Coder смотрите Polyspace Запуска на Коде C/C++, Сгенерированном из кода MATLAB.
Анализ по умолчанию запускает Программу автоматического доказательства Кода на основе настройки проекта по умолчанию. Результаты хранятся в папке result_
в текущей рабочей папке.project_name
Можно изменить эти опции в самом Приложении MATLAB Coder:
Product mode: выберите Code Prover или Bug Finder.
Results type: Проверяйте на MISRA C®:2004 (AGC AC MISRA) или нарушения правила MISRA C:2012, в дополнение к или вместо средств проверки по умолчанию.
'OutputFolder' : Выберите выходное имя папки. Чтобы сохранить результаты каждого запуска в новой папке, под Advanced Settings, выбирают Make output folder name unique by adding a suffix.
Check code generation options: Примите решение видеть предупреждения или ошибки, если генерация кода использует опции, которые могут привести к неточному анализу Программы автоматического доказательства Кода.
Например, если настройка генерации кода, Use memset to initialize floats and doubles to 0.0 отключен, Программа автоматического доказательства Кода, может показать неточные оранжевые проверки из-за приближений. Смотрите Оранжевые Регистрации Программы автоматического доказательства Кода.
Чтобы видеть другие опции по умолчанию или обновить их, под Advanced Settings, нажимают кнопку Configure. Вы видите опции на панели Configuration.
Для получения дополнительной информации об опциях см. Аналитические Опции Средства поиска Ошибки или Аналитические Опции Программы автоматического доказательства Кода.
Если вы изменяете некоторые опции по умолчанию в панели Configuration, ваша обновленная настройка сохранена как .psprj
файл в папке результатов. Используя этот файл, можно снова использовать настройку через несколько проектов MATLAB Coder.
Чтобы снова использовать предыдущую настройку в текущем проекте, открытом в Приложении MATLAB Coder, под Advanced Settings, выбирают Reuse existing configuration. Для Template configuration file обеспечьте .psprj
файл, который хранит предыдущую настройку.
Опция Results type в приложении MATLAB Coder все еще показывает Based on Polyspace configuration, но используемая настройка является той, которую вы обеспечили.
В командной строке MATLAB® вы создаете объект опций с pslinkoptions
функция. Вы изменяете аналитические опции при помощи свойств этого объекта и затем запускаете анализ с pslinkrun
функция.
opts = pslinkoptions('ec'); ... pslinkrun('-codegenfolder', codegenFolder, opts);
Можно сопоставить усовершенствованный аналитический набор опций в .psprj
файл с объектом опций. Используйте свойства EnablePrjConfigFile
и PrjConfigFile
.
opts.EnablePrjConfigFile = true; opts.PrjConfigFile = 'C:\Polyspace\config.psprj';