Back close

Towards program execution summarization: Deriving state diagrams from sequence diagrams

Publication Type : Conference Proceedings

Publisher : Seventh International Conference on Contemporary Computing (IC3), 2014

Source : Proceedings of Seventh International Conference on Contemporary Computing (IC3), 2014 , IEEE, Noida, India, p.299-305 (2014)

Url : https://ieeexplore.ieee.org/document/6897190

ISBN : 978-1-4799-5172-7

Keywords : Dynamic analysis, program behavior, sequence diagram, state diagram, Visualization

Campus : Amritapuri

School : Department of Computer Science and Engineering, School of Engineering

Department : Computer Science

Verified : Yes

Year : 2014

Abstract : We propose a summarization technique that provides a clear and concise picture of the history of program execution with respect to entities of interest to a programmer. We develop our technique in the context of JIVE, a tool for Java execution visualization that renders execution states and history using UML object and sequence diagrams respectively. While these notations have been developed for specifying design-time decisions, the distinguishing aspect of our work is that we adapt their use for execution-time. Sequence diagrams tend to be long and unwieldy, and often exhibit a repetitive structure, hence we develop a novel procedure to summarize the sequence diagram in the form a state diagram with finite states. This summarization is user-driven, in that the user annotates the key variables of interest in the source code. This information together with an execution trace of the program for a particular input enables us to systematically construct a state diagram that summarizes the program behavior for that input. Using multiple execution traces, we show how an integrated state summarization can be obtained. Finally, by choosing different sets of variables, the user may view different summarizations, or perspectives, of the execution. This paper presents our technique along with experimental results from summarizing several different program executions in order to illustrate the benefit of our approach.

Cite this Research Publication : Swaminathan J., D Kamath, K., and Jayaraman, B., “Towards program execution summarization: Deriving state diagrams from sequence diagrams”, Seventh International Conference on Contemporary Computing (IC3), 2014 . IEEE, Noida, pp. 299-305, 2014

Admissions Apply Now