Войти / Регистрация
Корзина

  • Ваша корзина пуста
Войти / Регистрация
Корзина

  • Ваша корзина пуста

Статья «О единичных тестах для функциональных элементов, "Дискретная математика"»

Авторы:
  • Попков Кирилл Андреевич1
стр. 73-93
Платно
1 Московский государственный университет имени М.В. Ломоносова
Аннотация:
Рассматриваются задачи проверки исправности и диагностики состояний функциональных элементов, реализующих в исправном состоянии заданную булеву функцию , путём составления из них схем с одним выходом и анализа выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускается произвольная константная неисправность на выходе любого одного функционального элемента. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. В работе получены точные значения для минимально возможного числа указанных схем.

Архивные статьи (2015 год и ранее) доступны для ознакомления бесплатно, для скачивания их необходимо приобрести. Для просмотра материалов необходимо зарегистрироваться и авторизоваться на сайте.

Чтобы приобрести доступ к материалу для юридического лица, пожалуйста, свяжитесь с администрацией портала с помощью формы обратной связи либо по электронному адресу libnauka@naukaran.com.  

Действия с материалами доступны только авторизованным пользователям.