Верификация и валидация

Используйте продукты Simulink для тестовых моделей и кода, проверяйте на ошибки проектирования, проверяйте по стандартам, покрытию меры, и подтвердите систему

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

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

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

Темы

Тестовая модель против требований и результатов отчета

Сопоставьте свою модель с подробными требованиями, продемонстрируйте трассируемость, тест против требований.

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

Обнаружьте и разрешите ошибки проектирования, проверяйте по стандартам, анализируйте функциональные зависимости и докажите свойства.

Выполните функциональное тестирование и анализируйте тестовое покрытие

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

Анализируйте программное обеспечение Code и Test в цикле

Обнаружьте ошибки в коде, сгенерируйте метрики кода, тестовый код и эквивалентность модели, тестовый код против требований.

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