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