Cтраница 1
D-алгоритм также гарантирует получение оптимальной перестановки. [1]
Достоинством D-алгоритма является тот факт, что D-цепочка несет в себе информацию о других неисправностях, обнаруживаемых каждым набором без дополнительного моделирования. [2]
Из теоремы 6.3 следует, что D-алгоритм позволяет получать оптимальную перестановку при любом автоограниченном функционале приоритета и любом последовательно-параллельном графе G. Вместе с тем нетрудно привести примеры, в которых граф G не является последовательно-параллельным, но при данном конкретном функционале приоритета / - алгоритм переводит его в цепь. Накладывая определенные ограничения на пару функционал приоритета - граф G, можно описывать более широкие ( по сравнению с последовательно-параллельными графами) классы разрешимых ситуаций. Рассмотрим один из таких классов. [3]
Из детерминированных методов наиболее широко используется так называемый D-алгоритм Рота. При этом отказываются от тех путей, которые невозможно активизировать из-за схождения разветвлений. Затем осуществляется обратный проход. На нем производится подбор входных сигналов, позволяющих рассматриваемой неисправности проявиться на выходе схемы, и исключаются пути, приводящие к противоречивым требованиям к входным переменным. Совокупность-входных сигналов, подобранных для рассматриваемой неисправности, вместе с сигналами на выходе схемы, появляющимися при, этой неисправности, и является тестом. [4]
Пример к понятию чувствительного пути. [5] |
Из всего многообразия методов детерминированной генерации теста рассмотрим основные: метод таблиц истинности; D-алгоритм; метод булевой производной; метод ЭНФ. [6]