Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen

در این مونوگراف، روش‌هایی برای تولید تست مدولار برای شبکه‌های سوئیچینگ توسعه داده شده است. بر اساس توصیف مدار مدولار و آزمایش‌های هر ماژول، این روش‌ها تست مدار مدولار را تعریف می‌کنند. در این زمینه، کار همچنین به طراحی آماده آزمایش مدارهای مدولار می پردازد. در قیاس با مسیر حساس کلاسیک، که می تواند 1 بیت از اطلاعات آزمایشی را ارسال کند، مفهوم مسیر به ارسال موازی k بیت اطلاعات آزمایشی تعمیم داده می شود. این کار چندین کلاس از توابع مسیر جزئی تزریقی را رسمیت می‌دهد. معیارهایی برای حداقل ویژگی های ماژول های تشکیل دهنده مسیر و الگوریتم های تشکیل چنین مسیرهای k بیتی از این استخراج می شوند. هدف کتاب استفاده از تست‌های ماژول است که با مدل‌ها و روش‌های خطای خاص با کیفیت بالا در مدارهای مدولار گسترده تولید می‌شوند. این کتاب مبانی نظری و الگوریتم‌های اساسی را ارائه می‌کند که در اجرای جزئی نیز آزمایش شده‌اند.

In dieser Monographie werden Verfahren zur modularen Testerzeugung für Schaltnetze entwickelt. Ausgehend von einer Beschreibung der modularen Schaltung und den Tests für die einzelnen Module bestimmen diese Verfahren den Test für die modulare Schaltung. Die Arbeit geht in diesem Zusammenhang auch auf den prüfgerechten Entwurf modularer Schaltungen ein. In Analogie zum klassischen sensibilisierten Pfad, der 1 Bit Testinformation weiterleiten kann, wird der Pfadbegriff auf die parallele Weiterleitung von k Bit Testinformation verallgemeinert. Die Arbeit formalisiert dazu mehrere Klassen von partiell injektiven Pfadfunktionen; daraus werden Kriterien für die Mindesteigenschaften von pfadbildenden Modulen und Algorithmen zum Bilden solcher k-Bit-Pfade abgeleitet. Ziel des Buches ist es, Modultests, die mit speziellen Fehlermodellen und Verfahren in hoher Qualität erzeugbar sind, auch in umfangreichen, modularen Schaltungen anzuwenden. Das Buch liefert dafür die theoretischen Grundlagen und die wesentlichen Algorithmen, die in einer Teilimplementierung auch erprobt wurden.