AMS Metamorphic Testing Umgebung

Dieses Kapitel führt eine neue Verifizierungsperspektive für Analog/Mixed-Signal (AMS) Virtuelle Prototypen (VPs) ein, die keine Referenzmodelle zur Überprüfung der Korrektheit von VPs benötigt. Traditionell erfordert die allgemeine VP-Verifizierungsumgebung ein Referenzmodell für Assertions/Prüfer, um zu überprüfen, ob die VP-Testsuite das Design Under Verification (DUV) wie erwartet ausführt. Die Haupt Herausforderung in diesem Zusammenhang ist jedoch die Verfügbarkeit von Referenzmodellen zur Verifizierung. Es ist ein erheblicher Aufwand erforderlich, um effektive Teststimuli zu erstellen und das Referenzverhalten auf ausführbare Weise zu spezifizieren. Um dieses Problem zu überwinden, betrachten wir in diesem Kapitel das Metamorphic Testing (MT). Die Kernidee des MT besteht darin, aufeinanderfolgende Ausführungen des zu testenden Programms durch die sogenannten Metamorphic Relations (MRs) zu verknüpfen. Sie bilden die Grundlage des MT-basierten Verifizierungsansatzes für AMS VPs, wie in diesem Kapitel ausführlich beschrieben.