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