-report-template)Задайте шаблон для генерации аналитического отчета
Задайте шаблон для генерации аналитического отчета.
.rpt файлы для шаблонов отчета доступны в polyspaceroot\toolbox\polyspace\psrptgen\templates\polyspacerootC:\Program Files\Polyspace\R2019a.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Reporting. У вас есть отдельные опции для анализа Программы автоматического доказательства Средства поиска и Кода Ошибки. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -report-template. Смотрите информацию о командной строке.
В зависимости от шаблона, который вы используете, отчет содержит информацию об определенных типах результатов панели Results List. Шаблон также определяет, какая информация представлена в отчете и как информация организована. См. описания шаблона ниже.
Значение по умолчанию: BugFinderSummary
BugFinderСписки отчетов:
Polyspace Bug Finder Summary: Количество результатов в проекте. Результаты получены в итоге файлом. Файлы, которые частично анализируются из-за ошибок компиляции, перечислены в отдельной таблице.
Code Metrics: Сводные данные различных метрик сложности кода. Для получения дополнительной информации смотрите Метрики Кода (Polyspace Code Prover Access).
Coding Rules: Кодирование нарушений правила в исходном коде. Для каждого нарушения правила отчет перечисляет:
Управляйте номером и описанием.
Функция, содержащая нарушение правила.
Рассмотрите информацию, такую как Severity, Status и комментарии.
Defects: Дефекты найдены в исходном коде. Для каждого дефекта отчет перечисляет:
Функция, содержащая дефект.
Дефектная информация о панели Result Details.
Рассмотрите информацию, такую как Severity, Status и комментарии.
Configuration Settings: Список аналитических опций, которые Polyspace использует в анализе. Если вы сконфигурировали свой проект для многозадачности, этот раздел также перечисляет Concurrency Modeling Summary. Если ваш проект имеет исходные файлы с ошибками компиляции, эти файлы также перечислены.
Если вы проверяете на кодирование правил, дополнительный раздел Coding Rules Configuration утверждает правила наряду с информацией, включили ли им или отключили.
BugFinderSummaryСписки отчетов:
Polyspace Bug Finder Summary: Количество результатов в проекте. Результаты получены в итоге файлом. Файлы, которые частично анализируются из-за ошибок компиляции, перечислены в отдельной таблице.
Code Metrics: Сводные данные различных метрик сложности кода. Для получения дополнительной информации смотрите Метрики Кода (Polyspace Code Prover Access).
Coding Rules Summary: Кодирование правил наряду с количеством нарушений.
Defect Summary: Дефекты, которые ищет Polyspace Bug Finder™. Для каждого дефекта отчет перечисляет:
Дефектная группа.
Дефектное имя.
Количество экземпляров дефекта найдено в исходном коде.
Configuration Settings: Список аналитических опций, которые Polyspace использует в анализе. Если вы сконфигурировали свой проект для многозадачности, этот раздел также перечисляет Concurrency Modeling Summary. Для получения дополнительной информации см. Аналитические Опции (Polyspace Bug Finder). Если ваш проект имеет исходные файлы с ошибками компиляции, эти файлы также перечислены.
Если вы проверяете на кодирование правил, дополнительный раздел Coding Rules Configuration утверждает правила наряду с информацией, включили ли им или отключили.
CodeMetricsОтчет перечисляет следующее:
Code Metrics Summary: Различные количества связаны с исходным кодом. Для получения дополнительной информации смотрите Метрики Кода (Polyspace Code Prover Access).
Code Metrics Details: Различные количества, связанные с исходным кодом с информацией, сломанной файлом и функцией.
Configuration Settings: Список аналитических опций, которые Polyspace использует в анализе. Если вы сконфигурировали свой проект для многозадачности, этот раздел также перечисляет Concurrency Modeling Summary. Если ваш проект имеет исходные файлы с ошибками компиляции, эти файлы также перечислены.
Если вы проверяете на кодирование правил, дополнительный раздел Coding Rules Configuration утверждает правила наряду с информацией, включили ли им или отключили.
CodingStandardsОтчет содержит отдельные главы для каждого стандарта кодирования, включенного в анализе (например, MISRA C®: 2012, CERT® C, пользовательские правила, и так далее). Каждая глава содержит следующую информацию:
Summary - Violations by File: График, показывающий каждый файл с количеством нарушений правила.
Summary - Violations by Rule: График, показывающий каждое правило с количеством нарушений. Если правило не включено или не нарушено, это не появляется в графике.
Summary for all Files: Таблица, показывающая каждый файл с количеством нарушений правила.
Summary for Enabled Guidelines или Summary for Enabled Rules: Таблица, показывающая каждую инструкцию или правило с количеством нарушений.
Violations: Таблицы, перечисляющие каждое нарушение правила, наряду с информацией, такие как ID, имя функции, серьезность, состояние, и так далее. Одна таблица составлена на файл.
Приложение перечисляет опции, используемые в анализе Polyspace.
SecurityCWEОтчет содержит ту же информацию как BugFinder отчет. Однако в главе Defects, дополнительные списки столбцов правила CWE™, сопоставленные с каждым дефектом. Приложение Configuration Settings также включает Security Standard to Polyspace Result Map.
MetricsТолько доступный для результатов загружается с интерфейса Polyspace Metrics.
Отчет перечисляет информацию, полезную для инженеров по качеству и доступную в интерфейсе Polyspace Metrics, включая:
Информация о том, удовлетворяет ли проект качественным целям
Время, потраченное в каждой фазе анализа
Метрики о целом проекте. Для каждой метрики отчет перечисляет качественный порог и удовлетворяет ли метрика этому порогу.
Кодирование нарушений правила в проекте. Для каждого правила отчет перечисляет количество выровненных по ширине нарушений и удовлетворяют ли выравнивания качественным целям.
Определенные, а также возможные ошибки времени выполнения в проекте. Для каждого типа ошибки времени выполнения отчет перечисляет количество выровненных по ширине ошибок и удовлетворяют ли выравнивания качественным целям.
Приложения содержат более подробную информацию параметров конфигурации Polyspace, метрик кода, кодируя нарушения правила и ошибки времени выполнения.
Значение по умолчанию: Developer
CodeMetricsОтчет содержит сводные данные метрик кода, сопровождаемых полными метриками для приложения.
CodingStandardsОтчет содержит отдельные главы для каждого стандарта кодирования, включенного в анализе (например, MISRA C: 2012, пользовательские правила, и так далее). Каждая глава содержит следующую информацию:
Summary - Violations by File: График, показывающий каждый файл с количеством нарушений правила.
Summary - Violations by Rule: График, показывающий каждое правило с количеством нарушений. Если правило не включено или не нарушено, это не появляется в графике.
Summary for all Files: Таблица, показывающая каждый файл с количеством нарушений правила.
Summary for Enabled Guidelines или Summary for Enabled Rules: Таблица, показывающая каждую инструкцию или правило с количеством нарушений.
Violations: Таблицы, перечисляющие каждое нарушение правила, наряду с информацией, такие как ID, имя функции, серьезность, состояние, и так далее. Одна таблица составлена на файл.
Приложение перечисляет опции, используемые в анализе Polyspace.
DeveloperОтчет перечисляет информацию, полезную для разработчиков, включая:
Сводные данные результатов
Кодирование нарушений правила
Список доказанных ошибок времени выполнения или красных проверок
Список бездоказательных ошибок времени выполнения или оранжевых проверок
Список недостижимых процедур или серых проверок
Использование глобальной переменной в коде. Смотрите Глобальные переменные (Polyspace Code Prover Access).
Отчет также содержит параметры конфигурации Polyspace и модифицируемые предположения, используемые в анализе. Если ваш проект имеет исходные файлы с ошибками компиляции, эти файлы также перечислены.
DeveloperReviewОтчет перечисляет ту же информацию как Developer отчет. Однако рассмотренные результаты сортируются по серьезности и состоянию, и нерассмотренные результаты сортируются по расположению файла.
Developer_withGreenChecksОтчет перечисляет ту же информацию как Developer отчет. Кроме того, отчет перечисляет код, который, как доказывают, был безошибочными или зелеными проверками.
QualityОтчет перечисляет информацию, полезную для инженеров по качеству, включая:
Сводные данные результатов
Статистика о коде
Графики, показывающие распределения проверок на файл
Отчет также содержит параметры конфигурации Polyspace и модифицируемые предположения, используемые в анализе. Если ваш проект имеет исходные файлы с ошибками компиляции, эти файлы также перечислены.
VariableAccessОтчет отображает доступ к глобальной переменной в вашем исходном коде. Отчет сначала отображает количество глобальных переменных каждого типа. Для получения информации о типах смотрите Глобальные переменные (Polyspace Code Prover Access). Для каждой глобальной переменной отчет отображает следующую информацию:
Имя переменной.
Запись для каждой переменной обозначается |.
Тип переменной.
Количество операций чтения и операций записи на переменной.
Детали операций чтения и операций записи. Для каждой операции чтения или операции записи, таблица показывает следующую информацию:
Файл и функция, содержащая операцию в форме file_nameFunctionName
Запись для каждой операции чтения или операции записи обозначается ||. Операции записи обозначаются < и операции чтения >.
Номер строки и номер столбца операции.
Этот отчет получает информацию, доступную на панели Variable Access в пользовательском интерфейсе Polyspace.
CallHierarchyОтчет отображает иерархию вызова в вашем исходном коде. Для каждого вызова функции в вашем исходном коде отчет отображает следующую информацию:
Уровень иерархии вызова, где функция вызвана.
Каждый уровень обозначается |. Если вызов функции появляется в таблице как |||-> , вызов функции происходит на третьем уровне иерархии. Начало от file_nameFunctionName main или точка входа, существует три продвижения вызовов функции к текущему вызову.
Файл, содержащий вызов функции.
Кроме того, линия и столбец также отображены.
Файл, содержащий функциональное определение.
Кроме того, линия и столбец, где функциональное определение начинается, также отображены.
Кроме того, отчет также отображает невостребованные функции.
Этот отчет получает информацию, доступную на панели Call Hierarchy в пользовательском интерфейсе Polyspace.
SoftwareQualityObjectivesОтчет перечисляет информацию, полезную для инженеров по качеству и доступную в интерфейсе Polyspace Metrics, включая:
Информация о том, удовлетворяет ли проект качественным целям
Время, потраченное в каждой фазе верификации
Метрики о целом проекте. Для каждой метрики отчет перечисляет качественный порог и удовлетворяет ли метрика этому порогу.
Кодирование нарушений правила в проекте. Для каждого правила отчет перечисляет количество выровненных по ширине нарушений и удовлетворяют ли выравнивания качественным целям.
Определенные, а также возможные ошибки времени выполнения в проекте. Для каждого типа ошибки времени выполнения отчет перечисляет количество выровненных по ширине ошибок и удовлетворяют ли выравнивания качественным целям.
Приложения содержат более подробную информацию параметров конфигурации Polyspace, метрик кода, кодируя нарушения правила и ошибки времени выполнения.
Этот шаблон доступен, только если вы генерируете отчет от результатов, загруженных на Polyspace доступ к веб-интерфейсу или от результатов, загруженных на Метрический веб-интерфейс Polyspace (и затем загруженный на пользовательский интерфейс Polyspace). В каждом случае необходимо установить цели явным образом в веб-интерфейсе и затем сгенерировать отчеты.
SoftwareQualityObjectives_SummaryОтчет содержит ту же информацию как SoftwareQualityObjectives отчет. Однако это не имеет приложений поддержки с деталями метрик кода, кодируя нарушения правила и ошибки времени выполнения.
Этот шаблон доступен, только если вы генерируете отчет от результатов, загруженных на Polyspace доступ к веб-интерфейсу или от результатов, загруженных на Метрический веб-интерфейс Polyspace (и затем загруженный на пользовательский интерфейс Polyspace). В каждом случае необходимо установить качественный уровень цели явным образом в веб-интерфейсе и затем сгенерировать отчеты.
В пользовательском интерфейсе десктопных решений Polyspace включена эта опция, только если вы выбираете Generate report опция.
Эта опция позволяет вам задавать генерацию отчета прежде, чем запустить анализ.
Чтобы сгенерировать отчет после, анализ завершен в пользовательском интерфейсе десктопных решений Polyspace, выберите Reporting> Run Report. В качестве альтернативы в командной строке, используйте polyspace-report-generator команда.
После анализа можно также экспортировать результат как текстовый файл для дальнейшей индивидуальной настройки. Используйте опцию -generate-results-list-file с polyspace-report-generator команда.
В Средстве поиска Ошибки отчет не содержит номер строки или номер столбца для результата. Используйте отчет в архивации, сборе статистики и проверке, были ли результаты рассмотрены и обращены (в целях сертификации или в противном случае). Чтобы рассмотреть результат в вашем исходном коде, используйте пользовательский интерфейс Polyspace или ваш IDE, если вы используете плагин Polyspace.
Если вы используете SoftwareQualityObjectives_Summary и SoftwareQualityObjectives шаблоны, чтобы сгенерировать отчеты, состояние передачи/сбоя зависит от того, устанавливаете ли вы качественный уровень целей в Метриках Polyspace или Polyspace доступ:
В Polyspace доступ состояние передачи/сбоя определяется на основе всех результатов. Например, если вы используете уровень SQO-4, который устанавливает порог 60% на оранжевых проверках переполнения, ваш проект имеет состояние FAIL, если процент зеленых и выровненных по ширине оранжевых проверок переполнения меньше 60% всех зеленых и оранжевых проверок переполнения.
В Метриках Polyspace состояние передачи/сбоя определяется на основе основания файла файлом. Полным состоянием является FAIL, если один из файлов имеет состояние FAIL. Например, если вы используете уровень SQO-4, который устанавливает порог 60% на оранжевых проверках переполнения, ваш проект имеет состояние FAIL, если процент зеленого и выровнял по ширине оранжевые регистрации переполнения какого-либо файла, меньше, 60% зелено-оранжевого переполнения регистрируются в том файле.
Параметр: -report-template |
Значение: Полный путь к |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |