Русская Википедия:Маршевый тест

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Ма́ршевый тест (Шаблон: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) — при изменении одной ячейки происходит принудительная установка определённого значения в другой ячейке.

Примечания

Шаблон:Примечания

Литература

Шаблон:Изолированная статья