Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment

In the first operation tests of In-Vehicle Infotainment systems remaining failures which were not detected by other testing techniques can often be observed. These failures have to be reconstructed in the laboratory in order to be able to debug them. Record and replay concepts enable the automatic reconstruction of execution sequences, but often they disturb the normal execution, require comprehensive instrumentation or can not be implemented for every platform. Our approach considers these criteria by implementing record and replay with a symbolic debugger. Manually locating the root causes of failures during replay is time-consuming. Therefore, we apply dynamic analyses; they can detect anomalies and state changes during a run. The paper presents a collection of analyses which can not be smoothly executed online during operation, but do not cause drawbacks at replay.

[1]  Nan Wang,et al.  A Transparent Control-Flow Based Approach to Record-Replay Non-deterministic Bugs , 2012, 2012 IEEE Seventh International Conference on Networking, Architecture, and Storage.

[2]  Yan Wang,et al.  DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing , 2014, CGO '14.

[3]  James Cownie,et al.  PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs , 2010, CGO '10.

[4]  Hiromasa Shin,et al.  ARVE: Aspect-Oriented Runtime Verification Environment , 2007, RV.

[5]  Todd D. Millstein,et al.  RERAN: Timing- and touch-sensitive record and replay for Android , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[6]  Koushik Sen,et al.  Jalangi: a selective record-replay and dynamic analysis framework for JavaScript , 2013, ESEC/FSE 2013.

[7]  Ion Stoica,et al.  Friday: Global Comprehension for Distributed Replay , 2007, NSDI.

[8]  Andreas Zeller,et al.  Isolating cause-effect chains from computer programs , 2002, SIGSOFT FSE.

[9]  Yan Chen,et al.  Replay Debugging for Multi-threaded Embedded Software , 2010, 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

[10]  Wolfgang Rosenstiel,et al.  Runtime Verification Driven Debugging of Replayed Errors , 2013, ICTSS 2013.

[11]  Jason Nieh,et al.  Transparent, lightweight application execution replay on commodity multiprocessor operating systems , 2010, SIGMETRICS '10.

[12]  Andreas Zeller CHAPTER 6 – Scientific Debugging , 2009 .