Simulink ® Design Verifier™ помогает выполнять систематическую проверку модели для выявления скрытых ошибок конструкции, проверки свойств и создания тестовых примеров для функционального тестирования. Simulink Design Verifier использует формальные методы для проверки правильности конструкции, что повышает уверенность в модели конструкции, используемой при создании производственного кода.
Можно выполнить систематическую проверку модели для таких сценариев, как:
Приложения, разработанные с использованием конструкции на основе модели, в которых выполняется проверка конструкции, чтобы продемонстрировать, что модель удовлетворяет функциональным требованиям и не содержит непреднамеренных функциональных возможностей.
Анализ подмножества конструкторской модели, предназначенной для программного обеспечения управления. Для анализа управления с разомкнутым контуром широко используется формальная верификация для строгого тестирования проектных моделей.
Итеративная проверка модели на соответствие требованиям, проверка ошибок проектирования и выполнение функциональных испытаний на ранних этапах цикла проектирования и в течение всего процесса проектирования.
Систематическая проверка и модульное тестирование малых компонентов в изоляции или для системного тестирования интегрированной конструкторской модели.
Рассмотрим инженера по управлению, который занимается проектированием системы управления. Во время цикла проектирования инженер по управлению создает модель конструкции на основе требований системы. На протяжении всего процесса разработки инженер:
Выявление и устранение скрытых ошибок проекта
Тестовая модель в соответствии с требованиями
Выполняет анализ покрытия модели и кода для подтверждения полноты теста
Устранение недостающего покрытия с помощью генерации теста и обнаружения неработающей логики
Выполняет тестирование базовой линии и эквивалентности
Simulink Design Verifier поддерживает эти процессы проверки модели и кода. Она интегрируется с Simulink Requirements™, Simulink Coverage™, Simulink Check™ и Simulink Test™ для проверки модели и кода.
Проверка модели включает проверку по стандартам, проверку на наличие конструктивных ошибок, проверку свойств и создание тестовых примеров для анализа покрытия.
С помощью Simulink Design Verifier можно:
Выявление скрытых ошибок конструкции, таких как переполнение целых чисел или деление на ноль, и создание контрпримеров для отладки непреднамеренных функций. Можно также выровнять или исключить объекты модели из анализа.
Проверка модели на соответствие требованиям с помощью Simulink Requirements.
Достижение покрытия модели (Simulink Coverage) за счет создания тестовых примеров, удовлетворяющих целям покрытия модели.
Выполните анализ покрытия кода (Embedded Coder) путем создания тестовых примеров для кода, созданного Embedded Coder ®.
Расширение существующих тестовых примеров и достижение отсутствующего покрытия.
Интеграция тестовых примеров с Simulink Test для выполнения тестирования базовой линии и эквивалентности.
Поддержка отраслевых стандартов с помощью комплекта сертификации МЭК (для IEC 61508 и ISO 26262) и набора квалификации ДО (для DO-178).
Эта схема рабочего процесса демонстрирует возможности Simulink Design Verifier на различных этапах процесса проверки и проверки. Дополнительные сведения см. в разделе Проверка и проверка.
Краткое введение в обнаружение ошибок конструкции и генерацию тестов см. в разделах Обнаружение ошибок конструкции в модели контроллера и Создание тестовых примеров для упрощенной модели круиз-контроля.
Дополнительные сведения об анализе Simulink Design Verifier см. в разделах Обнаружение ошибок проектирования, Создание тестовых примеров, Доказательство свойств в модели и Интерпретация и использование результатов.
Можно также создавать отчеты и просматривать результаты анализа. Существует несколько способов анализа результатов анализа:
Просмотрите результаты анализа с первого взгляда, выделив результаты в модели.
Создайте модель тестового кабеля для моделирования тестовых примеров или отладочных контрпримеров.
Создание отчета о покрытии модели.
Просмотр созданных тестов в инспекторе данных моделирования.
Создайте отчет HTML или PDF, содержащий подробную информацию о результатах анализа.