Прежде, чем анализировать сгенерированный код с 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.
Для получения дополнительной информации об опциях см. Аналитические Опции Средства поиска Ошибки (Polyspace Bug Finder) или Аналитические Опции Программы автоматического доказательства Кода.
Если вы изменяете некоторые опции по умолчанию в панели 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';