Случайные тесты с перебором классов инструкций
Аннотация
Преимущество генераторов случайных тестов в простоте применения и возможности выдачи больших объемов кода. Стохастическое тестирование выявляет как обычные, так и специфические ошибки (редкие сочетания и недочеты спецификации). При этом увеличение покрытия теста не зависит прямо от управления генератором. Перебор размещений из n классов инструкций по k позволяет получить покрытие по соответствующим комбинациям инструкций при приемлемых размерах кода.
Список литературы
1. Bergeron J. Writing Testbenches using SystemVerilog. Springer, 2006.
2. Хисамбеев И.Ш. Роль стохастического тестирования в функциональной верификации микропроцессоров. Программные продукты и системы 2012, №3, 107-112.
3. И.В. Грибков, А.В. Захаров и др. Стохастическое тестирование в системе INTEG. Программные продукты и системы. 2007, № 2, 22–26.
4. И.В. Грибков, А.В. Захаров и др. Развитие системы стохастического тестирования INTEG. Программные продукты и системы 2010, №2, 14-22.
5. А.С. Куцаев. Развитие генератора случайных тестов tergen. Труды НИИСИ РАН 2018, Том 8, № 1, 19-26.
Рецензия
Для цитирования:
Куцаев А.С. Случайные тесты с перебором классов инструкций. Труды НИИСИ. 2022;12(1-2):32-37.
For citation:
Koutsaev A.S. Random Tests with Enumeration of Instruction Classes. SRISA Proceedings. 2022;12(1-2):32-37. (In Russ.)
Просмотров:
17
Послать статью по эл. почте 