|
|
|
|
| LEADER |
03081nab a2200349 c 4500 |
| 001 |
koha001141359 |
| 005 |
20241129153849.0 |
| 007 |
cr | |
| 008 |
240619|2015 ru s c rus d |
| 035 |
|
|
|a koha001141359
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Кушик, Наталья Геннадьевна
|
| 245 |
1 |
0 |
|a Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
|c Н. Г. Кушик, Н. В. Евтушенко, С. Н. Торгаев
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 17 назв.
|
| 520 |
3 |
|
|a Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации.
|
| 653 |
|
|
|a физические системы
|
| 653 |
|
|
|a цифровые компоненты
|
| 653 |
|
|
|a FPGA-технология
|
| 653 |
|
|
|a верификация
|
| 653 |
|
|
|a тестирование
|
| 653 |
|
|
|a мутанты
|
| 653 |
|
|
|a мутационное тестирование
|
| 655 |
|
4 |
|a статьи в журналах
|
| 700 |
1 |
|
|a Евтушенко, Нина Владимировна
|
| 700 |
1 |
|
|a Торгаев, Станислав Николаевич
|
| 773 |
0 |
|
|t Известия высших учебных заведений. Физика
|d 2015
|g Т. 58, № 8. С. 85-90
|x 0021-3411
|w 0026-80960
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141359
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1141359
|d 1141359
|
