-unit-by-unit-common-source)Укажите файлы, которые вы хотите включить в каждый исходный файл во время верификации файла
Эта опция влияет только на анализ Code Prover.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Для файла по верификации файла укажите файлы, которые вы хотите включить в каждую верификацию исходного файла. Эти файлы компилируются один раз, а затем связываются с каждой верификацией.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция находится на узле Code Prover Verification. Смотрите Зависимости для других опций, которые вы также должны включить.
Командная строка и файл опций: Используйте опцию -unit-by-unit-common-source. См. «Информация о командной строке».
Существует много причин, по которым можно проверить каждый исходный файл независимо от других файлов. Например, если верификация проекта занимает очень много времени, можно выполнить файл путем верификации файла, чтобы идентифицировать, какой файл замедляет верификацию.
Если вы выполняете файл путем верификации файла, некоторые из ваших файлов могут отсутствовать в других файлах. Поместите отсутствующую информацию в общий файл и используйте эту опцию, чтобы задать файл для верификации. Например, если несколько исходных файлов вызывают одну и ту же функцию, используйте эту опцию, чтобы задать файл, который содержит определение функции или заглушку функции. В противном случае Polyspace® использует собственные заглушки для функций, которые вызываются, но не определяются в исходных файлах. Предположения, лежащие в основе заглушек Polyspace, могут быть шире, чем вы хотите, что приводит к оранжевым проверкам.
По умолчанию нет
Щелкните
, чтобы добавить поле. Введите полный путь к файлу. В противном случае используйте
кнопку для перехода к местоположению файла.
Эта опция включена, только если вы выбираете Verify files independently (-unit-by-unit) (Polyspace Code Prover).
Параметр: -unit-by-unit-common-source |
Значение: |
| По умолчанию нет |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |