Скобцов В. . Разработка структурных методов построения тестов для дискретных устройств с использованием многозначных алфавитов

Объект исследования: Методы построения проверяющих тестов. Цель исследования: Повышение эффективности автоматизированного диагностирования логических схем. Методы исследования и аппаратура: Теория переключательных схем, теория конечных автоматов, методы технической диагностики, ЭВМ. Теоретические результаты и новизна: Разработка новых методов построения проверяющих тестов и оценки их диагностических свойств для комбинационных и последовательностных дискретных устройств. Разработанные методы позволяют строить тесты для неисправностей, которые не диагностируются существующими структурными методами, повысить полноту проверяющих тестов и сократить время их построения. Практические результаты и новизна: Разработанные методы построения тестов программно релизованы и использованы при создании автоматизированной системы моделирования и диагностирования цифровых устройств АСМИД-П. Применение предложенных методов позволяет повысить полноту проверяющих тестов на 20% и сократить временные затраты на 30%. Предмет и степень внедрения: Программные модули, которые реализуют разработанные методы и входят в состав системы АСМИД-П, использованы при проектировании и диагностировании цифровых схем шахтной автоматики в ОАО Автоматгормаш (г. Донецк). Полученные результаты использованы также в учебном процессе кафедр "Промышленная электроника" и "Автоматизированные системы управления" Донецко. Эффективность внедрения: Повышение полноты проверяющих тестов на 20% и сокращение временных затрат на 30%. Сфера (область) использования: На промышленных предприятиях и в исследовательских организациях.