Создайте переопределения для глобальных фильтров в отчетах Polyspace (только для Code Prover)
Этот компонент добавляет к отчету подробную информацию о проверках во время выполнения. Этот компонент также может использоваться для переопределения глобальных фильтров в определенных главах отчета. Используйте следующий рабочий процесс при использовании фильтров в отчете:
Чтобы создать фильтры, которые применяются ко всем главам отчета, используйте компонент Report Customization (Filtering). Для получения дополнительной информации смотрите Report Customization (Filtering).
Чтобы переопределить некоторые фильтры в отдельных главах, используйте компонент 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. |