Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к вери...
| Опубликовано в: : | Известия высших учебных заведений. Физика Т. 58, № 8. С. 85-90 |
|---|---|
| Главный автор: | |
| Другие авторы: | , |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141359 Перейти в каталог НБ ТГУ |
| Итог: | Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации. |
|---|---|
| Библиография: | Библиогр.: 17 назв. |
| ISSN: | 0021-3411 |