Целью диссертационной работы является разработка, теоретическое и экспериментальное обоснование инженерных способов автоматизированного диагностирования на стадии проектирования сложных управляющих логических устройств, построенных на интегральных микросхемах и описываемых на уровне функциональной структуры, и машинных программ, реализующих булевы функции, в процессе непосредственной работы с объектом без предварительного построения тестов и моделирования.