High-confidence software evolution | |
Gao Qing ; Li Jun ; Xiong Yingfei ; Hao Dan ; Xiao Xusheng ; Taneja Kunal ; Zhang Lu ; Xie Tao | |
刊名 | Science China. Information Science
![]() |
2016 | |
关键词 | software evolution high confidence software quality software development program analysis |
英文摘要 | 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.; supported by National Basic Research Program of China,National Natural Science Foundation of China,National Science Foundation,a Google Faculty Research Award; 中国科学引文数据库(CSCD); 7; 071101-1-071101-19; 59 |
语种 | 英语 |
内容类型 | 期刊论文 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/478939] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Gao Qing,Li Jun,Xiong Yingfei,et al. High-confidence software evolution[J]. Science China. Information Science,2016. |
APA | Gao Qing.,Li Jun.,Xiong Yingfei.,Hao Dan.,Xiao Xusheng.,...&Xie Tao.(2016).High-confidence software evolution.Science China. Information Science. |
MLA | Gao Qing,et al."High-confidence software evolution".Science China. Information Science (2016). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论