Breaking Barriers in HW-to-SW Stack Verification
Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation
Buch in deiner Nähe kaufen
Beschreibung
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.
- Introduces a full HW-to-SW stack verification workflow that verifies the full embedded HW/SW system;
- Uses Metamorphic Testing that eliminates the need for reference outputs when testing embedded graphics libraries;
- Describes an LLM-assisted pipeline that generates high-quality Metamorphic Relations.
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.
Introduces a full HW-to-SW stack verification workflow that verifies the full embedded HW/SW system Uses Metamorphic Testing that eliminates the need for reference outputs when testing embedded graphics libraries Describes an LLM-assisted pipeline that generates high-quality Metamorphic Relations
Autor*in
Christoph Hazott
Themen in »Breaking Barriers in HW-to-SW Stack Verification«
Hardware/Software Testing Hardware/Software Analysis Dynamic Runtime Instrumentation Host-to-SW Memory Hierarchy Hardware/Software Tracing Virtual Prototyping