Моделируйте цели покрытия для генерации тестов
Decision Coverage в Simulink® Design Verifier™ исследует блоки и Stateflow® состояния, которые представляют точки принятия решений в модели.
Измененное условие и Decision Coverage в Simulink Design Verifier
Описывает различие между покрытием MCDC в Simulink Design Verifier и в Simulink Coverage™.
Основной рабочий процесс для расширенного анализа MCDC
Чтобы сгенерировать тесты для расширенных целей покрытия Условия Decision Coverage (MCDC):
Расширенное покрытие MCDC в Simulink Design Verifier
Описание концепции покрытия расширенного MCDC и рабочих процессов.
Улучшите покрытие модели старших моделей релиза
Объясняет, как использовать рабочий процесс cross release для обновления модели с помощью Simulink Design Verifier.
Используйте Генерация Тестов Advisor для идентификации анализируемых компонентов
Используйте Генерация Тестов Advisor, чтобы помочь в анализе модели и компонентов.
Недостающее покрытие в подсистемах и Блоках Model
Объясняет, как преобразовать подсистемы в блоки Model, прежде чем пытаться достичь недостающего покрытия.
Отладка улучшенного измененного условия и Decision Coverage (MCDC) с помощью Model Slicer
В этом примере показано, как найти сгенерированные Simulink Design Verifier (SLDV) цели, связанные с определенным объектом модели, с помощью Model Slicer.
Создайте и запустите обратные тесты с использованием расширенного MCDC
Создайте обратные тесты с помощью расширенного MCDC в Test Manager.
Сгенерируйте Тесты для Decision Coverage модели
Пример, который проходит вас через процесс генерации тестов для модели.
Экспорт тестов в Simulink Test
Описывает, как сгенерировать тесты в Simulink Test™ с помощью результатов анализа Simulink Design Verifier, которые могут быть сгенерированы путем проверки свойств, поиска ошибок проектирования и генерации теста.
Генерация тестов на модели с блоком C Caller
Генерация тестов на модели с блоком C Caller и пользовательским кодом С
Генерация тестов пользовательского кода в диаграмме Stateflow
Генерация тестов на модели с пользовательским кодом в диаграмме Stateflow.
Проект Design Verifier: Генерация тестов
Задайте опции, которые управляют тем, как Simulink Design Verifier генерирует тесты для моделей, которые он анализирует.