Das Buch behandelt die beiden wichtigsten Aufgabenstellungen im Rahmen des wirtschaftlich und wissenschaftlich ausserst bedeutenden Gebietes der Testvorbereitung: die automatische Testmustergenerierung und die Fehlersimulation. Alle im Buch beschriebenen Methoden und Verfahren zielen zum einen auf die Minimierung des dazu erforderlichen Rechenzeitaufwandes und zum anderen auf die Bewaltigung moglichst grosser Schaltungskomplexitaten. Besonderer Wert wurde auf eine prazise, formal konsistente und illustrative Beschreibung und auf eine moglichst vollstandige Aufbereitung der einschlagigen...