Пакет: полипространство
Создайте пользовательский список дефектов для проверки
Создайте пользовательский список дефектов для сдачи на хранение в Polyspace® анализ.
Примечание
Прежде чем запускать Polyspace из MATLAB®необходимо связать установки Polyspace и MATLAB. См. «Интеграция Polyspace с MATLAB и Simulink».
создает объект опций дефекта defectsList
= polyspace.DefectsOptionsdefectsList
. Список активных дефектов можно настроить путем изменения свойств.
Создается объект с поддерживаемыми дефектами в качестве свойств. Дефекты перечисляются по имени командной строки. Смотрите краткие имена Bug Finder Defect Checkers.
По умолчанию все дефекты отключены. Чтобы включить дефект, установите дефект равным true. Для примера:
defectsList = polyspace.DefectsOptions; defectsList.FLOAT_ZERO_DIV = true;
Значение. Чтобы узнать, как классы значений влияют на операции копирования, см. раздел «Копирование объектов».
polyspace.CodingRulesOptions
| polyspace.ModelLinkOptions
| polyspace.Options
| polyspace.Project