Цели покрытия модели для генерации тестов
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 и рабочие процессы.
Улучшите покрытие модели более старых моделей релиза
Объясняет, как использовать перекрестный рабочий процесс релиза для обновления модели при помощи Simulink Design Verifier.
Используйте Советника по вопросам Генерации тестов, чтобы вести анализ компонента и модели.
Недостающее покрытие в подсистемах и блоках Model
Объясняет, как преобразовать подсистемы в блоки Model прежде, чем попытаться достигнуть недостающего покрытия.
Отладьте Расширенное Модифицированное Условие и Decision Coverage (MCDC) Нож Модели использования
В этом примере показано, как найти, что Simulink Design Verifier (SLDV) сгенерировал цели, связанные с определенным Ножом Модели использования объекта модели.
Создайте и Запуск Компенсационное Тестовое использование Расширенный MCDC
Создайте улучшенный MCDC использования компенсационных тестов в менеджере по Тесту.
Сгенерируйте тесты для Decision Coverage модели
Пример, который обходит вас посредством процесса генерации тестов для модели.
Экспортируйте тесты в Simulink Test
Описывает, как сгенерировать тесты в Simulink Test™ с помощью результатов анализа Simulink Design Verifier, которые могут быть сгенерированы доказательством свойства, поиском ошибок проектирования и генерацией теста.
Генерация тестов на модели с блоком вызывающей стороны C
Генерация тестов на модели с блоком C Caller и пользовательским кодом С.
Генерация тестов для пользовательского кода в диаграмме Stateflow
Генерация тестов на модели с пользовательским кодом в диаграмме Stateflow.
Панель верификатора проекта: генерация тестов
Задайте опции, которые управляют, как Simulink Design Verifier генерирует тесты для моделей, которые он анализирует.