Inferring Hierarchical Motifs from Execution Traces
نویسندگان
چکیده
Program comprehension is a necessary step for performing many software engineering tasks. Dynamic analysis is effective in producing execution traces that assist comprehension. Traces are rich sources of information regarding the behaviour of a program. However, it is challenging to gain insight from traces due to their overwhelming amount of data and complexity. We propose a generic technique for facilitating comprehension by inferring recurring execution motifs. Inspired by bioinformatics, motifs are patterns in traces that are flexible to small changes in execution, and are captured in a hierarchical model. The hierarchical nature of the model provides an overview of the behaviour at a high-level, while preserving the execution details and intermediate levels in a structured manner. We design a visualization that allows developers to observe and interact with the model. We implement our approach in an open-source tool, called Sabalan, and evaluate it through a user experiment. The results show that using Sabalan improves developers’ accuracy in performing comprehension tasks by 54%.
منابع مشابه
Model-Based Learning with Hierarchical Relational Skills
In this paper we describe Icarus, an architecture for physical agents that uses hierarchical skills to support reactive execution. We review an earlier version of the system, then present an extended framework that associates reward with stored concepts and utilizes a model-based approach to select among instantiated skills. Learning involves estimating expected the durations and success probab...
متن کاملMethodology for Inferring Moral Priorities According to the Narrations of "Afal Tafzil"
Considering the different levels of moral values in Islam, in order to know the most important values and also to eliminate the contradiction, it is necessary to deduce from the texts of verses and hadiths. One of the most important aspects in these texts is the "structure of Tafzil". Some narrations of this structure indicate the priority of one or more values and others indicate a rule in det...
متن کاملManning Inferring Sequential Structure Craig G . Nevill - Manning
Structure exists in sequences ranging from human language and music to the genetic information encoded in our DNA. This thesis shows how that structure can be discovered automatically and made explicit. Rather than examining the meaning of the individual symbols in the sequence, structure is detected in the way that certain combinations of symbols recur. In speech and text, these repetitions fo...
متن کاملInferring Sequential Structure
Structure exists in sequences ranging from human language and music to the genetic information encoded in our DNA. This thesis shows how that structure can be discovered automatically and made explicit. Rather than examining the meaning of the individual symbols in the sequence, structure is detected in the way that certain combinations of symbols recur. In speech and text, these repetitions fo...
متن کاملAutomatic Inference and Effective Application of Temporal Specifications
Software specifications are the foundation of many software development activities including maintenance, testing, and verification. However, specifications are rarely available for real systems. This dissertation describes a dynamic analysis technique to automatically infer program specifications. We focus on temporal specifications, an important category of specifications that constrain the o...
متن کامل