2 290 9. Постpоение тестов методом pазличающих функций

Различающей функцией D[f^s , f^t ] двух булевых функций называется их сумма по модулю 2

f^s и f^t - функции, реализуемые объектом в состояниях s и t соответственно. Для объекта с k выходами различающей функцией является дизъюнкция различающих функций для каждого выхода:

Полную совокупность различающих наборов образуют наборы, удовлетворяющие истинности выражения : D[f^s , f^t ]=1 . Полную совокупность обнаруживающих наборов образуют наборы, удовлетворяющие истинности выражения : D[f⁰ , f^t ]=1 .

Графическая модель – логическая сеть: - Множество логических элементов - Множества входных и выходных полюсов - Соединения входных и выходных полюсов со входами и выходами элементов - Соединения элементов между собой

Правильная логическая сеть: - Выходы логических элементов не соединены - Каждую из выходных функций сети можно представить булевой функцией входных переменных Правильная логическая неисправность: - Неисправность s_i , при которой i-неисправная модификация объекта описывается моделью, принятой для описания исправной модификации объекта. - Сеть с правильной неисправностью – правильная логическая сеть.

Синтез тестов по логической сети 1. Строят неявную аналитическую модель ОД: 1.1. Строят аналитическую модель исправного ОД. 1.2. Определяют типы рассматриваемых неисправностей. 1.3. Строят аналитическую модель для каждой неисправной модификации ОД. 2. Методом различающих функций или методом существенных путей определяют совокупности наборов, обнаруживающих (различающих) рассматриваемую неисправность. 3. Минимизируют тестовые наборы.

Построение аналитической модели по логической сети Ранжируют сеть • В произвольном порядке нумеруют входные полюса и присваивают им нулевой ранг. • В произвольном порядке нумеруют элементы, входы которых соединены только со входными полюсами, и присваивают им первый ранг. • В произвольном порядке нумеруют элементы, входы которых соединены с выходами элементов первого ранга и, возможно, со входными полюсами, и присваивают им второй ранг. • … и т.д. до выходных полюсов сети.

Последовательной подстановкой находят функции для выходных полюсов сети •Для элементов первого ранга определяют логические функции выходов. •Для элементов второго ранга определяют логические функции выходов. •… и т.д. – для выходных полюсов определяют логические функции от входных переменных.

Задаются классом рассматриваемых неисправностей Обычно - одиночные константные «0» и «1» • Для каждой из рассматриваемых неисправностей строят аналитическую модель. • Строят совокупности обнаруживающих или различающих наборов входных переменных.

Различающие и обнаруживающие совокупности наборов Набор x_i называется различающим, если при его воздействии на ОД, находящийся в состоянии i^s , на выходе реализуется сигнал z^s_i, а при его воздействии на объект контроля, находящийся в состоянии i^t , на выходе реализуется сигнал z^t_i , причем Если одно из рассматриваемой пары состояний является состоянием исправного объекта (s=0), то такой различающий набор x_i называется обнаруживающим.