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