Свойства для pslinkoptions
объект
Вы можете создать pslinkoptions
объект для настройки анализа в командной строке. Используйте эти свойства, чтобы задать опции строения, где и как хранить результаты, дополнительные файлы для включения и режимы области значений данных.
VerificationSettings
- Правило кодирования и настройки строения для кода С'PrjConfig'
(по умолчанию) | 'PrjConfigAndMisraAGC'
| 'PrjConfigAndMisra'
| 'PrjConfigAndMisraC2012'
| 'MisraAGC'
| 'Misra'
| 'MisraC2012'
Правило кодирования и настройки строения для кода С заданы как:
'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'
VerificationMode
- Режим Polyspace'BugFinder'
(по умолчанию) | 'CodeProver'
Polyspace® режим, заданный как 'BugFinder'
, для анализа Bug Finder, или 'CodeProver'
, для верификации Code Prover.
Пример: opt.VerificationMode = 'BugFinder';
EnablePrjConfigFile
- Разрешить пользовательский файл строенияfalse
(по умолчанию) | true
Разрешает пользовательский файл строения вместо строения по умолчанию, заданной как true или false. Используйте PrjConfigFile
опция для задания файла строения.
Пример: opt.EnablePrjConfigFile = true;
PrjConfigFile
- Пользовательский файл строения''
(по умолчанию) | полный путь к .psprj
файлПользовательский файл строения для использования вместо строения по умолчанию, заданной полным путем к .psprj
файл. Используйте EnablePrjConfigFile
опция, чтобы использовать этот файл строения во время анализа.
Пример: opt.PrjConfigFile = 'C:\Polyspace\config.psprj';
CheckConfigBeforeAnalysis
- Проверка строения перед анализом'OnWarn'
(по умолчанию) | 'OnHalt'
| 'Off'
Это свойство устанавливает уровень проверки строения, выполненной до начала анализа. Проверка строения перед анализом задается как:
'Off'
- Проверяет только на ошибки. Останавливается, если обнаружены ошибки.
'OnWarn'
- Остановки для ошибок. Отображение сообщения для предупреждений.
'OnHalt'
- Остановки для ошибок и предупреждений.
Пример: opt.CheckConfigBeforeAnalysis = 'OnHalt';
ResultDir
- Имя и расположение папки результатов'C:\Polyspace_Results\results_$ModelName$'
(по умолчанию) | имя папки | путь к папкеИмя и расположение папки результатов заданы как имя локальной папки или путь к папке. В этой папке Polyspace запишет результаты анализа. Это имя папки может быть либо абсолютным путем, либо путем относительно текущей папки. Текстовое $ModelName$
заменяется на имя исходной модели.
Пример: opt.ResultDir = '\results_v1_$ModelName$';
AddSuffixToResultDir
- Добавить уникальный номер в имя папки результатовfalse
(по умолчанию) | true
Добавьте уникальный номер в имя папки результатов как true или false. Если true, в конец каждого нового результата добавляется уникальное число. Использование этой опции помогает избежать перезаписи предыдущих папок результатов.
Пример: opt.AddSuffixToResultDir = true;
OpenProjectManager
- Откройте окружение Polyspacefalse
(по умолчанию) | true
Откройте окружение Polyspace, чтобы контролировать прогресс анализа, заданный как true или false. После этого можно просмотреть результаты.
Пример: opt.OpenProjectManager = true;
AddToSimulinkProject
- Добавить результаты в открытый Simulink® проектfalse
(по умолчанию) | true
Добавьте свои результаты в открытый проект Simulink, если таковые имеются, заданные как true или false. Эта опция позволяет вам сохранить результаты Polyspace организованными с остальными файлами проекта. Если проект Simulink не открыт, результаты не добавляются к проекту Simulink.
Пример: opt.AddToSimulinkProject = true;
EnableAdditionalFileList
- Разрешить дополнительный список файловfalse
(по умолчанию) | true
Разрешить анализ дополнительного списка файлов, заданный как true или false. Используйте с AdditionalFileList
опция.
Пример: opt.EnableAdditionalFileList = true;
AdditionalFileList
- Список дополнительных файлов, подлежащих анализу{0x1 cell}
(по умолчанию) | массив ячеек из файловСписок дополнительных файлов, подлежащих анализу, задается как массив ячеек файлов. Используйте с EnableAdditionalFileList
Опция, чтобы добавить эти файлы к анализу.
Пример: opt.AdditionalFileList = {'sources\file1.c', 'sources\file2.c'};
Типы данных: cell
InputRangeMode
- Включите информацию о области значений проекта'DesignMinMax'
(по умолчанию) | 'FullRange'
Включите информацию о области значений проекта, заданную как 'DesignMinMax'
, для использования областей значений данных, определенных в блоках и рабочих областях, или 'FullRange'
, для обработки входов как значений полного диапазона.
Пример: opt.InputRangeMode = 'FullRange';
ParamRangeMode
- Включите постоянные значения параметров'None'
(по умолчанию) | 'DesignMinMax'
Включите постоянные значения параметров, заданные как 'None'
, для использования значений постоянных параметров, заданных в коде, или 'DesignMinMax'
использовать область значений, заданную в блоках и рабочих пространствах.
Пример: opt.ParamRangeMode = 'DesignMinMax';
OutputRangeMode
- Включите выходные значения'None'
(по умолчанию) | 'DesignMinMax'
Включите выходные значения, заданные 'None'
, чтобы не применять утверждения или 'DesignMinMax'
применить утверждения к выходам с помощью области значений, заданной в блоках и рабочей области.
Пример: opt.ParamRangeMode = 'DesignMinMax';
ModelRefVerifDepth
- Глубина верификации'Current model only'
(по умолчанию) | '1'
| '2'
| '3'
| 'All'
Задайте глубину для анализа моделей, на которые ссылается текущая модель.
'Current Model Only'
: Анализируйте только модель верхней части, не анализируя ссылку на модели. Например, вы можете использовать эту опцию, когда модели-ссылки являются библиотечными моделями.
'1'
, '2'
, или '3'
: Анализируйте модели-ссылки до заданной глубины в иерархии ссылок. Для образца, чтобы проанализировать модели, на которые ссылается модель верхней части, задайте свойство ModelRefVerifDepth
как '1'
. Чтобы анализировать модели, на которые ссылается первый уровень ссылок, задайте это свойство как '2'
.
'All'
: Анализируйте все ссылочные модели с текущей моделью.
Для Embedded Coder® только
Пример: opt.ModelRefVerifDepth = '3';
ModelRefByModelRefVerif
- Моделируйте режим эталонного анализаfalse
(по умолчанию) | true
Укажите, нужно ли анализировать все модели-ссылки вместе или анализировать модели по отдельности.
false
: Анализируйте модель верхней части и ссылку на модели вместе. Например, можно хотеть использовать эту опцию для проверки проблем интегрирования или масштабирования.
true
: Анализируйте модель верхней части и ссылку на модели индивидуально.
Только для Embedded Coder
Пример: opt.ModelRefByModelRefVerif = true;
CxxVerificationSettings
- Правило кодирования и настройки строения для кода С++'PrjConfig'
(по умолчанию) | 'PrjConfigAndMisraCxx'
| 'PrjConfigAndJSF'
| 'MisraCxx'
| 'JSF'
Правило кодирования и настройки строения для кода С++ заданы как:
'PrjConfig'
- Наследовать опции от строения проекта и запустить полный анализ.
'PrjConfigAndMisraCxx'
- Наследовать опции от строения проекта, включить проверку правил MISRA C++ и запустить полный анализ.
'PrjConfigAndJSF'
- Наследовать опции от строения проекта, включить JSF® проверка правил и запуск полного анализа.
'MisraCxx'
- Включите проверку правил MISRA C++ и запустите только фазу компиляции.
'JSF'
- Включите проверку правил JSF и запустите только фазу компиляции.
Только для Embedded Coder
Пример: opt.CxxVerificationSettings = 'MisraCxx';
AutoStubLUT
- Использование кода интерполяционной таблицыfalse
(по умолчанию) | true
Использование кода интерполяционной таблицы, заданное как true или false.
true
- используйте код интерполяционной таблицы во время анализа.
false
- код интерполяционной таблицы заглушки.
Только для TargetLink®
Пример: opts.AutoStubLUT = true;
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.