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