Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования; Известия вузов. Физика; Т. 58, № 8
| Parent link: | Известия вузов. Физика/ Национальный исследовательский Томский государственный университет (ТГУ).— , 1958- Т. 58, № 8.— 2015.— [С. 85-90] |
|---|---|
| Huvudupphovsman: | |
| Institutionell upphovsman: | |
| Övriga upphovsmän: | , |
| Sammanfattning: | Заглавие с экрана Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации. Режим доступа: по договору с организацией-держателем ресурса |
| Språk: | ryska |
| Publicerad: |
2015
|
| Ämnen: | |
| Länkar: | http://elibrary.ru/item.asp?id=24169417 |
| Materialtyp: | MixedMaterials Elektronisk Bokavsnitt |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=645492 |
MARC
| LEADER | 00000nla0a2200000 4500 | ||
|---|---|---|---|
| 001 | 645492 | ||
| 005 | 20250325131815.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\10576 | ||
| 035 | |a RU\TPU\network\10575 | ||
| 090 | |a 645492 | ||
| 100 | |a 20151222d2015 k||y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования |f Н. Г. Кушик, Н. В. Евтушенко, С. Н. Торгаев | |
| 203 | |a Текст |c электронный | ||
| 300 | |a Заглавие с экрана | ||
| 320 | |a [Библиогр.: с. 90 (17 назв.)] | ||
| 330 | |a Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации. | ||
| 333 | |a Режим доступа: по договору с организацией-держателем ресурса | ||
| 461 | |t Известия вузов. Физика |f Национальный исследовательский Томский государственный университет (ТГУ) |d 1958- | ||
| 463 | |t Т. 58, № 8 |v [С. 85-90] |d 2015 | ||
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a цифровые компоненты | |
| 610 | 1 | |a FPGA | |
| 610 | 1 | |a верификация | |
| 610 | 1 | |a тестирование | |
| 700 | 1 | |a Кушик |b Н. Г. |c специалист в области электроники |c инженер |g Наталья Геннадьевна |3 (RuTPU)RU\TPU\pers\31196 | |
| 701 | 1 | |a Евтушенко |b Н. В. |g Нина Владимировна | |
| 701 | 1 | |a Торгаев |b С. Н. |c специалист в области электроники |c доцент Томского политехнического университета, кандидат физико-математических наук |c младший научный сотрудник Института оптики атмосферы СО РАН |f 1984- |g Станислав Николаевич |3 (RuTPU)RU\TPU\pers\25908 |9 11759 | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский политехнический университет (ТПУ) |b Институт неразрушающего контроля (ИНК) |b Кафедра промышленной и медицинской электроники (ПМЭ) |3 (RuTPU)RU\TPU\col\18719 |
| 801 | 2 | |a RU |b 63413507 |c 20151222 |g RCR | |
| 856 | 4 | |u http://elibrary.ru/item.asp?id=24169417 | |
| 942 | |c CF | ||