Когда вам сгенерировали код из вашей модели, можно запустить контроль, чтобы проверить структурную эквивалентность между сгенерированным кодом и исходной моделью. Когда вы запускаете инспекцию кода, по умолчанию, Simulink Code Inspector определяет местоположение кода от структуры папок значения по умолчанию Embedded Coder и смотрит ее. Опционально, можно изменить местоположение, где Simulink Code Inspector сохраняет отчеты инспекции кода при помощи текстового поля Inspect> Report Folder. Для этого примера используйте местоположение по умолчанию, чтобы хранить файлы.
Чтобы запустить инспекцию кода, нажмите Inspect. Simulink Code Inspector заполняет результаты верификации топ-модели в панели Code Inspector Verification Results.
Рассмотреть результаты инспекции кода топ-модели slcidemo_roll
:
Проверяйте Overall Status. Полным Состоянием является Passed, который указывает, что сгенерированный код и топ-модель структурно эквивалентны.
Рассмотреть результаты верификации топ-модели slcidemo_roll
, более подробно просмотрите результаты в этих вкладках:
Вкладка Model Elements обеспечивает результаты верификации блоков, используемых в модели.
Вкладка Code обеспечивает результаты верификации функциональных выходных переменных или переменных состояния, используемых в каждой сгенерированной функции.
Вкладка Interface обеспечивает результаты верификации сгенерированных функциональных интерфейсов.
Вкладка Temporary Variable обеспечивает результаты верификации сгенерированных временных переменных.
Вкладка Utility Function обеспечивает результаты верификации сгенерированных служебных функций.
Чтобы проверить трассируемость модели к коду уровня объектов инспекции кода, кликните по строке блока во вкладке Model Elements. Например, нажмите slcidemo_roll/Ail_Cmd
строка.
В холсте модели, блоке Ail_Cmd
и строки кода, которые сгенерированы для блока, подсвечены вместе, чтобы показать трассируемость.
Чтобы проверить трассируемость кода к модели уровня объектов инспекции кода, кликните по строке функциональной выходной переменной или переменной состояния во вкладке Code. Например, нажмите *rtY_Ali_Cmd
строка.
Способствующие строки кода для выхода *rtY_Ali_Cmd
и элементы модели, которые содержат функциональность строк кода, подсвечены вместе, чтобы показать трассируемость.
Рассмотреть результаты инспекции кода модели slcidemo_attitude
, на которую ссылаются,:
Откройте модель, на которую ссылаются, как топ-модель в новом окне путем нажатия на значок Open As Top Model на блоке Model.
Из нового окна Model Editor откройте приложение Code Inspector.
Задайте целевой As: модели
Model Reference
.
Откройте код, сгенерированный для модели, на которую ссылаются, путем нажатия на View Code.
Чтобы просмотреть результаты верификации инспекции кода модели, на которую ссылаются, в панели Code Inspector Verification Results, нажмите View Verification.
Проверяйте Overall Status. Полным Состоянием является Passed, который указывает, что сгенерированный код и модель, на которую ссылаются, структурно эквивалентны.
Чтобы рассмотреть результаты верификации более подробно, просмотрите результаты во вкладках панели Code Inspector Verification Results.
Чтобы проверить трассируемость модели к коду или кода к модели уровня объектов инспекции кода, кликните по строке во вкладке Model Elements или Code.
Точно так же можно рассмотреть результаты инспекции кода модели slcidemo_heading
, на которую ссылаются,.
Топ-модель и модели, на которые ссылаются, передают инспекцию кода. Затем вы сгенерируете отчеты инспекции кода.