一种基于UML状态图的规约变异测试方法

作     者：米磊 贲可荣 MI Lei;BEN Ke-rong

作者机构：海军工程大学计算机工程系湖北武汉430033 

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2012年第34卷第2期

页      面：150-158页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家预研基金资助项目(513270104) 

主　　题：变异测试 UML 状态图 变异算子 等价变异体 

摘      要：规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免不合理的变异操作;分析了每种变异算子产生等价变异体的条件,能够在生成变异体的同时检测并移除等价变异体,进而减少其对测试过程的影响;给出了杀掉每种变异体所需满足的条件,可在此基础上产生杀掉特定变异体所需的测试用例,从而提高测试用例集的质量。在此基础上,根据变异算子的实际功能,整合了功能相同的算子,减少了变异算子的数量,从而进一步降低了变异测试的开销。实验结果表明,本方法能够较好地提高测试用例的质量,进而提升测试的效率。