Поиск и устранение проблем при рассмотрении результатов

Необнаруженное нарушение правил кодирования, ошибки генерации отчетов и так далее

Поиск и устранение проблем

Нехватка памяти во время генерации отчетов

Диагностируйте ошибки памяти во время генерации отчетов.

Стандартные нарушения кодирования не отображаются

Диагностируйте, почему нарушение правил кодирования не помечено как вы ожидаете.

Разрешение ошибок -xml-аннотаций-описания

Диагностируйте ошибки при применении пользовательских аннотаций кода к результатам Polyspace.

Диагностируйте проблемы навигации из кода в модель

Диагностируйте проблемы, переходя от сгенерированного кода C/C + + к соответствующим блокам в Simulink® модель.

Обратитесь в службу технической поддержки о проблемах с запущенным Polyspace

Узнать, что MathWorks® Для диагностики проблемы необходима техническая поддержка.