-unit-by-unit-common-source
)Задайте файлы, которые вы хотите включать с каждым исходным файлом во время файла верификацией файла
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Эта опция не доступна для кода, сгенерированного из кода 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 |
Значение:
|
Никакое значение по умолчанию |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |