Подробное описание документа

Теория тестирования логических устройств : учебное пособие / В. Б. Кудрявцев, Э. Э. Гасанов, О. А. Долотова, Г. Р. Погосян. — Москва : ФИЗМАТЛИТ, 2006. — 160 с. — ISBN 978-5-9221-0727-3.
Тестирование логических устройств — активно развивающееся научноприкладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.