Computing and visualizing the impact of change with Java PathFinder extensions

Authors:
Eric Mercer;Suzette Person;Neha Rungta
Affiliations:
Brigham Young University, Computer Science Department, Provo, UT;NASA Langley Research Center, Hampton, VA;NASA Ames Research Center, Moffet Field, CA
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2012

Citing 5
Cited 0

Impact Analysis - Towards a Framework for Comparison

ICSM '93 Proceedings of the Conference on Software Maintenance
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Z3: an efficient SMT solver

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Symbolic PathFinder: symbolic execution of Java bytecode

Proceedings of the IEEE/ACM international conference on Automated software engineering
Directed incremental symbolic execution

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	0.00

Visualization

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.