pslinkoptions Properties

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

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

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

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

Кодирование правила и параметров конфигурации для кода С, заданного как:

  • 'PrjConfig' – Наследуйте опции от настройки проекта.

  • 'PrjConfigAndMisraAGC' – Наследуйте опции от настройки проекта и включите проверку правила MISRA® AC AGC.

  • 'PrjConfigAndMisra' – Наследуйте опции от настройки проекта и включите проверку правила MISRA C®:2004.

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

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

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

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

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

Режим Polyspace®, заданный как 'BugFinder', для анализа Средства поиска Ошибки или 'CodeProver', для верификации Программы автоматического доказательства Кода.

Пример: 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. Если это правда, уникальный номер добавляется в конец каждого нового результата. Используя эту опцию помогает вам постараться не перезаписывать предыдущие папки результатов.

Пример: 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';

Embedded Coder только

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

Глубина верификации, заданной уровнем модели - ссылки, к которому вы хотите анализировать.

Только для Embedded Coder®

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

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

Только для Embedded Coder

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

Кодирование правила и параметров конфигурации для Кода С++, заданного как:

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

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

  • 'PrjConfigAndJSF' – Наследуйте опции от настройки проекта, включите проверке правила JSF® и запуску полный анализ.

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

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

Только для Embedded Coder

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

TargetLink только

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

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

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

  • false — тупиковый код Интерполяционной таблицы.

Только для TargetLink®

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

Смотрите также

|