Hardware-software covalidation: fault models and test generation

Hardware-software covalidation: fault models and test generation

The increasing use of hardware-software systems in cost-critical and life-critical applications has led to heightened significance of design correctness of these systems. This paper presents a summary of research in hardware-software covalidation winch involves the verification of design correctness...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Harris, I.G.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Application software
Automatic testing
Costs
Design methodology
Formal verification
Hardware
Life testing
Signal processing
Software testing
System testing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The increasing use of hardware-software systems in cost-critical and life-critical applications has led to heightened significance of design correctness of these systems. This paper presents a summary of research in hardware-software covalidation winch involves the verification of design correctness using simulation-based techniques. This paper focuses on the test generation process for hardware-software systems as well as the fault models and fault coverage analysis techniques which support test generation.
DOI:10.1109/HLDVT.2001.972822