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