Построение тестов для неисправностей комбинационных схем на основе анализа ортогональных дизъюнктивных нормальных форм, представляемых альтернативными графами

Предложен метод синтеза тестов для константных и произвольных неисправностей элементов комбинационных схем. Метод основан на графическом представлении ортогональных дизъюнктивных нормальных форм (ОДНФ) функций, реализуемых схемой. Графическое представление схемы альтернативным графом, названным впоследствии SSBDD (Structurally Synthesized Binary Decision Diagram)–графом, наряду с информацией о структуре схемы содержит ОДНФ функций этой схемы. Свойства SSSBD–графа позволяют, с одной стороны, использовать граф при построении тестов для различных неисправностей в структуре схемы, а с другой – сокращать перебор при поиске тестов за счет применения ОДНФ функций, реализуемых схемой и ее подсхемами. Для удобства объяснения метода введен FSSBDD (Full Structurally Synthesized Binary Decision Diagram)–граф, обладающий возможностями SSBDD–графа и менее отличающийся от традиционных BDD (Binary Decision Diagram)–графов. Предложенный метод синтеза тестов позволяет найти все множество тестовых наборов, последовательно получая конъюнкции, эти тесты представляющие.

Статья представлена к публикации членом редколлегии: П. П. Пархоменко