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