Exponenta Banner

полипробел. Класс DefectsOptions

Пакет: полипробел

Создайте пользовательский список дефектов, чтобы проверять

расширьте все на странице

Описание

Создайте пользовательский список дефектов, чтобы проверять. Этот объект полезен, если вы хотите проверять только пользовательское подмножество дефектов Средства поиска Ошибки. Чтобы использовать ваш пользовательский список дефектов в анализе, необходимо добавить его в объект polyspace.Options или polyspace.ModelLinkOptions (только десктопные решения). В вашем объекте опций Средства поиска Ошибки, набор следующие свойства:

  • Добавьте свой дефектный объект опций в свойство BugFinderAnalysis.CheckersList.

  • Измените свойство BugFinderAnalysis.CheckersPreset на 'custom'.

Примечание

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

Конструкция

defectList = polyspace.DefectsOptions создает дефектный объект defectList опций. Можно настроить список активных дефектов путем изменения свойств.

Свойства

Объект создается с поддерживаемыми дефектами как свойства. Дефекты перечислены их именем командной строки, найденным на отдельных дефектных страницах с описанием.

По умолчанию все дефекты выключены. Чтобы включить дефект, установите дефект на истину. Например:

defectList.FLOAT_ZERO_DIV = true

Копировать семантику

Значение. Чтобы изучить, как классы значения влияют на операции копии, смотрите Копирование Объектов (MATLAB).

Примеры

свернуть все

Используйте полипробел. Объект DefectsOptions настроить список дефектов, проверяемых во время анализа Polyspace Bug Finder.

Создайте объекты опций.

defects = polyspace.DefectsOptions;
opts = polyspace.Options;

Установите свойства объектов Средства поиска Ошибки анализировать с индивидуально настраиваемым дефектным списком.

opts.BugFinderAnalysis.CheckersList = defects;
opts.BugFinderAnalysis.CheckersPreset = 'custom';

Активируйте числовые дефекты.

defects.FLOAT_ZERO_DIV = true;
defects.INT_ZERO_DIV = true;
defects.FLOAT_ABSORPTION = true;
defects.BITWISE_NEG = true;
defects.FLOAT_CONV_OVFL = true;
defects.FLOAT_OVFL = true;
defects.INT_CONV_OVFL = true;
defects.INT_OVFL = true;
defects.FLOAT_STD_LIB = true;
defects.INT_STD_LIB = true;
defects.SHIFT_NEG = true;
defects.SHIFT_OVFL = true;
defects.SIGN_CHANGE = true;
defects.UINT_CONV_OVFL = true;
defects.UINT_OVFL = true;
defects.BAD_PLAIN_CHAR_USE = true;

Смотрите также

| |

Темы

Введенный в R2017b

Документация Polyspace Bug Finder
Поддержка