Русская Википедия:Маршевый тест
Ма́ршевый тест (Шаблон:Lang-en) — тест ячеек оперативной памяти (ОЗУ), имеющий линейную зависимость сложности от ёмкости запоминающего устройстваШаблон:Sfn[1].
Описание
Маршевый тест состоит из конечного числа маршевых элементов. При этом каждый маршевый элемент определяется через порядок формирования адресной последовательности и порядок операций чтения и записиШаблон:SfnШаблон:Sfn.
Формирование адресной последовательности может бытьШаблон:SfnШаблон:Sfn:
- Последовательный по возрастанию (↑);
- Последовательный по убыванию (↓);
- Последовательный по возрастанию или убыванию (↑↓);
Операции чтения и записи рассматриваются из следующих:
- «r0» (Шаблон:Lang-en) — чтение ячейки памяти с ожидаемым значением 0;
- «r1» — чтение ячейки памяти с ожидаемым значением 1;
- «w0» (Шаблон:Lang-en) — запись в ячейку памяти значения 0;
- «w1» — запись в ячейку памяти значения 1.
Описываемых операций для каждой из ячеек может быть несколько.
Например, маршевый тест MATS (Modified Algorithmic Test Sequence) описывается следующим образом: {↑↓(w0); ↑(r0, w1); ↓(r1)}. Этот тест имеет три маршевых элемента и сложность O(4N). Первый элемент «↑↓(w0)» рассматривается как фаза инициализации и устанавливает начальное значение ячейки памяти. Она может использоваться как при переходе к новым проверяемым ячейкам, так и изначально путём записи во все ячейки ОЗУ. Вторая фаза «↑(r0, w1)» представляет собой перебор всех ячеек по возрастанию, во время которого происходит чтение и проверка 0, и далее запись 1. Третий элемент «↓(r1)» используется в последующем перебором всех ячеек с чтением и проверкой 1Шаблон:SfnШаблон:Sfn.
Набор элементов маршевого теста (как элементы, так и их последовательность) определяет его покрывающую способность и эффективность обнаружения отказовШаблон:Sfn.
Особенности
Маршевые тесты имеют приемлемую покрывающую способность неисправностей ОЗУ и простоту реализации, что важно для встроенных средств самотестирования (Шаблон:Lang-en)Шаблон:SfnШаблон:Sfn.
Классические маршевые тесты
Считаются классическими следующие маршевые тестыШаблон:Sfn[1]:
Рассматриваемые маршевые тесты имеют разную способность к обнаружению отказовШаблон:SfnШаблон:Sfn[1]:
В таблицеШаблон:Sfn:
- SA (Шаблон:Lang-en) — константный отказ;
- TF (Шаблон:Lang-en) — переходные отказы, когда ячейка не может перейти в одно из состояний 1 или 0;
- СF (Шаблон:Lang-en) — отказы взаимного влияния; когда состояние ячейки с одним адресом влияет на состояние ячейки с другим адресом;
- CFin (Шаблон:Lang-en) — инверсное взаимное влияние; например, если изменение в 1 одной ячейке приводит к 0 в другой ячейке;
- CFid (Шаблон:Lang-en) — при изменении одной ячейки происходит принудительная установка определённого значения в другой ячейке.
Примечания
Литература