Результаты анализа можно экспортировать в текстовый файл с разделителями табуляции, таблицу MATLAB ® или в стандартный формат JSON. С помощью экспортированного содержимого можно:
Создайте графики или статистические данные о результатах, которые невозможно получить из интерфейса пользователя с помощью MATLAB или Microsoft ® Excel ®. Например, для каждого типа проверки Code Prover (Деление на ноль , Переполнение) можно вычислить количество проверок красного, оранжевого или зеленого цвета.
Интегрируйте результаты анализа с другими проверками, выполняемыми в коде.
Результаты можно экспортировать из интерфейса пользователя или командной строки.
| Интерфейс пользователя | Командная строка |
|---|---|
| Использовать опцию |
Экспортированный текстовый файл использует кодировку символов в операционной системе. Если специальные символы из комментариев не были правильно экспортированы в текстовый файл, измените кодировку символов в операционной системе перед экспортом.
При написании сценариев MATLAB для запуска Polyspace ® результаты анализа Polyspace можно прочесть в таблицу MATLAB для дальнейшей обработки. См.:
Результаты Polyspace можно экспортировать в объект JSON. Формат JSON соответствует стандартному представлению, предоставляемому форматом обмена результатами статического анализа OASIS (SARIF).
Использовать опцию -format json-sarif с polyspace-results-export команда. Дополнительные сведения см. в разделе polyspace-results-export.
Формат JSON содержит дополнительную информацию, например краткое имя средства проверки и полное сообщение, сопровождающее результат. Используйте формат JSON, если вы хотите использовать это короткое имя или сообщение. Этот формат можно также использовать для более стандартизированной отчетности по результатам. Например, если вы используете несколько инструментов статического анализа и хотите сообщить свои результаты в одном интерфейсе с помощью одного алгоритма синтаксического анализа, можно экспортировать все результаты в стандартный формат SARIF JSON.
Текстовый файл или таблица содержит информацию о результатах, доступную на панели Список результатов (Results List) в интерфейсе пользователя (за исключением информации о строках и столбцах). См.:
Ниже перечислены некоторые различия в представлении между панелью Список результатов (Results List) и текстовым файлом.
Текстовый файл имеет столбец New, который показывает, является ли результат новым по сравнению с последним анализом в том же коде.
Текстовый файл или таблица также содержит столбец Ключ. Запись в этом столбце основана на имени результата и расположении результата в файле.
При объединении результатов анализа из нескольких модулей, содержащих общие файлы, используйте эту запись для устранения дубликатов. Например, если выполнить проверку правил кодирования для двух различных модулей и объединить результаты, нарушения правил кодирования в общих файлах заголовков появятся в результатах дважды. Для устранения дубликатов сравните файлы и ключи результатов. Если два результата имеют одинаковые файлы и ключи, один из них является дубликатом другого.
Невозможно определить местоположение результата поиска ошибок в исходном коде с помощью текстового файла. Однако по-прежнему можно анализировать файл и создавать графики или статистические данные о результатах.