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