Decision diagrams and digital test