Создание проекта Polyspace из системы сборки в командной строке MATLAB
polyspaceConfigure отслеживает систему сборки и создает проект Polyspace ® с информацией, собранной из системы сборки. Анализ проекта Polyspace можно выполнить только в интерфейсе пользователя настольных продуктов Polyspace.buildCommand
polyspaceConfigure отслеживает вашу систему сборки и использует -option value buildCommand-option value для изменения операции по умолчанию polyspaceConfigure. Укажите модификаторы перед buildCommand, в противном случае они рассматриваются как опции в самой команде build.
Примечание
Перед запуском Polyspace из MATLAB ® необходимо связать установки Polyspace и MATLAB. См. раздел Интеграция полиспейса с MATLAB и Simulink.
В этом примере показано, как создать проект Polyspace при использовании команды make для создания исходного кода. В примере создается проект Polyspace, который можно открыть только в интерфейсе пользователя настольных продуктов Polyspace.targetName
buildOptions
Создайте проект Polyspace, указав уникальное имя проекта. Используйте -B или -W вариант с makefileNamemake чтобы все предварительные цели в makefile были переделаны.
polyspaceConfigure -prog myProject ... make -B targetName buildOptions
Откройте проект «Полиспейс» в Диспетчере проектов.
polyspaceBugFinder('myProject.psprj')В этом примере показано, как создавать различные проекты Polyspace из одной и той же трассы системы сборки. Можно указать исходные файлы для каждого проекта. В примере создается проект Polyspace, который можно открыть только в интерфейсе пользователя настольных продуктов Polyspace.
Трассировка системы построения без создания проекта Polyspace путем указания параметра -no-project. Чтобы убедиться, что все предварительные цели в вашем makefile переделаны, используйте соответствующие 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, заключите их в двойные кавычки. Дополнительные сведения о поддерживаемом синтаксисе для шаблонов glob см. в разделе Синтаксис выбора исходных файлов для настройки polyspace.
Если указаны параметры -build-trace и -cache-path на предыдущем шаге укажите их еще раз.
Удалите файл трассировки и папку кэша.
rmdir('polyspace_configure_cache', 's'); delete polyspace_configure_built_trace;
-build-trace и -cache-pathиспользуйте пути и имена файлов из этих параметров.В этом примере показано, как выполнять анализ Polyspace при использовании команды построения, такой как make для создания исходного кода. В этом примере используется targetName
buildOptionspolyspaceConfigure для отслеживания системы сборки, но не для создания проекта Polyspace. Вместо этого создается файл параметров, который можно использовать для выполнения анализа Polyspace из командной строки.
Создание файла параметров Polyspace, определяющего -output-options-file команда. Используйте -B или -W вариант с makefileNamemake чтобы все предварительные цели в makefile были переделаны.
polyspaceConfigure -output-options-file ... myOptions make -B targetName buildOptions
Используйте созданный файл параметров для выполнения анализа Polyspace в командной строке:
polyspaceBugFinder -options-file myOptions
buildCommand - Команда для построения исходного кодаКоманда Build указана точно так же, как используется для построения исходного кода.
Пример: make -B, make -W makefileName
-option value - Опции для изменения операции по умолчанию polyspaceConfigure-, за которым следуют пары «аргумент | несколько разделенных пробелами параметров-аргументов»Основные параметры
| Выбор | Аргумент | Описание |
|---|---|---|
-prog | Название проекта | Имя проекта, отображаемое в интерфейсе пользователя Polyspace. Значение по умолчанию: Если параметр не используется Пример:
|
-author | Имя автора | Имя автора проекта. Пример:
|
-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++ ®. См. также раздел Модулирование анализа полиспейса с помощью команды построения. |
-output-options-path | Имя пути | Расположение, в котором сохраняются созданные файлы опций. Используйте эту опцию вместе с опцией Файлы параметров называются по имени двоичных файлов, созданных в системе построения. |
Дополнительные параметры
| Выбор | Аргумент | Описание |
|---|---|---|
-compilation-database | Путь и имя файла | Местоположение и имя файла базы данных компиляции JSON (JSON CDB). Этот файл создается из системы построения, например, с помощью флага При использовании этого параметра команда построения не указывается. Системы сборки и компиляторы поддерживают создание JSON CDB:
Этот параметр несовместим с Параметры управления кэшем, |
-compiler-config | Путь и имя файла | Расположение и имя файла конфигурации компилятора. Файл должен иметь определенный формат. Для получения инструкций см. существующие файлы конфигурации в разделе Пример:
|
-no-project | Ничего | Возможность трассировки системы сборки без создания проекта Polyspace и сохранения информации трассировки сборки. Используйте этот параметр, чтобы сохранить информацию трассировки построения для более позднего запуска Этот параметр несовместим с |
-no-build | Ничего | Возможность создания проекта Polyspace с использованием ранее сохраненной информации трассировки построения. Чтобы использовать этот параметр, необходимо сохранить данные трассировки построения из более раннего запуска При использовании этого параметра не требуется указывать Этот параметр игнорируется при использовании |
-no-sources | Ничего | Параметр для создания файла параметров Polyspace, не содержащего спецификации исходного файла. Используйте этот параметр, если предполагается указать исходные файлы другими способами. Например, эту опцию можно использовать в следующих случаях:
|
-extra-project-options | Опции для последующего анализа Polyspace. Например, "-stubbed-pointers-are-unsafe". | Опции, используемые для последующего анализа Polyspace. После создания проекта Polyspace можно изменить некоторые параметры по умолчанию в проекте. Кроме того, эти параметры можно передать при трассировке команды построения. Флаг Укажите несколько параметров в списке, разделенном пробелами, например Предположим, что необходимо задать опцию Список доступных опций см. в разделе:
Если создается файл параметров вместо проекта Polyspace из команды build, не используйте этот флаг. |
-tmp-path | Путь | Расположение папки, в которой хранятся временные файлы. |
-build-trace | Путь и имя файла | Расположение и имя файла, в котором хранится информация о построении. Значение по умолчанию: Пример:
|
| Шаблон Glob | Параметр для указания исходных файлов Исходный файл включается, если путь к файлу соответствует шаблону gob, переданному Исходный файл исключается, если путь к файлу соответствует шаблону 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 Пример:
|
| Ничего | Возможность сохранения или очистки данных кэша после Если |
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.