При запуске Polyspace ® для сгенерированного кода в результатах анализа отображаются ссылки в комментариях к коду. Ссылки отображают имена блоков, генерирующих последующие строки кода. Чтобы увидеть блоки в модели, щелкните имена блоков в ссылках.
В этом разделе показаны проблемы, которые могут возникнуть при переходе от кода к модели.
Проверьте, просматриваете ли вы исходные файлы (.c или .cpp) или заголовочные файлы. Файлы заголовков не связаны непосредственно с блоками в модели и не имеют связей с моделью.
Проблемы с элементом «back-to-model» могут возникнуть, если:
Ваша операционная система - Windows Vista™ или Windows ® 7; и управление учетными записями пользователей (UAC) включено или у вас нет прав администратора.
Установлено несколько версий MATLAB ®.
Для повторного подключения MATLAB и Polyspace:
Закройте Polyspace.
В командной строке 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'