Когда вы используете Embedded Coder®, чтобы сгенерировать код от образцового набора до программного обеспечения в режиме (SIL) цикла, можно использовать Simulink® Coverage™, чтобы записать метрики покрытия на сгенерированном коде. Однако те же тесты, которые позволяют вам достигнуть 100%-го покрытия модели, не могут произвести 100%-е покрытие для сгенерированного кода. Некоторые различия между выходным кодом и моделью могут вызвать разрывы в покрытии кода по сравнению с покрытием модели:
Дополнительные файлы пользовательского кода
Совместно использованные служебные файлы
Преобразования кода, такие как:
Сворачивание выражения
Упрощенные или расширенные выражения
Новые моменты принятия решения из-за интерполяционных таблиц
Можно использовать Simulink Design Verifier™, чтобы сгенерировать тесты, чтобы увеличиться, покрытие для генерируют код. Вы генерируете тесты для сгенерированного кода из блок-схемы, при помощи API Simulink Design Verifier, или от менеджера по Тесту Simulink Test™. Прежде чем вы сгенерируете тесты, необходимо записать результаты покрытия, по крайней мере, однажды.
После того, как вы Включите Покрытие кода SIL для Модели (Simulink Coverage), моделируете модель и запишете данные о покрытии кода, вы используете Simulink Design Verifier, чтобы сгенерировать дополнительные тесты для сгенерированного кода:
Если вы ранее не записали результаты покрытия, включаете покрытие и моделируете модель.
Если вы уже записали результаты покрытия, укажите на существующие данные о покрытии. В диалоговом окне Configuration Parameters, на Панели Верификатора Проекта: панель Генерации тестов, выберите Ignore objectives satisfied in existing coverage data и выберите существующий файл данных покрытия.
Из блок-схемы:
Выберите Analysis> Design Verifier> Generate Tests> Code Generated as Top Model, чтобы сгенерировать тесты для кода, сгенерированного как топ-модель.
Выберите Analysis> Design Verifier> Generate Tests> Code Generated as Model Reference, чтобы сгенерировать тесты для кода, сгенерированного как модель - ссылка.
Генерация тестов Simulink Design Verifier продолжает согласно режиму генерации тестов, который вы выбираете.
Чтобы узнать больше о различиях между кодом, сгенерированным как топ-модель и кодом, сгенерированным как модель - ссылка, см.:
Сконфигурируйте и запущенная SIL симуляция (Embedded Coder)
Интерфейсы кода для SIL и PIL (Embedded Coder)
Для примера того, как программно сгенерировать тесты для сгенерированного кода, смотрите Генерацию тестов Покрытия кода.
Если вы используете менеджера по Тесту Simulink Test, чтобы записать покрытие кода для образцового набора к режиму SIL, можно инкрементно увеличить покрытие для сгенерированного кода непосредственно от менеджера по Тесту. Для получения дополнительной информации смотрите Инкрементно Тестовое покрытие Увеличения Используя Генерацию Теста.