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

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

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