首页 | 本学科首页   官方微博 | 高级检索  
     

变异测试:原理、优化和应用
引用本文:陈翔,顾庆.变异测试:原理、优化和应用[J].计算机科学与探索,2012(12):1057-1075.
作者姓名:陈翔  顾庆
作者单位:1. 南通大学 计算机科学与技术学院,江苏 南通 226019
2. 南京大学 软件新技术国家重点实验室,南京 210093
基金项目:国家自然科学基金 Nos. 61202006, 61021062;江苏省高校自然科学研究项目 No. 12KJB520014;南通市应用研究计划项目 No. BK2012023;南京大学计算机软件新技术国家重点实验室开放课题 No. KFKT2012B29~~
摘    要:变异测试是一种基于缺陷的软件测试技术,在近四十年得到国内外学者的广泛关注,并取得了一些研究成果。对已有的研究工作进行总结,将其分为变异测试原理、优化和应用三个模块。其中在变异测试原理模块中,给出变异测试的基本假设,对变异测试分析流程进行介绍,并对其中的重要概念依次给出定义,从静态检测和动态检测两个角度对等价变异体检测技术进行总结。在变异测试优化模块中,从变异体选择优化和变异体执行优化两个角度对已有研究工作进行总结。在变异测试应用模块中,选择了测试用例集充分性评估、测试用例生成和回归测试三个应用领域,对研究工作进行分类总结。最后对变异测试的未来研究方向进行了展望。

关 键 词:变异测试  等价变异体  测试用例集充分性  测试用例生成  回归测试

Mutation Testing: Principal, Optimization and Application
CHEN Xiang,GU Qing.Mutation Testing: Principal, Optimization and Application[J].Journal of Frontier of Computer Science and Technology,2012(12):1057-1075.
Authors:CHEN Xiang  GU Qing
Affiliation:1. School of Computer Science and Technology, Nantong University, Nantong, Jiangsu 226019, China 2. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
Abstract:Mutation is a fault-based testing technique. This topic is widely researched for over 40 years. This paper summarizes previous research work into three modules: principal, optimization and application. In the principal module, this paper firstly introduces two fundamental hypotheses, secondly illustrates the traditional process of mutation analysis and gives definitions for the important concepts, lastly summarizes equivalent mutant detection techniques into static detection and dynamic detection categories. In the optimization module, this paper illustrates mutant selection optimization and mutant execution optimization. In the application module, this paper introduces three classical applications: test suite adequacy evaluation, test case generation and regression testing. Finally, this paper draws a conclusion and forecasts some potential future research work.
Keywords:mutation testing  equivalent mutant  test suite adequacy  test case generation  regression testing
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号