Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=классы неисправностей<.>)

Общее количество найденных документов : 1

Кушик, Н. Г.
Исследование корреляции тестовых последовательностей при проверке надежности функционирования цифровых компонентов физических систем [Текст] / Н. Г. Кушик, Х. Е. Лопез, Н. В. Евтушенко // Известия вузов. Физика. - 2016. - Т. 59, № 8. - С. 134-139 : рис., табл. - Библиогр.: c. 139 (8 назв. ) . - ISSN 0021-3411

УДК

^a004.94

ББК 32.973-018.2
Рубрики: Вычислительная техника
Имитационное компьютерное моделирование
Кл.слова (ненормированные):
верификация логических схем -- классы неисправностей -- корреляция тестовых последовательностей -- физические системы -- цифровые компоненты физических систем -- цифровые системы
Аннотация: Рассматривается актуальная задача эффективной верификации цифровых компонентов, используемых в различных физических системах, начиная от встраиваемых датчиков и сенсоров и заканчивая современными средствами связи, используемыми для передачи данных. Для синтеза качественных верификационных тестов для цифровых схем достаточно широко распространен метод синтеза тестовых последовательностей на основе нацеленного внесения неисправностей в эталонную схему и синтеза входной последовательности, обнаруживающей данную неисправность. Естественно, что наибольший интерес представляют наборы, обнаруживающие неисправности различных классов. Cтавится задача выявления корреляции между такими тестами и рассматриваются распространенные виды неисправностей: 1) одиночные константные неисправности, 2) неисправности "перемычек" и 3) трудно обнаружимые неисправности, незначительно изменяющие поведение одного логического элемента схемы. Для пакета бенчмарок B01-B10 (ITC’99 benchmarks (Second Release) ), которые представляют собой компоненты физических систем, спроектированных для различных приложений, включая обработку данных, полученных от сенсорных датчиков, системы распределения нагрузки и др., строятся тесты для обнаружения несоответствий каждого из типов и оценивается полнота теста одного типа по отношению к неисправностям других типов. Экспериментально показывается, что синтез тестов относительно одного из типов, в том числе относительно одиночных константных неисправностей, не является достаточным, поскольку для других классов неисправностей его полнота может не превышать 60 %.

Доп.точки доступа:
Лопез, Х. Е.; Евтушенко, Н. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

Статистика за 01.08.2024
Число запросов	170846
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)