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