Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen

0 Einleitung.- 1 Testen digitaler Schaltungen.- 1.1 Testvorbereitung und Testdurchführung.- 1.2 Modellierung des Testobjekts.- 1.3 Bestimmung von Testmustern.- 1.4 Verbesserung der Testbarkeit.- 1.5 Abgrenzung der Aufgabenstellung.- 2 Entwicklung des Testkonzepts.- 2.1 Anforderungen an das Testkonzept.- 2.2 Im Testkonzept verwendete Voraussetzungen.- 2.3 Testkonzept.- 3 Mathematische Grundlagen und Hilfsmittel.- 3.1 Grundbegriffe.- 3.2 Schaltfunktionen.- 3.3 Logische Gleichungen.- 4 Beobachtung von Modul-Testergebnissen.- 4.1 Pfadfunktionen und Injektivität.- 4.2 Transparente Pfade.- 4.3 Relativtransparente Pfade.- 4.4 Modulare Beobachtungspfade.- 5 Entwurfsmaßnahmen zur Verbesserung der partiellen Injektivität.- 5.1 Verbesserung der Transparenz eines Moduls.- 5.2 Verbesserung der Relativtransparenz eines Moduls.- 6 Ein Verfahren zur Anwendung von Modultests aufgrund partiell injektiver Pfadfunktionen.- 6.1 Operationen zum Einstellen von internen Wertebelegungen.- 6.2 Beschreibung des modularen Testbestimmungsverfahrens.- 6.3 Effizienzsteigernde Maßnahmen.- 7 Bewertung ausgewählter Verfahren und der partiellen Injektivität anhand praktischer Schaltungsbeispiele.- 7.1 Vergleich mit anderen Ansätzen.- 7.2 Bewertung anhand praktischer Beispiele.- 8 Zusammenfassung und Ausblick.- 9 Literatur.- Anhang A: Rechnen mit Schaltfunktionen im System CUBICALC.- Anhang B: Anteile der Einfach- und Mehrfachbeobachtungen an den bei der Relativtransparenzbestimmung untersuchten Fällen.