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

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

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