Верификация вашей модели и кода во время разработки повышает доверие к реализованной системе. Simulink Check™, Simulink Coverage™, Simulink Requirements™, Simulink Design Verifier™, Simulink Test™ и Polyspace^® помогают поддержать процесс верификации вашей модели и кода. В начале разработки можно создать высокоуровневую системную модель и ссылку на документы требований. Системная модель может служить исполняемой спецификацией и базисом для более подробных моделей. Проверьте требования путем выполнения системного прототипа, подключенного к пользовательским интерфейсам или оборудованию объекта.

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

Сгенерированный и рукописный код следует аналогичному процессу верификации. Измерьте модель или покрытие кода, чтобы определить степень тестирования кода. Проверьте код на ошибки, проверьте податливость стандартам и проанализируйте метрики кода. Добавляйте тесты, уточняйте систему и уточняйте требования до тех пор, пока проект не станет полностью функциональным, не продемонстрирует никакого непреднамеренного поведения и не будет полностью протестирован.