DocumentCode
3482153
Title
Code-Change Impact Analysis Using Counterfactuals
Author
Peralta, Manuel ; Mukhopadhyay, Supratik
Author_Institution
Comput. Sci. Dept., Louisiana State Univ., Baton Rouge, LA, USA
fYear
2011
fDate
18-22 July 2011
Firstpage
694
Lastpage
699
Abstract
In this paper we present a framework for what-if analysis of programs based on Lewis´ theory of counterfactuals. The framework can be used to statically perform change impact analysis for source code. It enables us to verify assertions about a changed version of the program without actually incorporating the changes. We present a logical calculus that precisely characterizes structural modifications to source code and their impact on the behavior of the program.
Keywords
formal verification; program testing; theorem proving; code-change impact analysis; counterfactuals; formal verification; logical calculus; proof theory; software development; structural modifications; what-if analysis; Calculus; Cognition; Context; Context modeling; Grammar; Optimization; Semantics; formal verification; proof theory; software engineering; theorem proving;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual
Conference_Location
Munich
ISSN
0730-3157
Print_ISBN
978-1-4577-0544-1
Electronic_ISBN
0730-3157
Type
conf
DOI
10.1109/COMPSAC.2011.96
Filename
6032420
Link To Document