Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования

Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования

Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к вери...

Full description

Bibliographic Details
Published in:Известия высших учебных заведений. Физика Т. 58, № 8. С. 85-90
Main Author: Кушик, Наталья Геннадьевна
Other Authors: Евтушенко, Нина Владимировна, Торгаев, Станислав Николаевич
Format: Article
Language:Russian
Subjects:
физические системы
цифровые компоненты
FPGA-технология
верификация
тестирование
мутанты
мутационное тестирование
статьи в журналах
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141359
Перейти в каталог НБ ТГУ
Description
Summary:Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к верификации цифровых компонентов физических систем на основе мутационного тестирования. Эталонное описание поведения цифрового компонента на языке логического проектирования мутируется посредством внесения в него наиболее вероятных ошибок, и, в отличие от мутантов в языках программирования высокого уровня, соответствующий тестовый пример эффективно строится на основе сравнения специальных масштабируемых представлений эталона и построенного мутанта с использованием различных систем логического проектирования и верификации.
Bibliography:Библиогр.: 17 назв.
ISSN:0021-3411

Similar Items