Exponenta Banner

-import-comments

Импортируйте информацию об анализе из предыдущего анализа

Синтаксис

-import-comments resultsFolder

Описание

-import-comments resultsFolder импортирует информацию об анализе (состояние, серьезность и дополнительные примечания) от предыдущего анализа, как задано папкой результатов.

Можно импортировать информацию об анализе из того же типа результатов только. Например:

  • Вы не можете импортировать информацию об анализе из результаты средства проверки Средства поиска Ошибки к проверке на этапе выполнения Программы автоматического доказательства Кода. Даже когда имена средства проверки звучат подобными, базовая семантика Программы автоматического доказательства Средства поиска и Кода Ошибки может отличаться. Единственным исключением являются средства проверки для кодирования правил. Можно импортировать комментарии между Программой автоматического доказательства Средства поиска и Кода Ошибки для кодирования нарушений правила.

  • Вы не можете импортировать информацию об анализе из результатов верификации файла файлом в Программе автоматического доказательства Кода к результатам регулярной верификации Программы автоматического доказательства Кода.

Можно также использовать эту опцию, чтобы создать базовую линию для результатов анализа. В пользовательском интерфейсе Polyspace®, если вы нажимаете кнопку New, только результаты анализа, которые являются новыми по сравнению с базовой линией, остаются в списке результатов.

Если при запуске анализ от пользовательского интерфейса (только десктопные решения Polyspace) на панели Configuration, можно ввести эту опцию в поле Other. Смотрите Other.

Примеры

Импортируйте информацию об анализе из предыдущих результатов:

  • Средство поиска ошибки:

    polyspace-bug-finder -sources filename -import-comments C:\Results\myProj\1.2

  • Программа автоматического доказательства кода:

    polyspace-code-prover -sources filename -import-comments C:\Results\myProj\1.2

  • Сервер средства поиска ошибки:

    polyspace-bug-finder-server -sources filename -import-comments C:\Results\myProj\1.2

  • Сервер программы автоматического доказательства кода:

    polyspace-code-prover-server -sources filename -import-comments C:\Results\myProj\1.2

Смотрите также

|

Темы

Документация Polyspace Code Prover Server

Поддержка