trudyniisiТруды НИИСИSRISA Proceedings2225-73493033-6422НИЦ «КУРЧАТОВСКИЙ ИНСТИТУТ» - НИИСИtrudyniisi-29Research ArticleСтатьиСлучайные тесты с перебором классов инструкцийRandom Tests with Enumeration of Instruction ClassesКуцаевА. С.KoutsaevA. S.

+7 916 174-61-16

Москва

koutsaev@niisi.msk.ruФГУ ФНЦ НИИСИ РАНРоссия202215102025121-23237Copyright © Куцаев А.С., 20252025Куцаев А.С.Koutsaev A.S.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.t-niisi.ru/jour/article/view/29

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

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.

случайные тестыпокрытиеверификацияперебор классов инструкцийrandom testscoverageverificationenumeration of instruction classesReferencesBergeron J. Writing Testbenches using SystemVerilog. Springer, 2006.Bergeron J. Writing Testbenches using SystemVerilog. Springer, 2006.Хисамбеев И.Ш. Роль стохастического тестирования в функциональной верификации микропроцессоров. Программные продукты и системы 2012, №3, 107-112.Хисамбеев И.Ш. Роль стохастического тестирования в функциональной верификации микропроцессоров. Программные продукты и системы 2012, №3, 107-112.И.В. Грибков, А.В. Захаров и др. Стохастическое тестирование в системе INTEG. Программные продукты и системы. 2007, № 2, 22–26.И.В. Грибков, А.В. Захаров и др. Стохастическое тестирование в системе INTEG. Программные продукты и системы. 2007, № 2, 22–26.И.В. Грибков, А.В. Захаров и др. Развитие системы стохастического тестирования INTEG. Программные продукты и системы 2010, №2, 14-22.И.В. Грибков, А.В. Захаров и др. Развитие системы стохастического тестирования INTEG. Программные продукты и системы 2010, №2, 14-22.А.С. Куцаев. Развитие генератора случайных тестов tergen. Труды НИИСИ РАН 2018, Том 8, № 1, 19-26.А.С. Куцаев. Развитие генератора случайных тестов tergen. Труды НИИСИ РАН 2018, Том 8, № 1, 19-26.

The authors declare that there are no conflicts of interest present.