Paper Info
Title
Computing and visualizing the impact of change with Java PathFinder extensions
Abstract
Change impact analysis techniques estimate the potential effects of changes made to software. Directed Incremental Symbolic Execution (DiSE) is a Java PathFinder extension that computes the impact of changes on program execution behaviors. The results of DiSE are a set of impacted path conditions that can be efficiently processed by a subsequent client analysis. Path conditions, however, may not be intuitive for software developers without the context of the source code. In this paper we present a framework for visualizing the results of DiSE. The visualization includes annotated source code and control ow graphs indicating program statements that are changed and statements that may be impacted by the changes. A simulation mode enables users to also observe the impact of changes on symbolic execution of the program, by showing the changes to the path conditions as the user steps through the sequences of statements executed.
Year
DOI
Venue
2012
10.1145/2382756.2382801
ACM SIGSOFT Software Engineering Notes
Keywords
Field
DocType
change impact analysis technique,subsequent client analysis,program execution behavior,java pathfinder extension,annotated source code,symbolic execution,source code,program statement,path condition,impacted path condition,software developer
Change impact analysis,Graph,Java pathfinder,Programming language,Software engineering,Visualization,Computer science,Source code,Software,Symbolic execution,Program analysis
Journal
Volume
Issue
Citations 
37
6
3
PageRank 
References 
Authors
0.38
6
3
Name
Order
Citations
PageRank
eric mercer112511.06
Suzette Person258327.41
Neha Rungta356327.72