Когда вы запускаете 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'
