Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования; Известия вузов. Физика; Т. 58, № 8

Bibliografski detalji
Parent link:	Известия вузов. Физика/ Национальный исследовательский Томский государственный университет (ТГУ).— , 1958- Т. 58, № 8.— 2015.— [С. 85-90]
Glavni autor:	Кушик Н. Г. Наталья Геннадьевна
Autor kompanije:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт неразрушающего контроля (ИНК) Кафедра промышленной и медицинской электроники (ПМЭ)
Daljnji autori:	Евтушенко Н. В. Нина Владимировна, Торгаев С. Н. Станислав Николаевич
Sažetak:	Заглавие с экрана Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации. Режим доступа: по договору с организацией-держателем ресурса
Jezik:	ruski
Izdano:	2015
Teme:	электронный ресурс труды учёных ТПУ цифровые компоненты FPGA верификация тестирование
Online pristup:	http://elibrary.ru/item.asp?id=24169417
Format:	Elektronički Poglavlje knjige
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=645492