Stav dette: Structural Decision Diagrams in Digital Test