Содержание к диссертации
Введение
ГЛАВА I. АВТОНОМНО ТЕСТИРУЕМЫЕ ЛПМ 17
1.1. Основные определения 17
1.2. Связь характеристических многочленов исходной ЛПМ и АТЛПМ 26
1.3. Условия преобразования ЛПМ в АЛПМ с произвольным характеристическим многочленом 32
1.4. Алгоритм преобразования ЛПМ в АТЛПМ 39
ГЛАВА 2. ПОЛНОТА ТЕСТА ПРИ ПРОВЕРКЕ АТЛПМ 50
2.1. Модели неисправной ЛПМ 50
2.2. Полнота автономного тестирования АЛПМ 54
2.3. Полнота автономного тестирования ЛПМ 61
ГЛАВА 3. ДОСТОВЕРНОСТЬ КОМПАКТНЫХ МЕТОДОВ ПРИ ПРОВЕРКЕ АТЛПМ 69
3.1. Достоверность кольцевого тестирования АТЛПМ 69
3.2. Сигнатурный анализ АТЛПМ 73
3.3. Статистическая проверка АТЛПМ 85
ГЛАВА 4. ВОПРОСЫ ПРАКТИЧЕСКОГО ПРИЛОЖЕНИЯ ПОЛУЧЕННЫХ
РЕЗУЛЬТАТОВ 94
4.1. Генератор псевдослучайных чисел 94
4.2. Устройство проверки генераторов псевдослучайных чисел, использующих линейное преобразование М-последовательности 106
4.3. Тестовый генератор. 114
4.4. Устройство для сигнатурного анализа схем 119
ЗАКЛЮЧЕНИЕ 123
ПРИЛОЖЕНИЕ 125
ЛИТЕРАТУРА 132
Модели неисправной ЛПМ
Технические средства, из которых могут быть построены различные устройства, разнообразны. Поэтому автоматическая проверка исправности требует построения не только математической модели устройства, но и математической модели неисправности, так как реальные неисправности, понимаемые как физический дефект, имеют различные вариации. При автоматической проверке исправности основой служит функциональный контроль, поэтому среди различных неисправностей естественно рассматривать только те, влияние которых носит функциональный характер. Для наблюдения за неисправностями также необходимо, чтобы они были устойчивыми.
Неисправности, возникающие в ЛПМ, можно разделить на два типа:
1. неисправности, возникающие вследствие неправильного функционирования элементов;
2. неисправности, возникающие на линиях связи, соединяющих элементы друг с другом.
Неисправности, возникающие на линиях связи, могут быть либо короткими -замыканиями, либо обрывами. В первом случае проводимость соответствующих тин равна I, во втором случае проводимость шин равна 0. Возможны также неправильные соединения, приводящие к функциональным изменениям.
Из неисправностей, возникающих вследствие неправильного функционирования элементов, будут рассматриваться неисправности "катастрофического" характера, когда вход или выход некоторого -элемента фиксируется одной и той же константой.
Пусть исправная ЛПМ задана уравнениями ,00. Посмотрим, к каким изменениям приводит наличие в ЛПМ указанных неисправностей.
Таким образом, неисправный сумматор может реализовать любую линейную функцию от двух переменных. В уравнениях 00 каждому сумматору соответствуют элементы матриц А9 В, С , следовательно, неисправность в сумматоре приводит к замене некоторых единичных элементов матриц, на нулевые, а некоторых нулевых элементов -на единичные, при этом в уравнения могут добавляться столбцы из нулей и единиц.
Константная неисправность на входе или выходе элемента памяти приводит к замене некоторых строк матриц / и С на другие, іпричем в .00 могут добавиться столбцы из нулей и единиц.
Достоверность кольцевого тестирования АТЛПМ
При автономном тестировании АТЛПМ решение об ее исправности принимается на основе наблюдения поведения автономного генератора, полученного коррекцией из исходной ЛПМ. Если решение об исправности ЛПМ принимается на основе сравнения фактической и эталонной последовательностей, то не обнаруживается небольшая доля всех неисправностей, определяемая теоремами 3 и 4 и следствиями 6,7,8,9.
Имеются также другие способы принятия решения об исправности устройств, основанные на сравнении фактических и эталонных значений компактных функций от последовательностей. Одним из методов компактного тестирования является метод сигнатур или сигнатурный анализ, при котором выходная последовательность устройства сворачивается с помощью РСЛОС. Обнаружение неисправности основано на том, что если в выходной последовательности в результате неисправности имеется один или более искаженных разрядов, то с большой вероятностью изменится и конечное содержимое РСЛОС. Вероятность не обнаружения ошибки не зависит от длины и последовательности, а определяется размерностью fc РСЛОС. Вероятность не обнаружения искажения есть отношение числа не обнаруживаемых искажений к количеству всевозможных искажений при условии равно вероятности всех искажений, и равна
В случае АТЛПМ для сжатия последовательности состояний можно воспользоваться методом кольцевого тестирования, введенного в работе Литикова [54 J . При такой проверке в тестовом режиме АППМ устанавливается в некоторое начальное состояние, после этого подаются и тактовых импульсов, где и - длина цикла, порождаемого последовательностью состояний АЛПМ. Если конечное состояние АЛПМ совпало с начальным, то АЛПМ считается исправной, в противном случае - неисправной. Ясно, что при такой проверке могут быть обнаружены не все неисправности.
class3 ВОПРОСЫ ПРАКТИЧЕСКОГО ПРИЛОЖЕНИЯ ПОЛУЧЕННЫХ
РЕЗУЛЬТАТОВ class3
Генератор псевдослучайных чисел
При разработке методов автономного тестирования ЛПМ, использовалась коррекция выходной последовательности ЛПМ при помощи другой ЛПМ. Этот принцип положен в основу генератора псевдослучайных чисел, описанного в данной части главы. Отличительной особенностью данного генератора является то, что выходная последовательность генератора М-последовательности преобразуется с помощью некоторой ЛКС. Схема генератора представлена на рис. 15, где ГПСЧ I - генератор М-последовательности, БУМ 2 - блок умножения матрицы на случайный вектор, ПЗМ 3 -пульт задания матрицы, ПУ 4 - пульт управления, ГТИ 5 - генератор тактовых импульсов, БЗДП б - блок задания длины последовательности.
