При использовании Embedded Coder ® для создания кода из набора моделей в режиме программного обеспечения в цикле (SIL) можно использовать Simulink ® Coverage™ для записи метрик покрытия в сгенерированном коде. Однако те же тесты, которые позволяют достичь 100% покрытия модели, могут не обеспечить 100% покрытия для сгенерированного кода. Некоторые различия между выходным кодом и моделью могут вызвать пробелы в покрытии кода по сравнению с покрытием модели:
Дополнительные файлы пользовательского кода
Общие файлы утилит
Преобразования кода, такие как:
Сворачивание выражения
Упрощенные или расширенные выражения
Новые точки решения из-за таблиц подстановки
Можно использовать Simulink Design Verifier™ для создания тестовых примеров для увеличения покрытия для создания кода. Контрольные примеры для сгенерированного кода создаются из блок-схемы, с помощью API Simulink Design Verifier или из диспетчера Simulink Test™ Test Manager. Перед созданием тестовых примеров необходимо по крайней мере один раз записать результаты покрытия.
После включения покрытия кода SIL для модели (Simulink Coverage), моделирования модели и записи данных покрытия кода используйте Simulink Design Verifier для создания дополнительных тестовых примеров для созданного кода:
Если результаты покрытия ранее не регистрировались, включите покрытие и смоделируйте модель.
Если результаты покрытия уже записаны, укажите существующие данные покрытия. В диалоговом окне «Параметры конфигурации» на панели «Design Verifier Panel: Test Generation» выберите «Игнорировать цели, удовлетворяющие существующим данным покрытия» и выберите существующий файл данных покрытия.
На вкладке Design Verifier в разделе Mode выберите Test Generation.
Чтобы создать тесты для кода, созданного как модель верхнего уровня, выберите «Цель» > «Код, созданный как модель верхнего уровня», затем щелкните «Создать тесты».
Чтобы создать тесты для кода, созданного как ссылка на модель, выберите Target > Code Generated as Model Reference, затем щелкните Generate Tests.
Создание теста Simulink Design Verifier выполняется в соответствии с выбранным режимом создания теста.
Дополнительные сведения о различиях между кодом, созданным в качестве модели верхнего уровня, и кодом, созданным в качестве ссылки на модель, см. в разделе:
Настройка и запуск моделирования SIL (встроенный кодер)
Кодовые интерфейсы для SIL и PIL (встроенный кодер)
Выберите подход SIL или PIL (встроенный кодер)
Пример программной генерации тестовых примеров для сгенерированного кода см. в разделе Создание теста покрытия кода.
При использовании Simulink Test Test Manager для записи покрытия кода для модели, установленной в режим SIL, можно постепенно увеличить покрытие для сгенерированного кода непосредственно из Test Manager. Дополнительные сведения см. в разделе Инкрементное увеличение покрытия теста с помощью создания тестового примера.