Random Tests with Enumeration of Instruction Classes
Abstract
The advantage of random test generators is ease of use and the ability to issue large amounts of code. Stochastic testing reveals both ordinary and specific errors (rare combinations and specification flaws). At the same time, the increase in test coverage does not directly depend on the generator control parameters. Enumeration of placements of n instruction classes by k allows to obtain coverage for the corresponding combinations of instructions with acceptable code size.
References
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.
Review
For citations:
Koutsaev A.S. Random Tests with Enumeration of Instruction Classes. SRISA Proceedings. 2022;12(1-2):32-37. (In Russ.)