NARCIA: an automated tool for change impact analysis in natural language requirements

2015 ◽  
Author(s):  
Chetan Arora ◽  
Mehrdad Sabetzadeh ◽  
Arda Goknil ◽  
Lionel C. Briand ◽  
Frank Zimmer
Keyword(s):  
Natural Language ◽  
Impact Analysis ◽  
Change Impact Analysis ◽  
Natural Language Requirements ◽  
Change Impact ◽  
Automated Tool

CODE-CHANGE IMPACT ANALYSIS USING COUNTERFACTUALS: THEORY AND IMPLEMENTATION

2013 ◽  
Vol 23 (10) ◽  
pp. 1459-1486
Author(s):  
MANUEL PERALTA ◽  
SUPRATIK MUKHOPADHYAY
Keyword(s):  
Static Analysis ◽  
Theorem Proving ◽  
Program Analysis ◽  
Impact Analysis ◽  
Source Code ◽  
Analysis Framework ◽  
Change Impact Analysis ◽  
Code Change ◽  
Change Impact ◽  
Automated Tool

This article shows a novel program analysis framework based on Lewis' theory of counterfactuals. Using this framework we are capable of performing change-impact static analysis on a program's source code. In other words, we are able to prove the properties induced by changes to a given program before applying these changes. Our contribution is two-fold; we show how to use Lewis' logic of counterfactuals to prove that proposed changes to a program preserve its correctness. We report the development of an automated tool based on resolution and theorem proving for performing code change-impact analysis.

Sign in / Sign up

Export Citation Format

Share Document