Перед анализом созданного кода с помощью Polyspace ® в приложении MATLAB Coder App можно изменить некоторые параметры по умолчанию. В этом разделе показано, как настроить параметры и сохранить эту конфигурацию.
Начало анализа Polyspace в приложении MATLAB Coder App см. в разделе Запуск Polyspace для кода C/C + +, созданного из кода MATLAB.
Анализ по умолчанию запускает программу проверки кода на основе конфигурации проекта по умолчанию. Результаты сохраняются в папке result_ в текущей рабочей папке.project_name
В самом приложении MATLAB Coder App можно изменить следующие параметры:
Режим продукта: Выберите средство проверки кода или средство поиска ошибок.
Тип результатов: Проверка нарушений правил MISRA C ®: 2004 (MISRA AC AGC) или MISRA C:2012, в дополнение или вместо шашек по умолчанию.
Папка вывода: Выберите имя папки вывода. Чтобы сохранить результаты каждого прогона в новой папке, в разделе Дополнительные параметры выберите Сделать имя выходной папки уникальным путем добавления суффикса.
Проверить параметры создания кода: Выберите, чтобы увидеть предупреждения или ошибки, если при создании кода используются параметры, которые могут привести к неточности анализа проверки кода.
Например, если параметр создания кода Use memset to initialize floats and doubles to 0.0 отключен, средство проверки кода может отображать нечеткие проверки оранжевого цвета из-за аппроксимаций. См. раздел Проверка оранжевого цвета в средстве проверки кода (средство проверки кода в пространстве).
Чтобы просмотреть другие параметры по умолчанию или обновить их, в разделе Дополнительные параметры нажмите кнопку Настроить. Параметры отображаются на панели Конфигурация (Configuration).
Дополнительные сведения о параметрах см. в разделах Параметры анализа поиска ошибок или Параметры анализа проверки кода (средство проверки кода Polyspace).
Если изменить некоторые параметры по умолчанию на панели Конфигурация (Configuration), обновленная конфигурация будет сохранена как .psprj в папке результатов. С помощью этого файла можно повторно использовать конфигурацию в нескольких проектах кодера MATLAB.
Чтобы повторно использовать предыдущую конфигурацию в текущем проекте, открытом в приложении MATLAB Coder App, в разделе Дополнительные параметры выберите Повторно использовать существующую конфигурацию. Для файла конфигурации шаблона укажите .psprj файл, в котором хранится предыдущая конфигурация.
Параметр Тип результатов в приложении Кодер MATLAB по-прежнему показывает на основе конфигурации Polyspace, но используется та, которую вы предоставили.
В командной строке MATLAB ® создается объект options с помощью pslinkoptions функция. Параметры анализа можно изменить с помощью свойств этого объекта, а затем выполнить анализ с помощью pslinkrun функция.
opts = pslinkoptions('ec');
...
pslinkrun('-codegenfolder', codegenFolder, opts);
Можно связать дополнительные опции анализа, установленные в .psprj с объектом options. Использовать свойства EnablePrjConfigFile и PrjConfigFile.
opts.EnablePrjConfigFile = true; opts.PrjConfigFile = 'C:\Polyspace\config.psprj';