Публикации Института системного программирования РАН


Комбинаторная генерация тестовых программ для микропроцессоров на основе моделей.

Авторы

А. Камкин.

Аннотация

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

Полный текст статьи в формате pdf

Издание

Препринт 21, ИСП РАН, 2008.

[TypeError] 
count(): Argument #1 ($value) must be of type Countable|array, bool given (0)
/home/bitrix/ext_www/www.ispras.ru/bitrix/templates/ispran/components/bitrix/catalog/publications/bitrix/catalog.element/.default/template.php:119
#0: include
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component_template.php:790
#1: CBitrixComponentTemplate->__IncludePHPTemplate(array, array, string)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component_template.php:885
#2: CBitrixComponentTemplate->IncludeTemplate(array)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component.php:784
#3: CBitrixComponent->showComponentTemplate()
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component.php:724
#4: CBitrixComponent->includeComponentTemplate()
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/iblock/lib/component/base.php:4710
#5: Bitrix\Iblock\Component\Base->loadData()
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/iblock/lib/component/base.php:4689
#6: Bitrix\Iblock\Component\Base->initialLoadAction()
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/iblock/lib/component/element.php:284
#7: Bitrix\Iblock\Component\Element->initialLoadAction()
	
#8: call_user_func(array)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/iblock/lib/component/base.php:4876
#9: Bitrix\Iblock\Component\Base->doAction()
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/iblock/lib/component/base.php:4894
#10: Bitrix\Iblock\Component\Base->executeComponent()
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component.php:668
#11: CBitrixComponent->includeComponent(string, array, object, boolean)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/main.php:1195
#12: CAllMain->IncludeComponent(string, string, array, object)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/templates/ispran/components/bitrix/catalog/publications/element.php:15
#13: include(string)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component_template.php:790
#14: CBitrixComponentTemplate->__IncludePHPTemplate(array, array, string)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component_template.php:885
#15: CBitrixComponentTemplate->IncludeTemplate(array)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component.php:784
#16: CBitrixComponent->showComponentTemplate()
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component.php:724
#17: CBitrixComponent->includeComponentTemplate(string)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/components/bitrix/catalog/component.php:323
#18: include(string)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component.php:615
#19: CBitrixComponent->__includeComponent()
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/component.php:692
#20: CBitrixComponent->includeComponent(string, array, NULL, boolean)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/classes/general/main.php:1195
#21: CAllMain->IncludeComponent(string, string, array)
	/home/bitrix/ext_www/www.ispras.ru/publications/index.php:49
#22: include_once(string)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/modules/main/include/urlrewrite.php:184
#23: include_once(string)
	/home/bitrix/ext_www/www.ispras.ru/bitrix/urlrewrite.php:2
----------