Симулируйте эту модель, чтобы собрать и сообщить Saturate о целочисленном переполнении.
Чтобы включить метрику покрытия Насыщение при целочисленном переполнении:
Щелкните на вкладке Моделирование (Modeling) на панели инструментов. Щелкните Настройки модели (Model Settings).
На левой панели нажмите Coverage. Убедитесь, что установлен флажок Включить анализ покрытия.
Разверните раскрывающийся список Другие метрики. Установите флажок рядом с насыщением при целочисленном переполнении.
Инструмент покрытия идентифицирует все блоки, у которых включен параметр Насыщение при целочисленном переполнении. После симуляции модели инструмент сообщает количество раз, когда каждый блок насыщается при целочисленном переполнении.
В этом примере тестовая обвязка предоставляет модулю тестирования вход для достижения полного покрытия на одном из блоков сумм в подсистеме контроллера.
Другие два блока Sum в Подсистеме Контроллера не генерируют истинные случаи, потому что они не достигают своих порогов насыщения.
Насыщенность покрытия целочисленного переполнения помогает идентифицировать отсутствующие тесты для блоков и блоков, которые не нуждаются в насыщении по включенному целочисленное переполнение параметру, оптимизируя эффективность проекта.
Для получения дополнительной информации см. Раздел «Насыщение по целочисленному переполнению».