Теория тестирования логических устройств

Теория тестирования логических устройств рассматривается в данном учебном пособии как активно развивающееся прикладное направление кибернетики, возникшее в середине прошлого столетия. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. В качестве основной модели управляющей системы в книге рассмотрены случаи реализации логическими элементами вычислительной схемы функций двузначной и конечнозначной логик. Главное внимание сосредоточено на сложности обнаружения возможных неисправностей в этих элементах с помощью тестов обобщены постановки задач тестового контроля логических устройств, принадлежащие различным авторам, разработаны методы их решения, получены окончательные результаты по сложностной характеризации этих решений и предложен соответствующие алгоритмы. В книге решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики (приводятся соответствующие процедуры построения таких тестов).