Visualizing interactions in program executions
ICSE '97 Proceedings of the 19th international conference on Software engineering
A technique for computer detection and correction of spelling errors
Communications of the ACM
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
ICGI '98 Proceedings of the 4th International Colloquium on Grammatical Inference
A cognitive and user centric based approach for reverse engineering tool design
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Replay Debugging of Real-Time Systems Using Time Machines
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Selective capture and replay of program executions
WODA '05 Proceedings of the third international workshop on Dynamic analysis
Execution patterns for visualizing web services
SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization
Reverse Engineering State Machines by Interactive Grammar Inference
WCRE '07 Proceedings of the 14th Working Conference on Reverse Engineering
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Identifying hierarchical structure in sequences: a linear-time algorithm
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
This paper presents an approach to extract high-level patterns from traces of programmable logic control (PLC) programs recorded with a deterministic replay debugging tool. Our deterministic replay debugging works by recording an application run in real-time with minimal overhead so that it can be reproduced afterwards. In a subsequent phase, the application is replayed in offline mode to produce a more detailed trace log with additional information about the application run. A software developer can replay the program in a debugger and use debugger features to analyze the program run and locate errors. However, due to the vast amount of data and the complex behavior of reactive control programs, a normal debugger is usually only a poor support in comprehending the program behavior. In this paper we present an approach to analyze recorded program runs of PLC applications. We present a technology to visualize the reactive behavior of a program run and find recurring high-level execution patterns in long-running applications. We give an overview of possible application scenarios to support program comprehension, testing, and debugging.