This paper presents an approach for dynamic analysis and visualization of reactive program behavior. The objective is to understand the reactive behavior of complex programs for the purpose of finding unusual and possibly abnormal behavior, locating defects in the code, and finding causes of failures. Based on execution traces a multi-level analysis and visualization approach is proposed where, on one side, the behavior is analyzed to exhibit recurring execution patterns and their similarities and differences at a higher level of abstraction and, on the other side, program behavior can be explored in detail for giving explanations and showing causes of failures. The approach has been implemented as a tool chain for the analysis of PLC control programs. We discuss the key ideas of the approach, the implementation in a tool chain for PLC programs, and preliminary results from a case study.
Description
IEEE Xplore Abstract - A multi-level approach for visualization and exploration of reactive program behavior
%0 Conference Paper
%1 6069463
%A Wirth, Christian
%A Prähofer, Herbert
%A Schatz, Roland
%B Visualizing Software for Understanding and Analysis, 6th IEEE International Workshop on
%D 2011
%K Concurrency ControlSoftware Debugging Determinism Visualization
%P 1--4
%R 10.1109/VISSOF.2011.6069463
%T A Multi-level Approach for Visualization and Exploration of Reactive Program Behavior
%X This paper presents an approach for dynamic analysis and visualization of reactive program behavior. The objective is to understand the reactive behavior of complex programs for the purpose of finding unusual and possibly abnormal behavior, locating defects in the code, and finding causes of failures. Based on execution traces a multi-level analysis and visualization approach is proposed where, on one side, the behavior is analyzed to exhibit recurring execution patterns and their similarities and differences at a higher level of abstraction and, on the other side, program behavior can be explored in detail for giving explanations and showing causes of failures. The approach has been implemented as a tool chain for the analysis of PLC control programs. We discuss the key ideas of the approach, the implementation in a tool chain for PLC programs, and preliminary results from a case study.
@inproceedings{6069463,
abstract = {This paper presents an approach for dynamic analysis and visualization of reactive program behavior. The objective is to understand the reactive behavior of complex programs for the purpose of finding unusual and possibly abnormal behavior, locating defects in the code, and finding causes of failures. Based on execution traces a multi-level analysis and visualization approach is proposed where, on one side, the behavior is analyzed to exhibit recurring execution patterns and their similarities and differences at a higher level of abstraction and, on the other side, program behavior can be explored in detail for giving explanations and showing causes of failures. The approach has been implemented as a tool chain for the analysis of PLC control programs. We discuss the key ideas of the approach, the implementation in a tool chain for PLC programs, and preliminary results from a case study.},
added-at = {2015-02-24T14:04:59.000+0100},
author = {Wirth, Christian and Prähofer, Herbert and Schatz, Roland},
biburl = {https://www.bibsonomy.org/bibtex/2210db6a66dd69f07db56dd944821a386/gron},
booktitle = {Visualizing Software for Understanding and Analysis, 6th IEEE International Workshop on},
description = {IEEE Xplore Abstract - A multi-level approach for visualization and exploration of reactive program behavior},
doi = {10.1109/VISSOF.2011.6069463},
interhash = {9787577e342e7f762969244471cebcad},
intrahash = {210db6a66dd69f07db56dd944821a386},
keywords = {Concurrency ControlSoftware Debugging Determinism Visualization},
month = {September},
pages = {1--4},
series = {VISSOFT '11},
timestamp = {2015-02-24T14:04:59.000+0100},
title = {A Multi-level Approach for Visualization and Exploration of Reactive Program Behavior},
year = 2011
}