Запустите верификацию Polyspace Code Prover из MATLAB
Для более легких сценариев запустите анализ Polyspace® с помощью polyspace.Project
объект.
polyspaceCodeProver
открывает Polyspace Code Prover™.
polyspaceCodeProver(
открывает файл проекта Polyspace в Polyspace Code Prover.projectFile
)
polyspaceCodeProver(
запускает верификацию на объекте опций Polyspace в MATLAB®.optsObject
)
polyspaceCodeProver(
запускает верификацию на файле проекта Polyspace в MATLAB. Если у вас есть несколько модулей или настроек, Polyspace запускает активную настройку и активный модуль. Чтобы видеть, какой модуль и настройка активны, откройте проект в интерфейсе Polyspace и ищите полужирный, выбранный модуль и настройку. Чтобы измениться, какой модуль или настройка активны, прежде, чем закрыть интерфейс Polyspace, выбирают модуль и настройку, которую вы хотите проверить. projectFile
,
'-nodesktop')
polyspaceCodeProver(
открывается Polyspace приводит файл к Polyspace Code Prover.resultsFile
)
polyspaceCodeProver('-results-dir',
открывается Polyspace происходит файл от resultsFolder
)resultsFolder
в Polyspace Code Prover.
polyspaceCodeProver('-help')
отображения все опции, которые могут быть предоставлены polyspaceCodeProver
команда, чтобы запустить верификацию Polyspace Code Prover.
polyspaceCodeProver('-sources',
запускает верификацию Polyspace Code Prover на исходных файлах, заданных в sourceFiles
)sourceFiles
.
polyspaceCodeProver('-sources',
запускает верификацию Polyspace Code Prover на исходных файлах с дополнительными опциями, заданными одним или несколькими sourceFiles
,Name,Value
)Name,Value
парные аргументы.
Прежде чем вы запустите Polyspace из MATLAB, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.
polyspace.CodeProverOptions
| polyspace.ModelLinkCodeProverOptions