Genom att registrera varje tillstånd förändring i driften av ett program, är det möjligt att presentera programmeraren varje bit av information som kan önskas. I huvudsak blir det möjligt att felsöka programmet genom att gå "bakåt i tiden", kraftigt förenkla processen för felsökning. Ett genomförande av denna idé, "Omniscient Debugger", används för att visa sin livskraft och har använts framgångsrikt på ett antal stora program. Integration med en händelseanalysmotor för sökning och styrning presenteras. Flera småskaliga användarstudier ger uppmuntrande resultat. Slutligen diskuteras prestandafrågor och implementering tillsammans med möjliga optimeringar. Detta dokument ger tre bidrag av intresse: begreppet och tekniken att "gå bakåt i tiden", GUI som presenterar en global syn på programtillståndet och har en formell uppfattning om "navigation genom tid", och integrationen med en händelseanalysator.
Genom att spela in varje tillståndsändring vid körtiden gör allvetande avlusare REF det möjligt för utvecklarna att felsöka bakåt i tiden.
Debugging Backwards in Time
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}