Exponenta Banner

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

Когда вы запускаете Polyspace® на сгенерированном коде в результатах анализа, вы видите ссылки в комментариях к коду. Ссылки показывают имена блоков, которые генерируют последующие строки кода. Чтобы видеть блоки в модели, вы кликаете по именам блока в ссылках.

Эта тема показывает проблемы, которые могут произойти в навигации от кода до модели.

Ссылки от кода до модели не появляются

Смотрите, смотрите ли вы на исходные файлы (.c или .cpp) или заголовочные файлы. Заголовочные файлы непосредственно не сопоставлены с блоками в модели и не имеют ссылок назад на модель.

Ссылки от кода до модели не работают

Можно столкнуться с проблемами с назад к особенности модели если:

  • Ваша операционная система является Windows Vista™ или Windows® 7; и Управление учетными записями пользователей (UAC) включено, или у вас нет прав администратора.

  • У вас есть несколько версий установленного MATLAB®.

Повторно подключить MATLAB и Polyspace:

  1. Закройте Polyspace.

  2. В командной строке MATLAB введите pslinkfun('enablebacktomodel').

    Когда вы откроете свои результаты Polyspace, гиперссылки подсветят соответствующие блоки в вашей модели.

Ваша модель уже использует выделение

Если ваша модель экстенсивно использует окраску блока, окраска от этой функции может уже вмешаться в цвета в вашей модели. Можно изменить цвет блоков, когда они соединяются с результатами Polyspace. Например, чтобы изменить цвет на пурпурный, используйте эту команду:

color = 'magenta';
HILITE_DATA = struct('HiliteType', 'find', 'ForegroundColor', 'black', ...
        'BackgroundColor', color);
set_param(0, 'HiliteAncestorsData', HILITE_DATA)
Цвет может быть одним из следующего:

  • 'cyan'

  • 'magenta'

  • 'orange'

  • 'lightBlue'

  • 'red'

  • 'green'

  • 'blue'

  • 'darkGreen'

Документация Polyspace Code Prover
Поддержка