Запустите анализ Polyspace на модели, системе или S-функции
[
анализирует код, сгенерированный из текущей системы, используя опции строения, связанные с текущей системой. Оно возвращает расположение папки результатов. Текущая система является системой, возвращаемой командой polyspaceFolder
, resultsFolder
]
= pslinkrunbdroot
(Simulink).
[
анализирует polyspaceFolder
, resultsFolder
]=
pslinkrun(target
)target
с опциями строения, связанными с моделью, содержащей target
. Перед запуском анализа необходимо:
Сгенерируйте код для моделей и подсистем.
Скомпилируйте S-функции.
[
запускает Polyspace® на C/C + + пользовательском коде, включенном в блоки C Caller и диаграммы Stateflow в модели.polyspaceFolder
, resultsFolder
]
= pslinkrun('-slcc',target
)
[
анализирует polyspaceFolder
, resultsFolder
]
= pslinkrun(target
, opts
)target
использование опций строения, заданных в объекте opts
. Оно возвращает расположение папки результатов.
[
запускает Polyspace на C/C + + пользовательском коде, включенном в блоки C Caller и диаграммы Stateflow в модели. В анализе используются опции строения, заданные в polyspaceFolder
, resultsFolder
]
= pslinkrun('-slcc', target
, opts
)объекте opts
.
[
использует polyspaceFolder
, resultsFolder
]
= pslinkrun(target
, opts
, asModelRef
)asModelRef
для определения типа сгенерированного кода для анализа - автономного кода или модели-ссылки кода. Эта опция полезна, когда вы хотите проанализировать код, который генерируется как модель-ссылка. Код, который генерируется как модель-ссылка, предназначен для вызова или использования в других моделях или коде.
[
запускает Polyspace на C/C + + коде, сгенерированном из MATLAB® код и сохраненный в polyspaceFolder
, resultsFolder
]
= pslinkrun('-codegenfolder', codegenFolder
, opts
)codegenFolder
.
Примечание
Перед запуском Polyspace из MATLAB необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».