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