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