Run-time Checks Details Ordered by Color/File

Создайте переопределения для глобальных фильтров в отчетах Polyspace (только для Code Prover)

Описание

Этот компонент добавляет к отчету подробную информацию о проверках во время выполнения. Этот компонент также может использоваться для переопределения глобальных фильтров в определенных главах отчета. Используйте следующий рабочий процесс при использовании фильтров в отчете:

  1. Чтобы создать фильтры, которые применяются ко всем главам отчета, используйте компонент Report Customization (Filtering). Для получения дополнительной информации смотрите Report Customization (Filtering).

  2. Чтобы переопределить некоторые фильтры в отдельных главах, используйте компонент Run-time Checks Details Ordered by Color/File. Выберите поле Override Global Report filter.

Свойства

Категории, которые нужно включить

Свойства в таблице ниже применяются к включению Polyspace® Code Prover™ проверяет ваш отчет.

СвойствоЦель
Red ChecksУкажите, включать ли в отчет проверки красного цвета. Проверки красного цвета указывают на проверенные ошибки времени выполнения.
Gray ChecksУкажите, следует ли включать серые проверки в отчет. Серые проверки указывают на недоступность кода.
Orange ChecksУкажите, включать ли в отчет оранжевые проверки. Оранжевые проверки указывают на возможные ошибки времени выполнения.
Green ChecksУкажите, следует ли включать зеленые проверки в отчет. Зеленые проверки показывают, что операция не содержит определенной ошибки времени выполнения.
Inspection Point ChecksУкажите, следует ли включать проверки контрольных точек в отчет. Эти проверки позволяют пользователю находить значения, которые переменная может принимать в определенной точке кода.
Unreachable FunctionsУкажите, включать ли в отчет недоступные функции.

Расширенные фильтры

Свойства в таблице ниже применяются к включению метрик, нарушений правил кодирования и проверок Polyspace Code Prover в ваш отчет.

СвойствоЦельДействие пользователя
Justification statusВыберите, следует ли сообщать только о обоснованных проверках, только о необоснованных проверках или обо всех проверках.Выберите опцию из выпадающего списка.
Files to includeУкажите файлы для включения или исключения из отчета.Введите обычный MATLAB® выражение.
Check types to includeУкажите проверки Polyspace Code Prover, которые будут включены в ваш отчет.Введите регулярное выражение MATLAB.
Function names to includeЗадайте функции, которые нужно включить или исключить из отчета.Введите регулярное выражение MATLAB.
Classification types to includeУкажите классификации, которые нужно включить или исключить из отчета.Введите регулярное выражение MATLAB.
Status types to includeЗадайте статусы, которые нужно включить или исключить из отчета.Введите регулярное выражение MATLAB.
Comments to includeУкажите комментарии для включения или исключения из отчета.Введите регулярное выражение MATLAB.