Funktioneller Test der Auflsung von Zugriffskonflikten in Mehrrechnersystemen [Paperback]

1. Einleitung.- 1.1. Motivation.- 1.2. ?bersicht.- 2. Zugriffskonflikte in Rechensystemen.- 2.1. Beispiele f?r das Auftreten von Zugriffskonflikten.- 2.2. Eingrenzung der zu untersuchenden Zugriffskonflikte.- 2.3. Zusammenfassung.- 3. Stand der Forschung.- 3.1. Systemtestverfahren.- 3.1.1. Funktionelle Testverfahren f?r Rechnereinheiten.- 3.1.2. Systemdiagnoseverfahren.- 3.2. Alternative L?sungsverfahren.- 3.2.1. Strukturtest.- 3.2.2. Protokolltester.- 3.3. Zusammenfassung und Bewertung.- 4. Grundlagen des Testverfahrens.- 4.1. Begriffsdefinitionen.- 4.2. Modell des Kommunikationssystems.- 4.3. Klassifikation der Zugriffskonflikte.- 4.4. Fehlermodell des Kommunikationssystems.- 4.5. Teststrategie.- 4.6. Systematisches Herbeif?hren von Zugriffskonflikten.- 4.7. Prinzip der Zugriffssynchronisation.- 4.8. Einbettung des Testverfahrens in den Systemtest.- 4.9. Zusammenfassung.- 5. Testverfahren f?r Zugriffskonflikte.- 5.1. Das Zugriffssynchronisationsverfahren.- 5.1.1. Beschreibung des Verfahrens.- 5.1.2. Formeln zur Berechnung der notwendigen Zeiten.- 5.1.3. Einflu? von Zugriffsverl?ngerungen.- 5.2. Testverfahren.- 5.2.1. Test der Fehler ohne Zugriffskonflikte.- 5.2.2. Test der Fehler mit Zugriffskonflikten.- 5.2.3. Reduktion der Anzahl der Testf?lle.- 5.2.3.1. Zugriffsvergabestrategien.- 5.2.3.2. Zugriffszuteilungsverfahren.- 5.2.3.3. Mehrprozessorf?hige Bussysteme.- 5.3. Grenzen der erreichbaren Zeitaufl?sung.- 5.4. Zusammenfassung.- 6. Die Drift der Takte der aktiven Einheiten.- 6.1. Me?verfahren.- 6.2. Einflu? von unterschiedlichem Me?- und Testzeitpunkt.- 6.3. Erzeugung des Zugriffskonflikttyps 2.- 6.4. Zusammenfassung.- 7. Anwendung des Verfahrens.- 7.1. Das experimentelle Mehrrechnersystem.- 7.2. Test des Kommunikationssystems.- 7.2.1. Test ohne Zugriffskonflikte.- 7.2.2. Test mit Zugriffskonflikten.- 7.3. Fehlerexperimente.- 7.4. Vergleich des Testverfahrens mit Zufallstests.- 7.5. Zusammenfassung.- 8. Zusammenfassung und Ausblick.- Anhang: Verzeichnis der verwlÓÕ