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