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