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