Краткий обзор генерации теста с Simulink® Design Verifier™.
Рабочий процесс для генерации тестов
Описывает процесс генерации тестов для вашей модели.
Используйте Генерация Тестов Advisor для идентификации анализируемых компонентов
Используйте Генерация Тестов Advisor, чтобы помочь в анализе модели и компонентов.
Конфигурирование S-функции для генерации теста
В этом примере показано, как скомпилировать S-функцию, чтобы быть совместимой с Simulink ® Design Verifier™ для генерации теста .
Сгенерируйте Тесты для Embedded Coder Сгенерированного кода
Описывает процесс генерации тестов для сгенерированного кода.
Кодовое покрытие Генерации тестов
В этом примере показано, как использовать Simulink ® Design Verifier™ для генерации тестов для получения полного покрытия кода.
Экспорт тестов в Simulink Test
Описывает, как сгенерировать тесты в Simulink Test™ с помощью результатов анализа Simulink Design Verifier, которые могут быть сгенерированы путем проверки свойств, поиска ошибок проектирования и генерации теста.
Что такое модель спецификации?
Обзор модели спецификации и ее использование в верификации на основе требований.
Обзор двух подходов к верификации компонентов.
Функции для верификации компонентов
Описание функций Simulink Design Verifier, которые можно использовать для верификации компонентов.
Проверьте компонент для генерации кода
Этот пример использует slvnvdemo_powerwindow модель, чтобы показать, как проверить компонент в контексте модели, которая содержит этот компонент.
Изолируйте логику верификации с наблюдателями
Описывает поддержку наблюдателя для верификатора проекта simulink.
Значения ограничений параметров
Обзор строения параметров для анализа Simulink Design Verifier.
Задайте значения ограничений для параметров
Пример того, как задать параметры как переменные для анализа.
Задайте значения ограничений параметров для полного покрытия
Пример того, как задать значения ограничений параметра для достижения полного покрытия модели.
Задайте значения ограничений для структуры или параметров шины
Этот пример описывает, как сгенерировать тесты, которые ограничивают значения для структур и сигналов шины в модели.
Проект Design Verifier: Генерация тестов
Задайте опции, которые управляют тем, как Simulink Design Verifier генерирует тесты для моделей, которые он анализирует.
Проект Панели верификатора: параметры
Задайте опции, которые управляют тем, как Simulink Design Verifier использует строения параметров при анализе моделей.
Задайте опции анализа и сконфигурируйте выход Simulink Design Verifier.
Опции Simulink Design Verifier
Обзор параметров Simulink Design Verifier в диалоговом окне Параметров конфигурации.
Проверьте результаты анализа в окне Simulink Design Verifier Сводные Данные.
