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