|
|
|
|
| LEADER |
04478nab a2200313 c 4500 |
| 001 |
koha001141759 |
| 005 |
20240723112956.0 |
| 007 |
cr | |
| 008 |
240625|2016 ru s c rus d |
| 035 |
|
|
|a koha001141759
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Кушин, Наталья Геннадьевна
|
| 245 |
1 |
0 |
|a Исследование корреляции тестовых последовательностей при проверке надежности функционирования цифровых компонентов физических систем
|c Н. Г. Кушин, Х. Е. Лопез Коронадо, Н. В. Евтушенко
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 8 назв.
|
| 520 |
3 |
|
|a Рассматривается актуальная задача эффективной верификации цифровых компонентов, используемых в различных физических системах, начиная от встраиваемых датчиков и сенсоров и заканчивая современными средствами связи, используемыми для передачи данных. Для синтеза качественных верификационных тестов для цифровых схем достаточно широко распространен метод синтеза тестовых последовательностей на основе нацеленного внесения неисправностей в эталонную схему и синтеза входной последовательности, обнаруживающей данную неисправность. Естественно, что наибольший интерес представляют наборы, обнаруживающие неисправности различных классов. Cтавится задача выявления корреляции между такими тестами и рассматриваются распространенные виды неисправностей: 1) одиночные константные неисправности, 2) неисправности «перемычек» и 3) трудно обнаружимые неисправности, незначительно изменяющие поведение одного логического элемента схемы. Для пакета бенчмарок B01-B10 (ITC’99 benchmarks (Second Release)), которые представляют собой компоненты физических систем, спроектированных для различных приложений, включая обработку данных, полученных от сенсорных датчиков, системы распределения нагрузки и др., строятся тесты для обнаружения несоответствий каждого из типов и оценивается полнота теста одного типа по отношению к неисправностям других типов. Экспериментально показывается, что синтез тестов относительно одного из типов, в том числе относительно одиночных константных неисправностей, не является достаточным, поскольку для других классов неисправностей его полнота может не превышать 60 %.
|
| 653 |
|
|
|a ифровые компоненты физических систем
|
| 653 |
|
|
|a верификация
|
| 653 |
|
|
|a классы неисправностей
|
| 653 |
|
|
|a корреляция тестовых последовательностей
|
| 655 |
|
4 |
|a статьи в журналах
|
| 700 |
1 |
|
|a Лопез Коронадо, Хорхе Елеазар
|
| 700 |
1 |
|
|a Евтушенко, Нина Владимировна
|
| 773 |
0 |
|
|t Известия высших учебных заведений. Физика
|d 2016
|g Т. 59, № 8. С. 134-139
|x 0021-3411
|w 0026-80960
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141759
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1141759
|d 1141759
|
