-unit-by-unit
)Проверьте каждый исходный файл независимо от других исходных файлов
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Эта опция не доступна для кода, сгенерированного из кода MATLAB® или моделей Simulink®.
Укажите, что каждый исходный файл должен быть проверен независимо от других исходных файлов. Каждый файл проверяется индивидуально, независимый от других файлов в модуле. Результаты верификации могут быть просмотрены для целого проекта или для отдельных файлов.
После того, как вы откроете результат верификации для одного файла в пользовательском интерфейсе десктопных решений Polyspace®, вы видите сводные данные результатов для всех файлов на панели Dashboard. Можно открыть результаты для каждого файла непосредственно из этой сводной таблицы.
Каждый файл результата (с именем ps_results.pscp
) сохранено в подпапке папки результатов. Подпапка имеет то же имя как анализируемый исходный файл.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -unit-by-unit
. Смотрите информацию о командной строке.
Существует много причин, вы можете хотеть проверить каждый исходный файл независимо от других файлов.
Например, если верификация проекта берет очень долго, можно выполнить файл верификацией файла, чтобы идентифицировать, какой файл замедляет верификацию.
Polyspace создает отдельное выполнение задач верификации для каждого исходного файла.
Polyspace создает одно выполнение задач верификации для всех исходных файлов в модуле.
Эта опция включена, только если вы выбираете Verify module or library (-main-generator)
.
Программа автоматического доказательства кода требует main
функционируйте как начальную точку верификации. В режиме файла файлом, потому что большинство файлов не имеет main
, Программа автоматического доказательства кода генерирует main
функционируйте при необходимости. По умолчанию, сгенерированный main
вызывает невостребованные функции (невостребованные незакрытые методы и функции из класса на C++). Для получения дополнительной информации см.:
Если вы выполняете файл верификацией файла, вы не можете задать многозадачные опции.
Если ваша верификация для целого проекта берет очень долго, выполните файл верификацией файла. После того, как верификация завершена для файла, можно просмотреть результаты, в то время как другие файлы все еще проверяются.
Можно сгенерировать отчет результатов верификации для каждого файла или для всех файлов вместе. Чтобы сгенерировать один отчет для всех файлов, выполните генерацию отчета после верификации (а не наряду с верификацией с помощью аналитических опций).
Если вы используете продукт Polyspace Code Prover™ Server™, чтобы запустить верификацию, сгенерировать один отчет для всех файлов:
Загрузите результаты для всех файлов к Polyspace доступ к серверу.
Используйте polyspace-report-generator
команда с опцией -all-units
сгенерировать один отчет для всех файлов.
Когда вы выполняете верификацию файла файлом, вы видите много экземпляров неиспользуемых переменных. Некоторые из этих переменных могут использоваться в других файлах, но показать как неиспользованные в верификации файла файлом.
Параметр: -unit-by-unit |
Значение по умолчанию: Off |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |