Построение тестов для программируемых логических структур

Abstract

Дипломная работа содержит: 33 страницы, 6 рисунков, 2 приложения, список цитируемых литературных источников из 5 наименований. Ключевые слова: ПРОГРАММИРУЕМАЯ ЛОГИЧЕСКАЯ МАТРИЦА, НЕИСПРАВНОСТЬ, ЛОГИЧЕСКАЯ СХЕМА, ЦИФРОВОЕ УСТРОЙСТВО, ТЕСТОВОЕ ДИАГНОСТИРОВАНИЕ, ПРОВЕРЯЮЩИЙ ТЕСТ, КОНЕЧНЫЙ ПРЕДИКАТ, ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ. Объектом исследования являются программируемые логические матрицы. Предмет исследования – методы построения тестов для программируемых логических матриц. Целью дипломной работы является изучение задачи построения тестов для ПЛM и разработка предикатов логического программирования для решения задач тестового диагностирования ПЛM. В процессе работы рассмотрены программируемые логические матрицы в исправном и неисправном состоянии, основные модели неисправностей ПЛМ, методы построения проверяющих тестов для ПЛМ, основанные на решении логических уравнений. Построено предикатное описание программируемых логических структур. Разработано программное средство на языке логического программирования Visual Prolog, реализующее построение тестов для программируемые логических структур, позволяющее применять системы логического программирования для тестового диагностирования устройств. Практической значимостью работы является возможность использования ее результатов при построении проверяющих тестов для программируемых логических матриц, используя логическое программирование. Областями практического применения полученных результатов могут являться: логическое программирование, методы тестового диагностирования дискретных устройств, другие.