Документация

Решение

Охват решений в Simulink ® Design Verifier™ рассматривает блоки и состояния ^Stateflow ®, представляющие точки принятия решений в модели. Например, блок переключения включает в себя решение о том, превышает ли входной сигнал управления пороговое значение. Дополнительные сведения см. в разделе Объекты модели, получающие покрытие (Simulink Coverage).

Чтобы включить покрытие для принятия решений, в разделе Design Verifier > Test Generation для целей покрытия модели выберите один из следующих вариантов:

Для каждого решения в модели Simulink Design Verifier генерирует тестовые примеры, удовлетворяющие цели покрытия. Дополнительные сведения см. в разделе Покрытие решением (DC) (Simulink Coverage).

Состояние

При покрытии состояния рассматриваются блоки, которые выводят логическую комбинацию своих входов и переходов Stateflow. Дополнительные сведения см. в разделе Объекты модели, получающие покрытие (Simulink Coverage).

Чтобы включить покрытие условий, в разделе Design Verifier > Test Generation для целей покрытия модели выберите один из следующих вариантов:

Для каждого входа в логический блок и каждого условия перехода Simulink Design Verifier генерирует тестовые примеры, удовлетворяющие цели покрытия. Дополнительные сведения см. в разделе Покрытие условий (CC) (Simulink Coverage).

MCDC

В модифицированном покрытии принятия решения об условиях рассматриваются блоки, которые выводят логическую комбинацию своих входов и переходов Stateflow. Дополнительные сведения см. в разделе Объекты модели, получающие покрытие (Simulink Coverage).

Чтобы включить покрытие MCDC, в разделе Design Verifier > Test Generation для целей покрытия модели выберите MCDC.

Для каждого входа в логический блок и каждого условия перехода Simulink Design Verifier генерирует тестовые примеры, удовлетворяющие цели покрытия. Дополнительные сведения см. в разделе Покрытие MCDC для диаграмм статусов (покрытие Simulink).

Сведения о том, как генерация теста MCDC в Simulink Design Verifier может отличаться от покрытия MCDC, записанного Simulink Coverage™, см. в разделе Модифицированное условие и покрытие принятия решений в Simulink Design Verifier.

Усовершенствованный MCDC

Расширенный MCDC - это расширение зоны действия измененных условий. Для тестового блока усовершенствованный MCDC генерирует тестовые примеры, которые исключают маскирующие эффекты от нисходящих блоков, так что тестовый блок оказывает влияние на выходные данные.

Чтобы включить расширенное покрытие MCDC, в разделе Design Verifier > Test Generation для целей покрытия модели выберите Enhanced MCDC. Дополнительные сведения см. в разделе Расширенное покрытие MCDC в Simulink Design Verifier.

Реляционная граница

Покрытие реляционной границы проверяет блоки, которые имеют явную или неявную реляционную операцию и переходы Stateflow. Дополнительные сведения см. в разделе Объекты модели, получающие покрытие (Simulink Coverage). Генерация тестов для покрытия реляционных границ не поддерживается для блоков If и Fcn.

Чтобы включить покрытие реляционной границы, в разделе Design Verifier > Test Generation выберите Include relational boundary targets.

Для каждой реляционной операции в модели Simulink Design Verifier генерирует тестовые примеры, удовлетворяющие цели покрытия. Дополнительные сведения см. в разделе Реляционное граничное покрытие (Simulink Coverage).