SIL/PIL Manager
Проверьте сгенерированный код
Описание
SIL/PIL Manager упрощает верификацию кода, который вы генерируете из модели.
Вы можете:
Одним нажатием кнопки протестируйте числовую эквивалентность между моделью и сгенерированным кодом, запустив симуляции модели назад-назад и симуляции цикл (SIL) или цикл (PIL).
Сконфигурируйте SIL или PIL симуляции, чтобы создать метрики покрытия кода и профилирования во время выполнения.
Включите отладчик для SIL симуляций.
Экспорт автоматически сгенерированных тестов для Simulink® Test™.
Откройте приложение SIL/PIL Manager
На вкладке Apps панели инструментов Simulink нажмите SIL/PIL Manager. Или на вкладке C Code приложения Embedded Coder нажмите Verify Code > SIL/PIL Manager.
Примеры
Проверьте код верхней модели с помощью Нажатия кнопки
В Командном окне введите
rtwdemo_sil_topmodel.Чтобы открыть SIL/PIL Manager, на вкладке Apps, нажмите SIL/PIL Manager.
На вкладке SIL/PIL используйте предоставленные настройки.
В Run Automated Verification разделе нажмите Run Verification.
SIL/PIL Manager запускает эти симуляции назад:
rtwdemo_sil_topmodelв режим normal modertwdemo_sil_topmodelв режиме SIL. Когда элементы управления Coverage Collection и Profile Code включены, SIL симуляция также выполняет анализ покрытия кода и профилирование выполнения кода. Для покрытия кода вам требуется Simulink Coverage™.
Можно контролировать прогресс симуляции с помощью Diagnostic Viewer.
В конце второй симуляции:
SIL/PIL Manager отображает сгенерированный код в представлении кода, который позволяет вам анализировать сгенерированный код, видеть метрики кода и отслеживать между элементами модели и сгенерированным кодом.
Инспектор Данных моделирования сравнивает результаты из модели с результатами из сгенерированного кода.
Чтобы просмотреть метрики времени выполнения, в представлении модели щелкните синюю область.
Вкладка Coverage отображается в редакторе Simulink. Чтобы отобразить результаты анализа покрытия кода, в разделе Review Results, нажмите Coverage Details. Чтобы просмотреть метрики покрытия для определенного блока, в представлении модели щелкните блок, который окрашен в красный цвет.
Пример теста числовой эквивалентности экспорта для Simulink Test
Если у вас есть Simulink Test, можно экспортировать численный тест эквивалентности:
В Командном окне введите
rtwdemo_sil_modelblock.Чтобы открыть SIL/PIL Manager, на вкладке Apps, нажмите SIL/PIL Manager.
На вкладке SIL/PIL используйте предоставленные настройки.
Откройте Results галерею. В Results разделе щелкните Compare Runs или Data Inspector.
В разделе Simulink Test нажмите Export to Test Manager.
В диалоговом окне Экспорт Тестах SIL/PIL используйте настройки по умолчанию и нажатие кнопки OK.
Далее SIL/PIL Manager:
Создает тест в
rtwdemo_sil_topmodel_TestFile.mldatx, который вы можете найти в текущей рабочей папке.Открывает тестовый файл, содержащий тест.
Для получения информации о выполнении тестов в Simulink Test, смотрите Import Test Cases для Equivalence Testing (Simulink Test).