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