Аннотация:
Рассматриваются принципы организации и проектирования самопроверяемых управляющих структур, позволяющие разрабатывать средства тестирования, начиная с алгоритмического этапа. Методика построения тестопригодных схем алгоритмов иллюстрируется на примере диагностирования микропрограммного устройства управления.