Интерпретировать результаты проверки кода в пользовательском интерфейсе Polyspace Desktop
Интерпретировать сообщение сведений о результате, найти корень результата.
Анализ проверки кода после проверки красного и оранжевого цветов
Узнайте, как операция, содержащая ошибку времени выполнения, влияет на проверку последующего кода.
Проверка оранжевого цвета в проверочном коде
Узнайте, почему проверка не может доказать наличие или отсутствие ошибки для определенных операций и почему необходимо просмотреть операции.
Панель «Панель мониторинга» показывает обзор результатов проверки кода в графическом формате, например, распределение проверки выполнения по цвету.
На панели Список результатов (Results List) перечислены результаты проверки кода с такими атрибутами, как файл, функция и статус проверки.
На панели «Источник» отображается исходный код, перекрываемый результатами проверки кода.
На панели Сведения о результате (Result Details) отображаются сведения о конкретном результате проверки кода вместе с информацией о проверке.
Панель «Иерархия вызовов» отображает вызывающих и вызывающих абонентов функции.
На панели «Доступ к переменным» отображаются все глобальные переменные, а также операции чтения и записи.
На панели Оранжевые источники (Orange Sources) отображаются неограниченные источники, такие как энергозависимые переменные и упорные функции, которые могут вызвать несколько проверок оранжевого цвета.