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