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