Верификация СНК: выбор стратегии

Нано- и микросистемная техника. 2014. № 12. С. 30–36.

Иванова Е. М., Вишнеков А. В., Ерохин В. В.

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

Ключевые слова: верификация, тестирование, verification, testing, теория принятия решений, decision making theory, system-on-a chip (SOC), система на кристалле (СНК)