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