Die Akzeptanz mikroelektronischer Systemlösungen in industriellen und privaten Anwendungsbereichen hängt in starkem Maße von der Fehlerfreiheit und Zuverlässigkeit der eingesetzten elektronischen Schaltungen ab. Dies ist durch Verbesserungen in der Fertigung allein nicht mehr zu gewährleisten. Die Komplexität heutiger VLSI-Schaltungen hat dabei den Anteil der Testkosten an den gesamten Herstellungskosten eines digitalen Systems in rasanter Weise steigen lassen. Das Buch gibt einen Überblick über die Algorithmen, Methoden und Werkzeuge, um diesen Herausforderungen zu begegnen. Die mathematisch exakte Formlierung der Testaufgabe zieht sich dabei als roter Faden durch das ganze Buch,von der Fehlermodellierung bis hin zum testfreundlichen Schaltungsentwurf.