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