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

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

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

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

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

Темы

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

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

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

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

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

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

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

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

Создайте обратные тесты с использованием расширенного MCDC

Создайте и запустите тесты эквивалентности с использованием расширенного MCDC.

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