Exponenta Banner
exponenta event banner

Свойства pslinkoptions

Свойства для pslinkoptions объект

развернуть все на странице

Можно создать pslinkoptions для настройки анализа в командной строке. Используйте эти свойства, чтобы указать опции конфигурации, где и как хранить результаты, дополнительные файлы для включения и режимы диапазона данных.

Параметры конфигурации

развернуть все

Правило кодирования и параметры конфигурации для кода C указаны как:

  • 'PrjConfig' - наследование параметров из конфигурации проекта.

  • 'PrjConfigAndMisraAGC' - Наследование параметров из конфигурации проекта и включение проверки правил MISRA ® AC AGC.

  • 'PrjConfigAndMisra' - Наследование параметров из конфигурации проекта и включение проверки правил MISRA C ®: 2004.

  • 'PrjConfigAndMisraC2012' - Наследование параметров из конфигурации проекта и включение проверки рекомендаций MISRA C:2012.

  • 'MisraAGC' - Включить проверку правил MISRA AC AGC. Этот параметр запускает только компиляцию и проверку правил.

  • 'Misra' - Включить проверку правил C:2004 MISRA. Этот параметр запускает только компиляцию и проверку правил.

  • 'MisraC2012' - Включить проверку правил C:2012 MISRA. Этот параметр запускает только компиляцию и проверку рекомендаций.

Пример: opt.VerificationSettings = 'PrjConfigAndMisraC2012'

Режим Polyspace ® указан как'BugFinder', для анализа Bug Finder, или 'CodeProver', для проверки проверочного кода.

Пример: opt.VerificationMode = 'BugFinder';

Разрешает пользовательский файл конфигурации вместо конфигурации по умолчанию, указанной как true или false. Используйте PrjConfigFile для указания файла конфигурации.

Пример: opt.EnablePrjConfigFile = true;

Пользовательский файл конфигурации для использования вместо конфигурации по умолчанию, указанной полным путем к .psprj файл. Используйте EnablePrjConfigFile чтобы использовать этот файл конфигурации во время анализа.

Пример: opt.PrjConfigFile = 'C:\Polyspace\config.psprj';

Это свойство задает уровень проверки конфигурации, выполняемой перед началом анализа. Проверка конфигурации перед анализом определяется следующим образом:

  • 'Off' - Проверка только на наличие ошибок. Останавливается при обнаружении ошибок.

  • 'OnWarn' - Остановки для ошибок. Отображает сообщение с предупреждениями.

  • 'OnHalt' - Остановки для ошибок и предупреждений.

Пример: opt.CheckConfigBeforeAnalysis = 'OnHalt';

Результаты

развернуть все

Имя папки результатов и расположение, указанное как имя локальной папки или путь к папке. В этой папке Полиспейс записывает результаты анализа. Это имя папки может быть абсолютным путем или путем относительно текущей папки. Текст $ModelName$ заменяется именем исходной модели.

Пример: opt.ResultDir = '\results_v1_$ModelName$';

Добавьте уникальный номер к имени папки результатов, указанному как true или false. Если true, к концу каждого нового результата добавляется уникальное число. Использование этого параметра позволяет избежать перезаписи предыдущих папок результатов.

Пример: opt.AddSuffixToResultDir = true;

Откройте среду Polyspace для контроля хода выполнения анализа, указанного как true или false. После этого можно просмотреть результаты.

Пример: opt.OpenProjectManager = true;

Добавьте результаты в текущий открытый проект Simulink, если таковые имеются, указанный как true или false. Этот параметр позволяет упорядочивать результаты Polyspace с остальными файлами проекта. Если проект Simulink не открыт, результаты не добавляются в проект Simulink.

Пример: opt.AddToSimulinkProject = true;

Дополнительные файлы

развернуть все

Разрешить анализ дополнительного списка файлов, указанного как true или false. Использовать с AdditionalFileList вариант.

Пример: opt.EnableAdditionalFileList = true;

Список дополнительных файлов, подлежащих анализу, указывается как массив ячеек файлов. Использовать с EnableAdditionalFileList добавление этих файлов в анализ.

Пример: opt.AdditionalFileList = {'sources\file1.c', 'sources\file2.c'};

Типы данных: cell

Диапазоны данных

развернуть все

Включить информацию о диапазоне проектирования, указанную как 'DesignMinMax', для использования диапазонов данных, определенных в блоках и рабочих пространствах, или 'FullRange', чтобы рассматривать входные данные как значения полного диапазона.

Пример: opt.InputRangeMode = 'FullRange';

Включить постоянные значения параметров, указанные как 'None', для использования значений постоянных параметров, указанных в коде, или 'DesignMinMax' для использования диапазона, определенного в блоках и рабочих пространствах.

Пример: opt.ParamRangeMode = 'DesignMinMax';

Включить выходные утверждения, указанные в 'None', не применять утверждения, или 'DesignMinMax' применение утверждений к выводам с использованием диапазона, определенного в блоках и рабочей области.

Пример: opt.ParamRangeMode = 'DesignMinMax';

Только встроенный кодер

развернуть все

Укажите глубину анализа моделей, на которые ссылается текущая модель.

  • 'Current Model Only'Анализ только модели верхнего уровня без анализа ссылочных моделей. Например, эту опцию можно использовать, если ссылочные модели являются библиотечными моделями.

  • '1', '2', или '3'Анализ ссылочных моделей до заданной глубины в ссылочной иерархии. Например, для анализа моделей, на которые ссылается модель верхнего уровня, укажите свойство ModelRefVerifDepth как '1'. Для анализа моделей, на которые ссылается первый уровень привязок, задайте это свойство как '2'.

  • 'All'Анализ всех ссылочных моделей с использованием текущей модели.

Только для встраиваемого кодера ®

Пример: opt.ModelRefVerifDepth = '3';

Укажите, нужно ли анализировать все ссылочные модели вместе или анализировать модели по отдельности.

  • falseАнализ модели верхнего уровня и ссылочных моделей. Например, эту опцию можно использовать для проверки проблем интеграции или масштабирования.

  • trueАнализ модели верхнего уровня и ссылочных моделей по отдельности.

Только для встроенного кодера

Пример: opt.ModelRefByModelRefVerif = true;

Правило кодирования и параметры конфигурации для кода C++ указаны как:

  • 'PrjConfig' - наследование параметров из конфигурации проекта и выполнение полного анализа.

  • 'PrjConfigAndMisraCxx' - Наследование параметров из конфигурации проекта, включение проверки правил MISRA C++ и выполнение полного анализа.

  • 'PrjConfigAndJSF' - наследование параметров из конфигурации проекта, включение проверки правил JSF ® и выполнение полного анализа .

  • 'MisraCxx' - Включите проверку правил MISRA C++ и запустите только этап компиляции.

  • 'JSF' - Включить проверку правил JSF и запустить только этап компиляции.

Только для встроенного кодера

Пример: opt.CxxVerificationSettings = 'MisraCxx';

Только TargetLink

развернуть все

Использование кода таблицы подстановки, указанное как true или false.

  • true - во время анализа используйте код таблицы подстановки.

  • false - код таблицы поиска заглушек.

Только для TargetLink ®

Пример: opts.AutoStubLUT = true;

См. также

|

Документация по программе проверки кода Polyspace

Поддержка