17. Методи параметричного діагностування (пд).

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

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

18. Детермінований функціональний підхід до синтезу тестів.

19. Детермінований структурний підхід до синтезу тестів.

Синтез тестов цифровых устройств является одной из классических задач диагностики вычислительной техники (ВТ), радиоэлектронной и электронно-вычислительной аппаратуры. Но, не смотря на это, она остается практически нерешенной к настоящему времени. Это объясняется, прежде всего, разными темпами развития теории диагностирования и прогрессом ВТ. В последнее время появилось новое направление – контролепригодное проектирование (КПП - desіgn for testabіlіty). Основной характеристикой такого направления является то, что уже на этапе проектирования устройства в него закладываются функции тестирования. Это в свою очередь, обеспечивает снижение трудоемкости при разработке диагностического обеспечения и в первую очередь при синтезе тестов. В данное время, диагносты и ведущие производители ВТ уделяют этому направлению первостепенное внимание, вследствие чего, в этой области достигнут значительный прогресс, как в теоретическом, так и в практическом плане.

С другой стороны, в странах СНГ, в том числе и на Украине, парк ВТ на промышленных и оборонительных предприятиях характеризуется доминированием старых технологий. Приобретение же современных систем, с функциями самотестирования, остается неразрешимой проблемой, прежде всего по экономическим причинам. Поэтому тема данной магистерской работы, направленная на разработку подсистемы синтеза тестов цифровых типовых элементов замены (ТЭЗ), является актуальной задачей.

Одним из направлений построения тестов является случайное (псевдослучайное) тестирование, которое обеспечивает достаточно быстрое построение системы тестов. Но оно имеет большой недостаток - это низкая полнота тестов сложных объектов диагностики (ОД). Поэтому, было принято решение остановиться на детерминированном синтезе тестов, которое обеспечивает высокую полноту теста, но является более медленным. Основные усилия в данной работе как раз и направлены на преодоление этого недостатка - повышение эффективности синтеза тестов.

Обзор существующих методов

Вся совокупность методов диагностики различается по следующим основным признакам:

1. по способу генерации входных воздействий (тестов);

2. по способу анализа выходных реакций;

3. по контролепригодности объекта диагностирования;

4. по способу поиска (локализации) неисправностей.

По способу генерации входных воздействий тестирование может быть:

1. исчерпывающим;

2. случайным;

3. псевдослучайным;

4. псевдоисчерпывающим;

5. детерминированным;

6. комбинированным.

Исчерпывающее тестирование предполагает перебор всевозможных входных воздействий.

Псевдослучайные тесты – случайный выбор входных воздействий. Если псевдослучайные последовательности используются для обеспечения перебора всевозможных входных векторов, кроме нулевого, то такое тестирование называется псевдоисчерпывающим.

Детерминированное тестирование осуществляется на входных последовательностях с жестко регламентированным порядком следования векторов. Такие последовательности требуют регулярных методов синтеза. Различают следующие методы синтеза детерминированных тестов:

1. структурные,

2. функциональные,

3. структурно-функциональный подход.

Структурные методы базируются на детальном описании ОД, вплоть до вентильной схемы. Этот метод позволяет в принципе синтезировать тест для любого ВУ, однако, обладает наибольшей трудоемкостью.

Функциональный метод базируется на тестировании функций ОД. При этом последний представляется "черным ящиком", т.е. его структура является абсолютно неизвестной. Так как, полный контроль функции может быть обеспечен перебором всевозможных значений аргументов, то функциональное тестирование фактически сводится к исчерпывающему. Его недостаток - большая избыточность тестов.

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

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