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