Осмыслите результаты верификации
Исследуйте свой результат верификации далее, используя функции в Polyspace® пользовательский интерфейс.
Диагностируйте, почему верификация не проверил значительный фрагмент вашего кода на ошибки времени выполнения.
Исходные файлы или функции, не отображаемые в списке результатов
Диагностируйте, почему вы не видите некоторые свои файлы или функции в результатах верификации.
Стандартные нарушения кодирования не отображаются
Диагностируйте, почему нарушение правил кодирования не помечено как вы ожидаете.
Неправильное поведение математических функций стандартной библиотеки
Диагностируйте неожиданное поведение стандартных библиотечных математических функций в результатах вашей верификации.
Диагностируйте проблемы навигации из кода в модель
Диагностируйте проблемы, переходя от сгенерированного кода C/C + + к соответствующим блокам в Simulink® модель.
Разрешение ошибок -xml-аннотаций-описания
Диагностируйте ошибки при применении пользовательских аннотаций кода к результатам Polyspace.
Обратитесь в службу технической поддержки о проблемах с запущенным Polyspace
Узнать, что MathWorks® Для диагностики проблемы необходима техническая поддержка.
