A visual approach to support Change Impact Analysis in object-oriented source code

Author(s):  
Renan Pereira Biazini ◽  
Ronaldo Celso Messias Correia ◽  
Danilo Medeiros Eler ◽  
Rogerio Eduardo Garcia
Author(s):  
MANUEL PERALTA ◽  
SUPRATIK MUKHOPADHYAY

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.


2018 ◽  
Vol 2018 ◽  
pp. 1-16
Author(s):  
Yun He ◽  
Tong Li ◽  
Wei Wang ◽  
Wei Lan ◽  
Xiang Li

An important application of information retrieval technology is software change impact analysis. Existing information retrieval-based change impact analysis methods select a single method to transform the source code corpus into vectors in a process known as indexing. The single method is chosen from two primary methods, known as the bag-of-words and word embedding models, each having their specific advantages and disadvantages. The bag-of-words model records every word in the source code but ignores contextual information in the corpus. The word embedding model records the contextual information but loses detail for individual words. To address this problem, we propose a structure-driven method for information retrieval-based change impact analysis (named SDM-CIA). SDM-CIA integrates the bag-of-words and word embedding models based on the software’s structure. Our experiments using a standard benchmark shows that when compared with the existing methods, SDM-CIA improves on precision performance, recall performance, F-score performance, and MRR performance by an average of 3.65%, 3.82%, 3.6%, and 10.28%, respectively. Our experiments confirm the effectiveness of SDM-CIA.


2013 ◽  
Vol 706-708 ◽  
pp. 1911-1914
Author(s):  
Li Liu ◽  
Xiao Dong Zhu ◽  
Fei Ye ◽  
Yi Gang Wang

Change impact analysis is very important to the object-oriented software development and maintenance. Aiming at the problem of change prediction at design level, dependency relationship among classes is analyzed firstly, and the relation of correlative class is described by conditioned probability. Then the prediction of software maintainability method base on probability is proposed. The proposed method can compare software maintainability of different design projects. Lastly, the feasibility and practicability of this method has been proved through one case.


Sign in / Sign up

Export Citation Format

Share Document