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