Breaking Barriers in HW-to-SW Stack Verification

Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation

von Christoph Hazott, Daniel Große

126 Seiten, Hardcover

Kurzbeschreibung des Verlags

This book aims to overcome the barriers in HW-to-SW stack verification, specifically those posed by the test oracle problem and isolated analysis. The authors provide tools and strategies that make it feasible to test and analyze highly complex hardware-software systems more efficiently, covering the entire HW-to-SW stack. The methods discussed address important challenges of modern HW/SW development through versatile test and analysis techniques, promising significant advancements in the efficiency and effectiveness of the verification processes.

• Themen: Informatik und Informationstechnologie Computerhardware Eingebettete Systeme
• ISBN: 9783032235831
• Sprache: Englisch
• Erscheinungsdatum: 19.07.2026
• Größe: 23.5 x 15.5 cm
• Verlag: Springer International Publishing