Методы ранжирования тестов для моделей цифровых систем по гетерогенным метрикам покрытия

Abstract

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