Тема: ИССЛЕДОВАНИЕ ПРОЯВЛЕНИЙ НЕИСПРАВНОСТЕЙ В ЛОГИЧЕСКОЙ СХЕМЕ НА ОСНОВЕ ТЕСТОВЫХ НАБОРОВ И СООТВЕТСТВУЮЩИХ ИМ РЕАКЦИЙ

Традиционный подход к поиску множества всех тестовых наборов многовыходной комбинационной схемы заключается в получении того или иного их компактного представления в виде ДНФ или в виде ROBDD-графа. При этом реакция исправной и неисправной схем для каждого из наборов остается неизвестной. Знание этих реакций может оказаться полезным для решения обратной задачи - поиска места неисправности в условиях, когда для каждого элемента из множества тестовых наборов имеются различные реакции исправной и неисправной схем. Эти реакции могут быть найдены с помощью двоичного моделирования. Если число тестовых наборов велико, например, для схем с несколькими десятками входов, то выявить всевозможные пары реакций для элементов полученного множества тестов не представляется возможным. Эти реакции можно найти, если построить для исправной и неисправной схем соответствующие однокоренные ROBDD - графы, предложенные В.А. Провкиным [1]. Из таких графов предлагается извлекать обычные ROBDD- графы от входных переменных рассматриваемых схем, сопоставив каждому из графов пару реакций.
Требуется выяснить, характер искажений значений на выходах элементов исправной схемы (на внутренних полюсах), вызванных заданной неисправностью элемента схемы для различных пар реакций, порождаемых однокоренными графами В.А. Провкина. С этой целью проводятся эксперименты на контрольных примерах.

Купить

В данной работе рассмотрена проблема анализа некоторых свойств тестовых наборов многовыходных схем в условиях, когда известны реакции на них исправной и неисправных схем.
В результате проведенного исследования получены следующие результаты:
1. На примере показана невозможность применения к графам, предложенных В.А. Провкиным, классического подхода к построению тестовых наборов в рамках операций над обычными ROBDD-графами.
2. Предложен алгоритм получения тестовых наборов в виде обычных ROBDD-графов с соответствующими парами реакций для каждого из них. Алгоритм основан на извлечении из графов В.А. Провкина обычных ROBDD- графов
3. Выполнены предварительные, эксперименты над реальными подсхемами, показавшие, что
а) различные тестовые наборы графа для одной и той же пары реакций могут вызывать изменения, т.е. менять значение на выходах внутренних элементов схемы, в различных последовательностях элементов, связанных с неисправным элементом.
б) чем больше расстояние по Хеммингу между реакциями исправной и неисправной схем, тем больше в среднем элементов меняют свои значения на каждом тестовом наборе. Этот факт предполагается в дальнейшем учитывать при выборе тестовых наборов с целью обнаружения неисправностей в схеме.

Купить