Сгенерируйте Скрипты MATLAB от пользовательского интерфейса Polyspace

Можно задать аналитические опции в пользовательском интерфейсе Polyspace^® и позже сгенерировать скрипт MATLAB^® для более легкого повторного использования тех опций.

В пользовательском интерфейсе, чтобы определить, какие опции задать, у вас есть подсказки, автозавершение имен функций, ассистента компиляции, контекстно-зависимая справка и так далее. После того, как вы зададите опции, можно сгенерировать скрипт MATLAB. Для последующих исследований можно изменить и запустить скрипт, не открывая пользовательский интерфейс Polyspace.

Предпосылки

Прежде чем вы запустите Polyspace из MATLAB, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.

Создание скриптов из проектов Polyspace

Чтобы запустить анализ в пользовательском интерфейсе Polyspace, создайте проект. В проекте:

Вы задаете источник и включаете папки во время создания проекта.
Вы задаете аналитические опции, такие как компилятор или многозадачность в вашей настройке проекта. Вы также включаете или отключаете средства проверки.

Из этого проекта можно сгенерировать скрипт, который содержит источники, включает и другие аналитические опции. Чтобы начаться, выберите File> New Project. Для получения дополнительной информации смотрите, Добавляют Исходные файлы для Анализа в Пользовательском интерфейсе Polyspace.

Этот пример использует демонстрационный проект. Чтобы открыть проект, выберите Help> Examples> Code_Prover_Example.psprj. Вы видите опции в настройке проекта. Например, на узле Target & Compiler, вы видите generic компилятор и i386 процессор.

Открытый MATLAB.
Создайте polyspace.Options объект из демонстрационного проекта Polyspace.
```
projectFile = fullfile(polyspaceroot, 'polyspace', 'examples', 'cxx', ...
         'Code_Prover_Example', 'Code_Prover_Example.psprj');
opts = polyspace.loadProject(projectFile);
```
Если проект будет иметь больше чем один модуль (больше чем с одной настройкой в каждом модуле), опции от в настоящее время активной настройки в в настоящее время активном модуле будут извлечены в объекте опций.
Добавьте объект к скрипту MATLAB.
```
filePath = opts.toScript('runPolyspace.m','append');
```
Откройте скрипт runPolyspace.m. Вы видите опции, которые вы задали от пользовательского интерфейса. Например, вы видите компилятор и целевой процессор.
```
opts.TargetCompiler.Compiler = 'generic';
opts.TargetCompiler.Target = 'i386';
```
Позже, можно запустить скрипт, чтобы создать polyspace.Options объект.
```
run(filePath);
```

Предыдущий пример преобразует демонстрационный проект Code_Prover_Example непосредственно к скрипту. Когда вы открываете демонстрационный проект в пользовательском интерфейсе, копия загружается в вашу рабочую область Polyspace. Если вы вносите изменения в демонстрационный проект, изменения внесены в скопированную версию. Чтобы видеть изменения в вашем скрипте MATLAB, обеспечьте скопированный путь к проекту к loadProject метод. Чтобы видеть местоположение вашей рабочей области, выберите Tools> Preferences и просмотрите вкладку Project and Results Folder.

Документация