scholarly journals Addressing the Regression Test Problem with Change Impact Analysis for Ada

2016 ◽  
pp. 61-77 ◽  
Author(s):  
Andrew V. Jones
Keyword(s):  
Test Problem ◽  
Impact Analysis ◽  
Change Impact Analysis ◽  
Regression Test ◽  
Change Impact

Software Change Impact Analysis

2015 ◽  
Vol 5 (2) ◽  
pp. 44-55
Author(s):  
Chetna Gupta ◽  
Varun Gupta
Keyword(s):  
Impact Analysis ◽  
Software Engineer ◽  
Maintenance Cost ◽  
Test Case ◽  
Test Cases ◽  
Change Impact Analysis ◽  
Call Graph ◽  
Regression Test ◽  
Change Impact ◽  
The Impact

This paper presents an approach to prioritize program segments within the impact set computed using functional call graph to assist regression testing for test case prioritization. The presented technique will first categorize the type of impact propagation and then prioritize the impacted segments into higher and lower levels based on propagation categorization. This will help in saving maintenance cost and effort by allocating higher priority to those segments which are impacted more within the impacted set. Thus a software engineer can first run those test cases which cover segments with higher impacted priority to minimize regression test selection.

scholarly journals Practical Machine-Checked Formalization of Change Impact Analysis

2020 ◽  
pp. 137-157
Author(s):  
Karl Palmskog ◽  
Ahmet Celik ◽  
Milos Gligoric
Keyword(s):  
Impact Analysis ◽  
Test Selection ◽  
Change Impact Analysis ◽  
Analysis Techniques ◽  
Domain Specific ◽  
Selection Tool ◽  
Regression Test Selection ◽  
Regression Test ◽  
Change Impact ◽  
Build System

Abstract Change impact analysis techniques determine the components affected by a change to a software system, and are used as part of many program analysis techniques and tools, e.g., in regression test selection, build systems, and compilers. The correctness of such analyses usually depends both on domain-specific properties and change impact analysis, and is rarely established formally, which is detrimental to trustworthiness. We present a formalization of change impact analysis with machine-checked proofs of correctness in the Coq proof assistant. Our formal model factors out domain-specific concerns and captures system components and their interrelations in terms of dependency graphs. Using compositionality, we also capture hierarchical impact analysis formally for the first time, which, e.g., can capture when impacted files are used to locate impacted tests inside those files. We refined our verified impact analysis for performance, extracted it to efficient executable OCaml code, and integrated it with a regression test selection tool, one regression proof selection tool, and one build system, replacing their existing impact analyses. We then evaluated the resulting toolchains on several open source projects, and our results show that the toolchains run with only small differences compared to the original running time. We believe our formalization can provide a basis for formally proving domain-specific techniques using change impact analysis correct, and our verified code can be integrated with additional tools to increase their reliability.

Sign in / Sign up

Export Citation Format

Share Document