arrow
Return

High-confidence software evolution

delete2016-06-13
delete7
PRE
AI
高庆 (Qing Gao)
J
Jun Li
Y
Yingfei Xiong *
D
Dan Hao
X
Xusheng Xiao
K
Kunal Taneja
L
Lu Zhang
T
Tao Xie
DOI:10.1007/s11432-016-5572-2delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Software continues to evolve due to changing requirements, platforms and other environmental pressures. Modern software is dependent on frameworks, and if the frameworks evolve, the software has to evolve as well. On the other hand, the software may be changed due to changing requirements. Therefore, in high-confidence software evolution, we must consider both framework evolution and client evolution, each of which may incur faults and reduce software quality. In this article, we present a set of approaches to address some problems in high-confidence software evolution. In particular, to support framework evolution, we propose a history-based matching approach to identify a set of transformation rules between different APIs, and a transformation language to support automatic transformation. To support client evolution for high-confidence software, we propose a path-exploration-based approach to generate tests efficiently by pruning paths irrelevant to changes between versions, several coverage-based approaches to optimize test execution, and approaches to locate faults and fix memory leaks automatically. These approaches facilitate high-confidence software evolution from various aspects.
Keywords:
software evolution
high confidence
software quality
software development
program analysis
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Science China Information Sciences cover
Science China Information Sciences
IF:
7.6
Papers:
4.9K
Citations:
8.9K

Organization

A
accenture
Scholars:
140
Papers: 120
Citations: 0
University of Illinois System cover
University of Illinois System
Scholars:
6.8W
Papers: 6.2W
Citations: 644
P
peking university
Scholars:
11.7W
Papers: 8.7W
Citations: 146
N
nec corporation
Scholars:
1.0K
Papers: 953
Citations: 0
researcher View more organizations