Создайте проект Polyspace из системы сборки в командной строке MATLAB
polyspaceConfigure отслеживает вашу систему сборки и создает Polyspace® проект с информацией, собранной из вашей системы сборки. Запустить анализ на проекте Polyspace можно только в пользовательском интерфейсе десктопных продуктов Polyspace.buildCommand
polyspaceConfigure отслеживает вашу систему сборки и использует -option
value buildCommand-option value для изменения операции по умолчанию polyspaceConfigure. Задайте модификаторы перед buildCommand, в противном случае они рассматриваются как опции в самой команде сборки.
Примечание
Прежде чем запускать Polyspace из MATLAB®необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».
В этом примере показано, как создать проект Polyspace, если вы используете команду make чтобы создать исходный код. В этом примере создается проект Polyspace, который можно открыть только в пользовательском интерфейсе десктопных продуктов Polyspace.targetName
buildOptions
Создайте проект Polyspace, задающий уникальное имя проекта. Используйте -B или -W опция с makefileNamemake так, чтобы все необходимые цели в 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 является шаблоном glob, который соответствует папкам или файлам, которые вы фильтруете в или вне вашего проекта. Чтобы убедиться, что интерпретатор не расширяет шаблоны glob, которые вы передаете polysapce-configure, заключайте их в двойные кавычки. Дополнительные сведения о поддерживаемом синтаксисе шаблонов glob см. в полипространстве -настройке синтаксиса выбора исходных Файлов .
Если вы задали опции -build-trace и -cache-path на предыдущем шаге задайте их еще раз.
Удалите файл трассировки и папку кэша.
rmdir('polyspace_configure_cache', 's'); delete polyspace_configure_built_trace;
-build-trace и -cache-pathиспользуйте пути и имена файлов из этих опций.В этом примере показано, как запустить анализ Polyspace, если вы используете команду build, такую как make чтобы создать исходный код. В этом примере вы используете targetName
buildOptionspolyspaceConfigure проследить систему сборки, но не создавать проект Polyspace. Вместо этого вы создаете файл опций, который можно использовать, чтобы запустить анализ Polyspace из командной строки.
Создайте файл опций Polyspace, задающий -output-options-file команда. Используйте -B или -W опция с makefileNamemake так, чтобы все обязательные цели в make-файле были переделаны.
polyspaceConfigure -output-options-file ... myOptions make -B targetName buildOptions
Используйте файл опций, который вы создали, чтобы запустить анализ Polyspace в командной строке:
polyspaceCodeProver -options-file myOptions
buildCommand - Команда для создания исходного кодаКоманда build задается именно так, как вы используете для создания исходного кода.
Пример: make -B, сделать -W makefileName
-option value - Опции для изменения операции по умолчанию polyspaceConfigure-, далее следует аргумент | нескольких пар option-argument, разделенных пробеламиОсновные опции
| Опция | Аргумент | Описание |
|---|---|---|
-prog | Имя проекта | Имя проекта, которое появляется в пользовательском интерфейсе Polyspace. Значение по умолчанию является Если вы не используете опцию Пример:
-prog myProject |
-author | Имя автора | Имя автора проекта. Пример:
-author jsmith |
-output-project | Путь | Имя файла проекта и расположение для сохранения проекта. По умолчанию это файл Пример:
|
-output-options-file | Имя файла | Опция для создания файла опций анализа Polyspace. Используйте этот файл для анализа в командной строке с помощью одной из следующих команд:
|
-allow-build-error | Ничего | Опция создания проекта Polyspace, даже если ошибка возникает в процессе сборки. Если происходит ошибка, в журнале трассировки сборки отображается следующее сообщение: polyspace-configure (polyspaceConfigure) ERROR: build command command_name fail [status=status_value] command_name - имя команды сборки, которое вы используете и status_value - ненулевое выходное состояние или уровень ошибки, указывающий, какая ошибка произошла в процессе сборки.Эта опция игнорируется при использовании |
-allow-overwrite | Ничего | Опция перезаписи проекта с таким же именем, если он существует. По умолчанию |
| Ничего | Опция подавления или отображения дополнительных сообщений о запуске
Если вы задаете больше одной из этих опций, применяется самая подробная опция. Эти опции игнорируются, если они используются в комбинации с |
-help | Ничего | Опция отображения полного списка |
-debug | Ничего | Опция хранения отладки информации для использования MathWorks® техническая поддержка. Эта опция была заменена опцией |
-easy-debug | Путь | Опция для хранения отладки информации для использования технической поддержкой MathWorks. После |
Опции для создания нескольких модулей
Эти опции несовместимы с -compilation-database.
| Опция | Аргумент | Описание |
|---|---|---|
-module | Ничего | Опция для создания отдельного файла опций для каждого двоичного файла, созданного в системе сборки. Можно создать только отдельные файлы опций для разных двоичных файлов. Вы не можете создать несколько модулей в проекте Polyspace (для выполнения в пользовательском интерфейсе Polyspace). Используйте эту опцию только для систем сборки, которые используют GNU® и Visual C++® компиляторы. Смотрите также Modularize Polyspace Analysis при помощи Команда. |
-output-options-path | Имя пути | Расположение, где сохраняются файлы сгенерированных опций. Используйте эту опцию вместе с опцией Файлы опций названы в честь двоичных файлов, созданных в системе сборки. |
Дополнительные опции
| Опция | Аргумент | Описание |
|---|---|---|
-compilation-database | Путь и имя файла | Расположение и имя файла базы данных компиляции JSON (JSON CDB). Вы генерируете этот файл из системы сборки, например, с помощью флага Вы не задаете команду сборки, когда используете эту опцию. Системы сборки и компиляторы поддерживают генерацию CDB JSON:
Эта опция несовместима с Опции управления кэшем, |
-compiler-config | Путь и имя файла | Расположение и имя файла строения компилятора. Файл должен быть в определенном формате. Для руководства смотрите существующие файлы строения в Пример:
|
-no-project | Ничего | Опция трассировки системы сборки без создания проекта Polyspace и сохранение информации трассировки сборки. Используйте эту опцию, чтобы сохранить информацию трассировки сборки для последующего запуска Эта опция несовместима с |
-no-build | Ничего | Опция создания проекта Polyspace с использованием ранее сохраненной информации трассировки сборки. Чтобы использовать эту опцию, вы должны иметь информацию трассировки сборки, сохраненную при более раннем запуске Если вы используете эту опцию, вам не нужно задавать Эта опция игнорируется при использовании |
-no-sources | Ничего | Опция для создания файла опций Polyspace, который не содержит спецификаций исходных файлов. Используйте эту опцию, когда вы собираетесь задать исходные файлы другими способами. Например, вы можете использовать эту опцию, когда:
|
-extra-project-options | Опции для последующего анализа Polyspace. Для образца, "-stubbed-pointers-are-unsafe". | Опции, которые используются для последующего анализа Polyspace. После создания проекта Polyspace можно изменить некоторые опции по умолчанию в проекте. Также можно передать эти опции при трассировке команды build. Флаг Задайте несколько опций в списке разделенных пространствами, например Предположим, что вы должны задать опцию Список доступных опций см. в:
Если вы создаете файл опций вместо проекта Polyspace из команды build, не используйте этот флаг. |
-tmp-path | Путь | Расположение папки, в которой хранятся временные файлы. |
-build-trace | Путь и имя файла | Расположение и имя файла, в котором хранится информация о сборке. Значение по умолчанию является Пример:
|
| Шаблон Глоба | Опция, чтобы указать, какие исходные файлы Исходный файл включается, если путь к файлу соответствует шаблону glob, которому вы передаете Исходный файл исключается, если путь к файлу совпадает с шаблоном glob, которому вы передаете |
| Ничего | Опция печати списка исходных файлов, которые Используйте эту опцию, чтобы устранить проблемы с шаблонами glob, которые вы передаете |
-compiler-cache-path | Путь к папке | Укажите путь к папке, где По умолчанию Polyspace ищет и хранит кэши компилятора под этими путями к папке:
|
-no-compiler-cache | Ничего | Используйте эту опцию, если вы не хотите, чтобы Polyspace кэшировал информацию о строении компилятора или использовал существующий кэш для строения компилятора. По умолчанию, при первом запуске |
-reset-compiler-cache-entry | Ничего | Используйте эту опцию, чтобы запросить у компилятора текущее строение и обновить запись в файле кэша, которая соответствует этому строению. Другие записи строения компилятора в кэше не обновляются. |
-clear-compiler-cache | Ничего | Используйте эту опцию, чтобы удалить все строения компилятора, хранящиеся в файле кэша. Если вы также задаете команду сборки или |
-import-macro-definitions |
| Используйте эту опцию, чтобы задать, как Можно задать:
|
-options-for-sources-delimiter | Один символ | Укажите диафрагму опций, который будет использоваться, когда несколько опций анализа связаны с одним исходным файлом с помощью См. также |
Опции управления кэшем
Эти опции в первую очередь полезны для отладки. Используйте опции, если polyspace-configure (polyspaceConfigure) сбой, и служба технической поддержки MathWorks просит вас использовать эту опцию и предоставить кэшированные файлы. Начиная с R2020a, опция -easy-debug обеспечивает более легкий способ предоставления отладочной информации. Обратитесь в службу технической поддержки о проблемах с выполняемым Polyspace.
Эти опции игнорируются при использовании -compilation-database.
| Опция | Аргумент | Описание |
|---|---|---|
| Ничего | Опция для выполнения одного из следующих действий:
Обычно вы кэшируете временные файлы, созданные командой build, чтобы решить проблемы при трассировке команды. |
-cache-path | Путь | Расположение папки, в которой хранится информация о кэше. При трассировке сборки Visual Studio ( path is too long Пример:
-cache-path ../cache |
| Ничего | Опция сохранения или очистки информации о кэше после Если |
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.