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

Код непроверенный, неясные оранжевые проверки, необнаруженные нарушения правила кодирования, и так далее

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

Изучите результаты верификации

Исследуйте свой результат верификации далее использующие функции в пользовательском интерфейсе Polyspace®.

Причины кода непроверенного

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

Исходные файлы или функции, не отображенные в списке результатов

Диагностируйте, почему вы не видите некоторые свои файлы или функции в результатах верификации.

Кодирование стандартных нарушений, не отображенных

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

Неправильное поведение стандартных математических функций библиотеки

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

Диагностируйте навигацию от кода до модели

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

Контакт с технической поддержкой

Изучите то, что MathWorks® Technical Support должен от вас диагностировать проблему.