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