Можно задать аналитические опции в пользовательском интерфейсе Polyspace® и позже сгенерировать скрипт MATLAB® для более легкого повторного использования тех опций.
В пользовательском интерфейсе, чтобы определить, какие опции задать, у вас есть подсказки, автозавершение имен функций, ассистента компиляции, контекстно-зависимая справка и так далее. После того, как вы зададите опции, можно сгенерировать скрипт MATLAB. Для последующих исследований можно изменить и запустить скрипт, не открывая пользовательский интерфейс Polyspace.
Прежде чем вы запустите Polyspace из MATLAB, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Polyspace с MATLAB и Simulink.
Чтобы запустить анализ в пользовательском интерфейсе 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);
Если проект будет иметь больше чем один модуль (больше чем с одной настройкой в каждом модуле), опции от в настоящее время активной настройки в в настоящее время активном модуле будут извлечены в объекте опций. Вы не можете использовать loadProject метод на файле проекта, который создается из команды сборки при помощи polyspace-configure.
Добавьте объект к скрипту 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.
