Микропроцессорные системы. Архитектура и проектирование. Анкудинов И.Г. - 94 стр.

UptoLike

ВУЗ: 

СЗТУ | Санкт-Петербург

Составители: 

Рубрика: 

воздействие e∈T
Д
, для которого f
g
(e)
≠f
k
(e). Тест Т называется полным, если он
локализует неисправности любой кратности, в противном случае тест
называется неполным. Тест Т называется неизбыточным, если удаление из него
любого воздействия е дает подмножество Т \{е}, не являющееся тестом.
Существует два подхода к построению тестов.
1. Для каждой неисправности g∈G строится множество воздействий {е}
g
,
проверяющих эту неисправность.
2. Случайным образом генерируется множество воздействий S. Для
каждого воздействия e∈S, где S⊆X, определяется множество неисправностей
{g}
e
, проверяемых воздействием е. Если S не является тестом, то в S
добавляются новые воздействия до тех пор, пока S не станет тестом.
Практическая реализация первого подхода для автоматов с большим числом
элементов связана с решением систем булевых уравнений большой
размерности и поэтому сложна.
Применение второго подхода связано с анализом работы автомата при
наличии некоторой неисправности g, если на его вход поступает некоторое
воздействие.
Тестирование автоматов с памятью. В основе тестирования (контроля
и диагностики) дискретных абстрактных автоматов с памятью лежит теория
экспериментов с автоматами [14]. Эксперимент над автоматами заключается
в следующем:
• на вход автомата подается последовательность входных символов;
• фиксируется реакция автомата (последовательность выходных
символов);
• в результате анализа поведения автомата делается заключение о том, в
каком состоянии находится автомат и каков закон его функционирования.
При этом предполагается, что исследователю известна таблица
переходов/выходов исправного автомата и все варианты возможных таблиц,
характеризующих неисправности автомата.
Пусть автомат A при любой возможной неисправности i=1,…,k
превращается в один из автоматов {A
1
,A
2
,…,A
k
}={A
i
| i=1,…,k}. Тогда задача
контроля данного автомата X, который должен работать как автомат A,
заключается в выяснении соотношения X=A. Если X≠A,то X∈{A
i
| i=1,…,k}.
Задача диагностики заключается в определении i, при котором X=A
i
[ ].

Страницы