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