Exponenta Banner
exponenta event banner

pslinkoptions Properties

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

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

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

Опции строения

расширить все

Правило кодирования и настройки строения для кода С заданы как:

  • 'PrjConfig' - Наследовать опции от строения проекта.

  • 'PrjConfigAndMisraAGC' - Наследовать опции от строения проекта и включить MISRA® Проверка правил AGC переменного тока.

  • 'PrjConfigAndMisra' - Наследовать опции от строения проекта и включить MISRA C®Проверка правил 2004 года.

  • 'PrjConfigAndMisraC2012' - Наследовать опции от строения проекта и включить проверку руководства по C:2012 MISRA.

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

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

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

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

Polyspace® режим, заданный как 'BugFinder', для анализа Bug Finder, или 'CodeProver', для верификации Code Prover.

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

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

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

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

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

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

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

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

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

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

Результаты

расширить все

Имя и расположение папки результатов заданы как имя локальной папки или путь к папке. В этой папке Polyspace запишет результаты анализа. Это имя папки может быть либо абсолютным путем, либо путем относительно текущей папки. Текстовое $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': Анализируйте все ссылочные модели с текущей моделью.

Для Embedded Coder® только

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

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

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

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

Только для Embedded Coder

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

Правило кодирования и настройки строения для кода С++ заданы как:

  • 'PrjConfig' - Наследовать опции от строения проекта и запустить полный анализ.

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

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

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

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

Только для Embedded Coder

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

Только TargetLink

расширить все

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

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

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

Только для TargetLink®

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

См. также

|

Документация Polyspace Code Prover

Поддержка