Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования
Достаточно часто цифровые компоненты современных физических систем проектируются с применением схемотехнических решений на основе программируемых логических интегральных схем (FPGA-технология), и такие (встроенные) цифровые компоненты должны быть тщательно протестированы. Предлагается подход к вериф...
| Published in: | Известия высших учебных заведений. Физика Т. 58, № 8. С. 85-90 |
|---|---|
| Main Author: | Кушик, Наталья Геннадьевна |
| Other Authors: | Евтушенко, Нина Владимировна, Торгаев, Станислав Николаевич |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141359 |
Similar Items
-
Мутационное тестирование с использованием генератора мутантов μJAVA
by: Ермаков, Антон Дмитриевич -
Методы компактного тестирования цифровых устройств
by: Столов, Евгений Львович
Published: (1993) -
Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей
by: Лапутенко, Андрей Владимирович -
Исследование корреляции тестовых последовательностей при проверке надежности функционирования цифровых компонентов физических систем
by: Кушин, Наталья Геннадьевна -
Тестирование безопасности программного обеспечения с использованием верификаторов
by: Ермаков, Антон Дмитриевич
