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