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

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

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

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