2006/07/26 by Abreu, Rui, Peter Zoeteweij, Zoeteweij, Peter +2
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
paper · pdf · doi:10.48550/arxiv.cs/0607116
openalex publication_date 2006/07/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Because of constraints imposed by the market, embedded software in consumer electronics is almost inevitably shipped with faults and the goal is just to reduce the inherent unreliability to an acceptable level before a product has to be released. Automatic fault diagnosis is a valuable tool to capture software faults without extra effort spent on testing. Apart from a debugging aid at design and integration time, fault diagnosis can help analyzing problems during operation, which allows for more accurate system recovery. In this paper we discuss perspectives and limitations for applying a particular fault diagnosis technique, namely the analysis of program spectra, in the area of embedded software in consumer electronics devices. We illustrate these by our first experience with a test case from industry.