Верификация кода является частью рабочего процесса, который показывает, что сгенерированный код правильно реализует модель и не содержит непредусмотренной функциональности. Посредством поведенческих и структурных сравнений верификация кода демонстрирует эквивалентность между моделью и сгенерированными объектными кодами.

Тестируйте числовую эквивалентность между вашей моделью (компонентом) и сгенерированным кодом путем сравнения результатов симуляции в режиме normal mode с результатами симуляции в цикле (SIL) или процессоре в цикле (PIL).

Покажите отсутствие непредусмотренной функциональности путем сравнения покрытия модели с покрытием кода или выполнения анализа трассируемости. Сконфигурируйте SIL и PIL симуляции, чтобы сгенерировать метрики покрытия кода. Сгенерируйте отчеты, которые обеспечивают двустороннюю отслеживаемость между объектами модели и сгенерированным кодом.

В дополнение к Embedded Coder^®, вы можете использовать другие продукты для верификации кода. Для примера, Simulink^® Requirements™, Simulink Test™ и Polyspace^® товары.