Пакет: полипространство
Создайте объект строения проекта для выполнения анализа Polyspace на сгенерированном коде
Запуск Polyspace® анализ из MATLAB® при помощи объекта строения проекта. Чтобы задать исходные файлы и настроить опции анализа, измените свойства объекта.
Этот класс предназначен для сгенерированного моделью кода. Если вы анализируете рукописный код, используйте polyspace.Options
вместо этого.
Примечание
Перед запуском Polyspace из MATLAB необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».
psprjConfig = polyspace.ModelLinkOptions
создает объект строения проекта, который сконфигурирован для выполнения анализа Polyspace на сгенерированном коде.
psprjConfig = polyspace.ModelLinkOptions(
создает объект строения проекта, который сконфигурирован для выполнения анализа на коде, сгенерированном на языке lang
)lang
.
psprjConfig = polyspace.ModelLinkOptions(
создает объект строения проекта, который конфигурируется с помощью конкретной информации модели из Simulink® модели model
)model
. До извлечения опций из model
, вы должны загрузить модель и сгенерировать код из нее.
psprjConfig = polyspace.ModelLinkOptions(
создает объект строения проекта для конкретной модели, который конфигурируется с помощью опций анализа Polyspace, заданных в model
, psOpt
)psOpt
.
psprjConfig = polyspace.ModelLinkOptions(
создает объект строения проекта, который использует model
, psOpt
, asModelRef
)asModelRef
для определения типа сгенерированного кода для анализа - автономного кода или модели-ссылки кода.
Свойства объекта соответствуют опциям строения для проектов Polyspace. Свойства организованы в тех же категориях, что и интерфейс Polyspace. Имена свойства являются сокращенной версией имени командной строки DOS. Для получения дополнительной информации о синтаксисе см. полипространство. Свойства ModelLinkOptions.
copyTo | Скопируйте общие настройки между объектами опций Polyspace |
generateProject | Сгенерируйте проект psprj из объекта опции |
toScript | Добавьте определение объекта опций Polyspace в скрипт |
Если вы анализируете рукописный код, используйте polyspace.Project
объект непосредственно. Кроме того, используйте polyspace.Options
объект.
polyspace.Options
| polyspace.Project
| polyspaceCodeProver
| pslinkrun