Запустите анализ Polyspace модели, системы или S-функции
[
анализирует код, сгенерированный от существующей системы с помощью параметров конфигурации, сопоставленных с существующей системой. Это возвращает местоположение папки результатов. Существующая система является системой, возвращенной командой polyspaceFolder
, resultsFolder
]
= pslinkrunbdroot
.
[
анализирует polyspaceFolder
, resultsFolder
]=
pslinkrun(target
)target
с параметрами конфигурации, сопоставленными с моделью, содержащей target
. Прежде чем вы запустите анализ, вы должны:
Сгенерируйте код для моделей и подсистем.
Скомпилируйте S-функции.
[
запуски Polyspace® на пользовательском коде C/C++, включенном в блоки Вызывающей стороны C и диаграммы Stateflow в модели.polyspaceFolder
, resultsFolder
]
= pslinkrun('-slcc',target
)
[
анализирует polyspaceFolder
, resultsFolder
]
= pslinkrun(target
, opts
)target
с параметрами конфигурации из объекта opts
опций. Это возвращает местоположение папки результатов.
[
Polyspace запусков на пользовательском коде C/C++, включенном в блоки Вызывающей стороны C и диаграммы 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.