Включение Насыщения на целочисленном переполнении

Включить Насыщение метрики покрытия на целочисленном переполнении:

Нажмите на вкладку Modeling в панели инструментов. Нажмите на Model Settings.

На левой панели нажмите на Coverage. Убедитесь, что Включают анализ покрытия, проверяется.

Расширьте Другой метрический выпадающий список. Установите флажок рядом с Насыщением на целочисленном переполнении.

Что делает Насыщение на целочисленном переполнении

Инструмент покрытия идентифицирует все блоки, которые имеют Насыщение на включенном параметре целочисленного переполнения. После симуляции модели инструмент сообщает о числе раз, которое каждый блок насыщает на целочисленном переполнении.

В этом примере тестовая обвязка предоставляет Тестовый Модуль вход, чтобы достигнуть полного охвата на одном из блоков Суммы в Подсистеме контроллера.

Другие два блока Суммы в Подсистеме контроллера не генерируют истинные случаи, потому что они не добираются до своих порогов насыщения.

Когда использовать Насыщение на целочисленном переполнении

Насыщение на покрытии целочисленного переполнения помогает идентифицировать недостающие тесты для блоков и блоков, которым не нужно насыщение на включенном параметре целочисленного переполнения, оптимизируя КПД проекта.

Для получения дополнительной информации смотрите, Насыщают на Покрытии Целочисленного переполнения.