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