Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования; Известия вузов. Физика; Т. 58, № 8
| Parent link: | Известия вузов. Физика/ Национальный исследовательский Томский государственный университет (ТГУ).— , 1958- Т. 58, № 8.— 2015.— [С. 85-90] |
|---|---|
| Hovedforfatter: | |
| Institution som forfatter: | |
| Andre forfattere: | , |
| Summary: | Заглавие с экрана Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации. Режим доступа: по договору с организацией-держателем ресурса |
| Sprog: | russisk |
| Udgivet: |
2015
|
| Fag: | |
| Online adgang: | http://elibrary.ru/item.asp?id=24169417 |
| Format: | MixedMaterials Electronisk Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=645492 |