polyspaceConfigure

Создайте проект Polyspace из своей системы сборки в командной строке MATLAB

Синтаксис

polyspaceConfigure buildCommand

polyspaceConfigure -option
value buildCommand

Описание

пример

polyspaceConfigure buildCommand прослеживает вашу систему сборки и создает проект Polyspace^® с информацией, собранной от вашей системы сборки. Можно запустить анализ проекта Polyspace только в пользовательском интерфейсе десктопных решений Polyspace.

пример

polyspaceConfigure -option value buildCommand прослеживает вашу систему сборки и использует -option value, чтобы изменить операцию по умолчанию polyspaceConfigure. Задайте модификаторы перед buildCommand, в противном случае они рассматриваются как опции в самой команде сборки.

Примечание

Прежде чем вы запустите Polyspace от MATLAB^®, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Примеры

свернуть все

Создайте проект Polyspace из make-файла

Этот пример показывает, как создать проект Polyspace, если вы используете команду make targetName buildOptions, чтобы создать ваш исходный код. Пример создает проект Polyspace, который может быть открыт только в пользовательском интерфейсе десктопных решений Polyspace.

Создайте проект Polyspace, задающий уникальное название проекта. Используйте -B или опцию -W makefileName с make так, чтобы все необходимые как условие цели в make-файле были переделаны.

polyspaceConfigure  -prog myProject ...
          make -B targetName buildOptions

Откройте проект Polyspace в Project Browser.

polyspaceCodeProver('myProject.psprj')

`Создайте проекты, которые имеют файлы другого источника от той же трассировки сборки`


            Этот пример показывает, как создать различные проекты Polyspace из той же трассировки вашей системы сборки. Можно задать который исходные файлы включать для каждого проекта. Пример создает проект Polyspace, который может быть открыт только в пользовательском интерфейсе десктопных решений Polyspace.
         Проследите свою систему сборки, не создавая проект Polyspace путем определения опции -no-project. Чтобы гарантировать, что все необходимые как условие цели в вашем make-файле переделаны, используйте соответствующую опцию команды сборки make, например, -B.
polyspaceConfigure -no-project make -B;
polyspace-configure хранит информацию кэша и трассировку сборки в местоположениях по умолчанию в текущей папке. Чтобы хранить информацию кэша и трассировку сборки в другом месте, задайте опции -cache-path и -build-trace.
Сгенерируйте проекты Polyspace при помощи трассировочной информации сборки от предыдущего шага. Задайте название проекта и используйте -include-sources или опцию -exclude-sources, чтобы выбрать который файлы включать для каждого проекта.
polyspaceConfigure -no-build -prog myProject ...
-include-sources "glob_pattern";
glob_pattern является шаблоном шарика, который соответствует папкам или файлам, вы просачиваетесь или из вашего проекта. Гарантировать интерпретатор не расширяет шаблоны шарика, которые вы передаете polysapce-configure, заключаете их в двойные кавычки. Для получения дополнительной информации о поддерживаемом синтаксисе для шаблонов шарика смотрите, что полипробел - конфигурирует Синтаксис Выбора Исходных файлов. 
Если вы задали опции -build-trace и -cache-path на предыдущем шаге, задайте их снова.
Удалите папка кэша и файл трассировки.
rmdir('polyspace_configure_cache', 's');
delete polyspace_configure_built_trace;
 
Если вы использовали опции -build-trace и -cache-path, используйте пути и имена файлов из тех опций.

`Запустите анализ Polyspace командной строки от make-файла`


Этот пример показывает, как запустить анализ Polyspace, если вы используете команду сборки, такую как make targetName                   buildOptions
, чтобы создать ваш исходный код. В этом примере вы используете polyspaceConfigure, чтобы проследить вашу систему сборки, но не создаете проект Polyspace. Вместо этого вы создаете файл опций, который можно использовать, чтобы запустить анализ Polyspace от командной строки.
Создайте файл опций Polyspace, задающий команду -output-options-file. Используйте -B или опцию -W makefileName с make так, чтобы были переделаны все необходимые как условие цели в make-файле.
polyspaceConfigure -output-options-file ... 
         myOptions make -B targetName buildOptions
Используйте файл опций, который вы создали, чтобы запустить анализ Polyspace в командной строке:
polyspaceCodeProver -options-file myOptions

`Входные параметры`

свернуть все

buildCommand — Команда для создания исходного кода
 создайте команду


Создайте команду, заданную точно, когда вы используете, чтобы создать ваш исходный код.
Пример: make -B, make -W makefileName

-option value — Опции для изменения операции по умолчанию polyspaceConfigure
 одна опция начиная с -, сопровождаемого аргументом | несколько разделенных пробелом пар аргумента опции

Основные опции


Опция Аргумент Описание
-prog Название проекта Название проекта, которое появляется в пользовательском интерфейсе Polyspace. Значением по умолчанию является polyspace. 
Если вы не используете опцию -output-project, аргумент -prog также устанавливает название проекта.
Пример:
 -prog myProject создает проект, который имеет имя myProject в пользовательском интерфейсе. Если вы не используете опцию -output-project, названием проекта является также myProject.psrprj.
-author Имя автора Имя автора проекта.
Пример:
 -author jsmith
-output-project Path Имя файла проекта и местоположение для сохранения проекта. Значением по умолчанию является файл polyspace.psprj в текущей папке.
Пример:
 -output-project ../myProjects/project1 создает проект project1.psprj в папке с относительным путем ../myProjects/.
-output-options-file FileName Опция, чтобы создать аналитический файл опций Polyspace. Используйте этот файл для анализа командной строки с помощью polyspace-code-prover.
-allow-build-error 'none' Опция, чтобы создать проект Polyspace, даже если ошибка происходит в процессе сборки.
Если ошибка происходит, журнал трассировки сборки показывает следующее сообщение:
polyspace-configure ERROR: build command 
   command_name fail [status=status_value]
command_name является названием команды сборки, которое вы используете, и status_value является ненулевым статусом выхода или ошибочным уровнем, который указывает, какая ошибка произошла в вашем процессе сборки.
-allow-overwrite 'none' Опция, чтобы перезаписать проект с тем же именем, если это существует.
По умолчанию polyspace-configure выдает ошибку, если проект с тем же именем уже существует в выходной папке. Используйте эту опцию, чтобы перезаписать проект.
-silent (значение по умолчанию) 
-verbose 'none' Опция, чтобы подавить или отобразить дополнительные сообщения от выполнения polyspace-configure.
-help 'none' Опция, чтобы отобразить полный список команд polyspace-configure
-debug 'none' Опция используется технической поддержкой MathWorks^®


    Опции, чтобы создать несколько модулей
    Опция Аргумент Описание
-module 'none' Опция, чтобы создать отдельный файл опций для каждого двоичного файла, созданного в системе сборки.
Можно только создать отдельные файлы опций для различных двоичных файлов. Вы не можете создать несколько модулей в проекте Polyspace (для выполнения в пользовательском интерфейсе Polyspace).
Используйте эту опцию только для систем сборки, которые используют GNU^® и Визуальный C ++^® компиляторы.
См. также Строят Анализ Polyspace из модулей при помощи Команды Сборки.
-output-options-path Путь Местоположение, где сгенерированные файлы опций сохранены. Используйте эту опцию вместе с опцией -module.
Файлы опций называют после того, как двоичные файлы создали в системе сборки.
Расширенные настройки
Опция Аргумент Описание
-compiler-config Путь и имя файла Местоположение и имя конфигурационного файла компилятора. 
Файл должен быть в определенном формате. Для руководства смотрите существующие конфигурационные файлы в polyspaceroot\polyspace\configure\compiler_configuration\. Для получения информации о содержимом файла см. Компилятор, Не Поддержанный для Создания Проекта от Систем сборки.
Пример:
 -compiler-configuration myCompiler.xml
-no-project 'none' Опция, чтобы проследить вашу систему сборки, не создавая проект Polyspace и сохранить трассировочную информацию сборки.
Используйте эту опцию, чтобы сохранить вашу трассировочную информацию сборки для более позднего выполнения polyspace-configure с опцией -no-build.
-no-build 'none' Опция, чтобы создать проект Polyspace, использующий ранее сохраненную трассировочную информацию сборки.
Чтобы использовать эту опцию, у вас должна быть трассировочная информация сборки, сохраненная от более раннего выполнения polyspace-configure с опцией -no-project. 
Если вы используете эту опцию, вы не должны задавать аргумент buildCommand.
-no-sources 'none' Опция, чтобы создать файл опций Polyspace, который не содержит спецификации исходного файла.
Используйте эту опцию, когда вы будете намереваться задать исходные файлы другими средними значениями. Например, можно использовать эту опцию когда:
Рабочий Polyspace на AUTOSAR-специфичном коде.
Вы хотите создать файл опций, который прослеживает вашу команду сборки для параметров компилятора:
-output-options-file options.txt -no-sources
Вы позже добавляете этот файл опций при извлечении имен исходного файла от спецификаций ARXML и выполнении последующего анализа Программы автоматического доказательства Кода с polyspace-autosar-extra-options-file options.txt
См. также Polyspace Выполнения на Коде AUTOSAR Используя Команду Сборки.
Рабочий Polyspace в Eclipse™.
Ваши исходные файлы уже заданы в вашем проекте Eclipse. При выполнении анализа Polyspace вы хотите задать файл опций, который имеет параметры компиляции только.

-extra-project-options Опции, чтобы использовать для последующего анализа Polyspace. Например, "-stubbed-pointers-are-unsafe". Опции, которые используются для последующего анализа Polyspace.
Если проект Polyspace создается, можно изменить некоторые опции по умолчанию в проекте. Также можно передать эти опции при трассировке команды сборки. Флаг -extra-project-options позволяет вам передавать дополнительные опции.
Укажите, что несколько опций на пробеле разделили список, например, "-allow-negative-operand-in-shift -stubbed-pointers-are-unsafe".
Предположим, что необходимо установить опцию -stubbed-pointers-are-unsafe для каждого созданного проекта Polyspace. Вместо того, чтобы открыть каждый проект и установить опцию, можно использовать этот флаг при создании проекта Polyspace:
-extra-project-options "-stubbed-pointers-are-unsafe"
Для списка доступных опций см.:

                                            Аналитические опции
                                        

                                            
                                        

                                            
                                        

Если вы создаете файл опций вместо проекта Polyspace от вашей команды сборки, не используйте этот флаг.
-tmp-path Path Местоположение папки, где временные файлы хранятся.
-build-trace Путь и имя файла Местоположение и имя файла, где информация о сборке хранится. Значением по умолчанию является ./polyspace_configure_build_trace.log.
Пример:
 -build-trace ../build_info/trace.log 
-include-sources
-exclude-sources Шаблон шарика Опция, чтобы задать, который исходные файлы polyspace-configure включают в или исключают из, сгенерированный проект. Можно объединить обе опции вместе.
 Исходный файл включен, если путь к файлу совпадает с шаблоном шарика, который вы передаете -include-sources.
 Исходный файл исключен, если путь к файлу совпадает с шаблоном шарика, который вы передаете -exclude-sources. 
-print-included-sources
-print-excluded-sources 'none' Опция, чтобы распечатать список исходных файлов, которые polyspace-configure включает в или исключает из, сгенерированный проект. Можно объединить обе опции вместе. Вывод отображает полный путь каждого файла на отдельной строке.
Используйте эту опцию, чтобы диагностировать шаблоны шарика, которые вы передаете -include-sources или -exclude-sources. Вы видите, какие файлы совпадают с шаблоном, который вы передаете -include-sources или -exclude-sources.

Опции управления кэшем
Опция Аргумент Описание
-no-cache
-cache-sources (значение по умолчанию)
-cache-all-files 'none' Опция, чтобы выполнить одно из следующего:
Не создают кэш
Кэш только источник и заголовочные файлы.
Кэш все файлы включая двоичные файлы.

-cache-path Path Местоположение папки, где информация о кэше хранится.
Пример: -cache-path ../cache
-keep-cache
-no-keep-cache (значение по умолчанию) 'none' Опция, чтобы сохранить или очистить информацию о кэше после polyspace-configure завершает выполнение.
Если polyspace-configure перестал работать, можно предоставить эту информацию о кэше технической поддержке для отладки целей.

Опция	Аргумент	Описание
`-prog`	Название проекта	Название проекта, которое появляется в пользовательском интерфейсе Polyspace. Значением по умолчанию является `polyspace`. Если вы не используете опцию `-output-project`, аргумент `-prog` также устанавливает название проекта. Пример: `-prog myProject` создает проект, который имеет имя `myProject` в пользовательском интерфейсе. Если вы не используете опцию `-output-project`, названием проекта является также `myProject.psrprj`.
`-author`	Имя автора	Имя автора проекта. Пример: `-author jsmith`
`-output-project`	Path	Имя файла проекта и местоположение для сохранения проекта. Значением по умолчанию является файл `polyspace.psprj` в текущей папке. Пример: `-output-project ../myProjects/project1` создает проект `project1.psprj` в папке с относительным путем `../myProjects/`.
`-output-options-file`	FileName	Опция, чтобы создать аналитический файл опций Polyspace. Используйте этот файл для анализа командной строки с помощью `polyspace-code-prover`.
`-allow-build-error`	'none'	Опция, чтобы создать проект Polyspace, даже если ошибка происходит в процессе сборки. Если ошибка происходит, журнал трассировки сборки показывает следующее сообщение: polyspace-configure ERROR: build command command_name fail [status=status_value] `command_name` является названием команды сборки, которое вы используете, и `status_value` является ненулевым статусом выхода или ошибочным уровнем, который указывает, какая ошибка произошла в вашем процессе сборки.
`-allow-overwrite`	'none'	Опция, чтобы перезаписать проект с тем же именем, если это существует. По умолчанию `polyspace-configure` выдает ошибку, если проект с тем же именем уже существует в выходной папке. Используйте эту опцию, чтобы перезаписать проект.
`-silent` (значение по умолчанию) `-verbose`	'none'	Опция, чтобы подавить или отобразить дополнительные сообщения от выполнения `polyspace-configure`.
`-help`	'none'	Опция, чтобы отобразить полный список команд `polyspace-configure`
`-debug`	'none'	Опция используется технической поддержкой MathWorks^®

Опция	Аргумент	Описание
`-module`	'none'	Опция, чтобы создать отдельный файл опций для каждого двоичного файла, созданного в системе сборки. Можно только создать отдельные файлы опций для различных двоичных файлов. Вы не можете создать несколько модулей в проекте Polyspace (для выполнения в пользовательском интерфейсе Polyspace). Используйте эту опцию только для систем сборки, которые используют GNU^® и Визуальный C ++^® компиляторы. См. также Строят Анализ Polyspace из модулей при помощи Команды Сборки.
`-output-options-path`	Путь	Местоположение, где сгенерированные файлы опций сохранены. Используйте эту опцию вместе с опцией `-module`. Файлы опций называют после того, как двоичные файлы создали в системе сборки.

Опция	Аргумент	Описание
`-compiler-config`	Путь и имя файла	Местоположение и имя конфигурационного файла компилятора. Файл должен быть в определенном формате. Для руководства смотрите существующие конфигурационные файлы в `polyspaceroot\polyspace\configure\compiler_configuration\`. Для получения информации о содержимом файла см. Компилятор, Не Поддержанный для Создания Проекта от Систем сборки. Пример: `-compiler-configuration myCompiler.xml`
`-no-project`	'none'	Опция, чтобы проследить вашу систему сборки, не создавая проект Polyspace и сохранить трассировочную информацию сборки. Используйте эту опцию, чтобы сохранить вашу трассировочную информацию сборки для более позднего выполнения `polyspace-configure` с опцией `-no-build`.
`-no-build`	'none'	Опция, чтобы создать проект Polyspace, использующий ранее сохраненную трассировочную информацию сборки. Чтобы использовать эту опцию, у вас должна быть трассировочная информация сборки, сохраненная от более раннего выполнения `polyspace-configure` с опцией `-no-project`. Если вы используете эту опцию, вы не должны задавать аргумент `buildCommand`.
`-no-sources`	'none'	Опция, чтобы создать файл опций Polyspace, который не содержит спецификации исходного файла. Используйте эту опцию, когда вы будете намереваться задать исходные файлы другими средними значениями. Например, можно использовать эту опцию когда: Рабочий Polyspace на AUTOSAR-специфичном коде. Вы хотите создать файл опций, который прослеживает вашу команду сборки для параметров компилятора: -output-options-file options.txt -no-sources Вы позже добавляете этот файл опций при извлечении имен исходного файла от спецификаций ARXML и выполнении последующего анализа Программы автоматического доказательства Кода с `polyspace-autosar` -extra-options-file options.txt См. также Polyspace Выполнения на Коде AUTOSAR Используя Команду Сборки. Рабочий Polyspace в Eclipse™. Ваши исходные файлы уже заданы в вашем проекте Eclipse. При выполнении анализа Polyspace вы хотите задать файл опций, который имеет параметры компиляции только.
`-extra-project-options`	Опции, чтобы использовать для последующего анализа Polyspace. Например, `"-stubbed-pointers-are-unsafe"`.	Опции, которые используются для последующего анализа Polyspace. Если проект Polyspace создается, можно изменить некоторые опции по умолчанию в проекте. Также можно передать эти опции при трассировке команды сборки. Флаг `-extra-project-options` позволяет вам передавать дополнительные опции. Укажите, что несколько опций на пробеле разделили список, например`, "-allow-negative-operand-in-shift -stubbed-pointers-are-unsafe"`. Предположим, что необходимо установить опцию `-stubbed-pointers-are-unsafe` для каждого созданного проекта Polyspace. Вместо того, чтобы открыть каждый проект и установить опцию, можно использовать этот флаг при создании проекта Polyspace: `-extra-project-options "-stubbed-pointers-are-unsafe"` Для списка доступных опций см.: Аналитические опции Если вы создаете файл опций вместо проекта Polyspace от вашей команды сборки, не используйте этот флаг.
`-tmp-path`	Path	Местоположение папки, где временные файлы хранятся.
`-build-trace`	Путь и имя файла	Местоположение и имя файла, где информация о сборке хранится. Значением по умолчанию является `./polyspace_configure_build_trace.log`. Пример: `-build-trace ../build_info/trace.log`
`-include-sources` `-exclude-sources`	Шаблон шарика	Опция, чтобы задать, который исходные файлы `polyspace-configure` включают в или исключают из, сгенерированный проект. Можно объединить обе опции вместе. Исходный файл включен, если путь к файлу совпадает с шаблоном шарика, который вы передаете `-include-sources`. Исходный файл исключен, если путь к файлу совпадает с шаблоном шарика, который вы передаете `-exclude-sources`.
`-print-included-sources` `-print-excluded-sources`	'none'	Опция, чтобы распечатать список исходных файлов, которые `polyspace-configure` включает в или исключает из, сгенерированный проект. Можно объединить обе опции вместе. Вывод отображает полный путь каждого файла на отдельной строке. Используйте эту опцию, чтобы диагностировать шаблоны шарика, которые вы передаете `-include-sources` или `-exclude-sources`. Вы видите, какие файлы совпадают с шаблоном, который вы передаете `-include-sources` или `-exclude-sources`.

Опция	Аргумент	Описание
`-no-cache` `-cache-sources` (значение по умолчанию) `-cache-all-files`	'none'	Опция, чтобы выполнить одно из следующего: Не создают кэш Кэш только источник и заголовочные файлы. Кэш все файлы включая двоичные файлы.
`-cache-path`	Path	Местоположение папки, где информация о кэше хранится. Пример: `-cache-path ../cache`
`-keep-cache` `-no-keep-cache` (значение по умолчанию)	'none'	Опция, чтобы сохранить или очистить информацию о кэше после `polyspace-configure` завершает выполнение. Если `polyspace-configure` перестал работать, можно предоставить эту информацию о кэше технической поддержке для отладки целей.

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

`Темы`

`Введенный в R2013b`






Документация Polyspace Code Prover
Аналитические опции и другая ссылка
Информация о релизах
PDF-документация


Поддержка
MATLAB Answers
Помощь в установке
Отчеты об ошибках
Требования к продукту
Загрузка программного обеспечения











© 1994-2019 The MathWorks, Inc.
Условия использования
Патенты
Торговые марки
Список благодарностей

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

polyspaceConfigure

Синтаксис

Описание

Примечание

Примеры

Создайте проект Polyspace из make-файла

Создайте проекты, которые имеют файлы другого источника от той же трассировки сборки

Запустите анализ Polyspace командной строки от make-файла

Входные параметры

buildCommand — Команда для создания исходного кода создайте команду

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

Темы

Введенный в R2013b

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

Поддержка