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