Пакет: полипробел
Создайте типовую целевую настройку
Создайте пользовательскую цель для анализа Polyspace®, если ваш целевой процессор не совпадает с одной из предопределенных целей.
Примечание
Прежде чем вы запустите Polyspace от MATLAB®, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Серверные продукты Polyspace с MATLAB и Simulink.
создает типовую цель, которую можно настроить. Чтобы задать размеры и выравнивание типов данных, измените свойства объекта. Например:genericTarget
= polyspace.GenericTargetOptions
target = polyspace.GenericTargetOptions; target.CharNumBits = 16;
Значение. Чтобы изучить, как классы значения влияют на операции копии, смотрите Копирование Объектов (MATLAB).
Используйте пользовательскую цель для анализа Polyspace.
Создайте два объекта: polyspace.GenericTargetOptions
объект для создания пользовательской цели и polyspace.Project
объект для выполнения анализа Polyspace.
target = polyspace.GenericTargetOptions; proj = polyspace.Project;
Настройте типовую цель.
target.Endianess = 'big';
target.LongLongNumBits = 64;
target.ShortNumBits = 8;
Добавьте пользовательскую цель в Configuration
свойство polyspace.Project
объект.
proj.Configuration.TargetCompiler.Target = target;
Можно теперь использовать polyspace.Project
возразите, чтобы запустить анализ.
Generic target options
| polyspace.CodingRulesOptions
| polyspace.Options
| polyspace.Project