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

• 作者: 米磊 贲可荣
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 变异测试 UML 状态图 变异算子 等价变异体
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 150-158
• 分类号: TP311.5
• 字数: 8967字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2012.02.028

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贲可荣	海军工程大学计算机工程系	96	531	13.0	18.0
2	米磊	海军工程大学计算机工程系	2	23	2.0	2.0