Сведения об анализе покрытия модели

Цели охвата модели для создания тестов

Охват решений в Simulink ® Design Verifier™ рассматривает блоки и состояния ^Stateflow ®, представляющие точки принятия решений в модели.

Измененное условие и покрытие принятия решений в Simulink Design Verifier

Описывает разницу между охватом MCDC в Simulink Design Verifier и в Simulink Coverage™.

Базовый рабочий процесс для расширенного анализа MCDC

Для создания тестовых примеров для расширенных целей покрытия по решению измененных условий (MCDC):

Расширенное покрытие MCDC в Simulink Design Verifier

Описывает расширенную концепцию покрытия MCDC и рабочие процессы.

Расширение охвата моделей старых версий

Описывает, как использовать рабочий процесс перекрестного выпуска для обновления модели с помощью Simulink Design Verifier.

Использование помощника по созданию тестов для определения анализируемых компонентов

Используйте Test Generation Advisor для управления анализом модели и компонентов.

Отсутствие покрытия в подсистемах и блоках модели

Объясняет, как преобразовать подсистемы в блоки модели, прежде чем пытаться достичь отсутствующего покрытия.

Отладка расширенного модифицированного условия и покрытия принятия решений (MCDC) с использованием модельного среза

В этом примере показано, как найти сгенерированные цели Simulink Design Verifier (SLDV), связанные с определенным объектом модели, с помощью инструмента «Срез модели».

Создание и выполнение обратных тестов с использованием усовершенствованного MCDC

Создание параллельных тестов с использованием усовершенствованного MCDC в диспетчере тестов.

Создание тестовых примеров

Создание тестовых примеров для покрытия принятия решений по модели

Пример процесса создания тестовых примеров для модели.

Экспорт тестовых примеров в тест Simulink

Описывает, как генерировать тестовые примеры в Simulink Test™ с помощью результатов анализа Simulink Design Verifier, которые могут быть сгенерированы путем проверки свойств, обнаружения ошибок конструкции и создания тестовых примеров.

Создание теста на модели с блокированием вызывающего абонента C

Создание теста для модели с блоком Caller C и пользовательским кодом C.

Создание теста для пользовательского кода в диаграмме потока состояний

Тестирование генерации модели с пользовательским кодом в диаграмме Stateflow.

Панель проверки проекта: Создание теста

Укажите параметры, управляющие тем, как Simulink Design Verifier создает тесты для анализируемых моделей.