Structural Decision Diagrams in Digital Test