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