-unit-by-unit
)Проверьте каждый исходный файл независимо от других исходных файлов
Эта опция влияет только на анализ Code Prover.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Укажите, что каждый исходный файл должен быть проверен независимо от других исходных файлов. Каждый файл проверяется индивидуально, независимо от других файлов в модуле. Результаты верификации можно просмотреть для всего проекта или для отдельных файлов.
После того, как вы откроете результат верификации для одного файла, в пользовательском интерфейсе Polyspace® продукты для рабочего стола, вы можете увидеть сводные данные результатов для всех файлов на панели Dashboard. Результаты для каждого файла можно открыть непосредственно из этой сводной таблицы.
Каждый файл результатов (с именем ps_results.pscp
) сохраняется в подпапке папки результатов. Подпапка имеет то же имя, что и анализируемый исходный файл.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -unit-by-unit
. См. «Информация о командной строке».
Существует много причин, по которым можно проверить каждый исходный файл независимо от других файлов.
Например, если верификация проекта занимает очень много времени, можно выполнить файл путем верификации файла, чтобы идентифицировать, какой файл замедляет верификацию.
Polyspace создает отдельное выполнение задач верификации для каждого исходного файла.
Polyspace создает одно выполнение задач верификации для всех исходных файлов в модуле.
Эта опция включена, только если вы выбираете Verify module or library (-main-generator)
.
Код Prover требуется main
функционирует как начальная точка верификации. В файловом режиме, потому что большинство файлов не имеют main
Code Prover генерирует main
функция при необходимости. По умолчанию сгенерированный main
вызывает незакрытые функции (незакрытые непатентованные методы и функции вне класса на C++). Для получения дополнительной информации смотрите:
Если вы выполняете файл путем верификации файла, вы не можете задать опции многозадачности.
Если ваша верификация для всего проекта занимает очень много времени, выполните файл по файловым верификациям. После завершения верификации файла можно просмотреть результаты проверки других файлов.
Можно сгенерировать отчет о результатах верификации для каждого файла или для всех файлов вместе. Чтобы сгенерировать один отчет для всех файлов, выполните генерацию отчета после верификации (а не вместе с верификацией с помощью опций анализа).
Чтобы сгенерировать один отчет для всех файлов в пользовательском интерфейсе Polyspace (только для продукта рабочего стола):
Откройте результаты для одного файла.
Выберите Reporting > Run Report. Перед генерацией отчета выберите Generate a single report including all unit results опции.
При выполнении верификации файла по файлам можно увидеть много образцы неиспользованных переменных. Некоторые из этих переменных могут использоваться в других файлах, но отображаться как неиспользованные в верификации файла по файлам.
Если вы хотите игнорировать эти результаты, используйте возможности просмотра (именованный набор фильтров), которая отфильтровывает неиспользованные переменные. См. раздел «Фильтрация и группирование результатов» в интерфейсе пользователя Polyspace Desktop.
Параметр: -unit-by-unit |
По умолчанию: Off |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |