Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
| Parent link: | Известия вузов. Физика/ Национальный исследовательский Томский государственный университет (ТГУ).— , 1958- Т. 58, № 8.— 2015.— [С. 85-90] |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Other Authors: | , |
| Summary: | Заглавие с экрана Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации. Режим доступа: по договору с организацией-держателем ресурса |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://elibrary.ru/item.asp?id=24169417 |
| Format: | Electronic Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=645492 |