Создание переопределений для глобальных фильтров в отчетах Polyspace (только для проверки кода)
Этот компонент добавляет в отчет подробную информацию о проверках времени выполнения. Этот компонент также может использоваться для переопределения глобальных фильтров в определенных главах отчета. При использовании фильтров в отчете используйте следующий рабочий процесс:
Для создания фильтров, применимых ко всем главам отчета, используйте компонент Настройка отчета (фильтрация). Дополнительные сведения см. в разделе Report Customization (Filtering).
Чтобы переопределить некоторые фильтры в отдельных главах, используйте компонент Подробные данные проверок во время выполнения, упорядоченные по цвету/файлу. Выберите поле фильтра Переопределить глобальный отчет (Override Global Report).
Свойства в таблице ниже применяются к включению проверок Prover™ кода Polyspace ® в отчет.
| Собственность | Цель |
|---|---|
| Красные чеки | Укажите, следует ли включать в отчет проверки красного цвета. Красные проверки указывают на доказанные ошибки во время выполнения. |
| Серые чеки | Укажите, следует ли включать серые проверки в отчет. Серые проверки указывают на недоступность кода. |
| Оранжевые чеки | Укажите, следует ли включать в отчет оранжевые чеки. Оранжевые проверки указывают на возможные ошибки во время выполнения. |
| Зеленые чеки | Укажите, следует ли включать зеленые чеки в отчет. Зеленые проверки показывают, что операция не содержит определенной ошибки времени выполнения. |
| Проверки точек контроля | Укажите, следует ли включать проверки точек контроля в отчет. Эти проверки позволяют пользователю находить значения, которые переменная может принимать в определенной точке кода. |
| Недоступные функции | Укажите, следует ли включать в отчет недоступные функции. |
Свойства в таблице ниже применяются к включению в отчет метрик, нарушений правил кодирования и проверок проверки кода Polyspace.
| Собственность | Цель | Действие пользователя |
|---|---|---|
| Статус обоснования | Укажите, следует ли сообщать только об обоснованных проверках, только о необоснованных проверках или обо всех проверках. | Выберите опцию из раскрывающегося списка. |
| Файлы для включения | Укажите файлы для включения в отчет или исключения из него. | Введите регулярное выражение MATLAB ®. |
| Типы проверок для включения | Укажите проверки подтверждения кода Polyspace для включения в отчет. | Введите регулярное выражение MATLAB. |
| Имена функций для включения | Укажите функции для включения или исключения из отчета. | Введите регулярное выражение MATLAB. |
| Включаемые типы классификации | Укажите классификации для включения в отчет или исключения из него. | Введите регулярное выражение MATLAB. |
| Типы статуса для включения | Укажите статусы для включения в отчет или исключения из него. | Введите регулярное выражение MATLAB. |
| Комментарии для включения | Укажите комментарии для включения или исключения из отчета. | Введите регулярное выражение MATLAB. |