Тестирование логических устройств - активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия Оно по праву связывается с именем СВЯблонского Тематика направленаьишкия группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро - и структурном уровнях В книге эта тематика раскрывается на модели логического устройства в его макровиде Решаются задачи описания сложности тесбкчъвтов для устройств, реализующих булевы функции из классов Поста, а также функции K-значной логики Приводятся соответствующие процедуры построения таких тестов Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем Авторы Валерий Кудрявцев Эльяр Гасанов Грант Погосян.