Верификация

Покажите эквивалентность между моделью и сгенерированным кодом

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

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

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

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

Рекомендуемые примеры

Для просмотра документации необходимо авторизоваться на сайте