计算机科学与探索

作者：张毅伟，贲可荣

单位：海军工程大学 电子工程学院，武汉 430033

关键词：软件测试,分组遗传算法,启发式信息,迁移路径生成

计算机软件在军用装备中所占比重越来越大，软件质量的好坏决定着装备质量的高低，而软件测试则是提高软件质量的重要手段。UML状态图是一种广泛用于基于模型测试的建模方法，迁移覆盖是其中重要的测试覆盖准则。状态图中迁移之间的依赖关系会使得迁移路径不能按照输入序列来执行，从而导致覆盖率的下降，影响测试效果。为此，提出了一种改进的分组遗传算法来实现可执行迁移路径的自动生成，该算法通过合理设计编码方式和适应度函数来解决问题。算法在遗传操作中引入自适应的交叉和变异算子以及模拟退火机制来提高求解速度，加入修补算子对个体长度进行限制。实验结果表明，该方法能够在缩小遗传种群规模和减少遗传代数的基础上提高迁移覆盖率。

来源：2019年第6期

《计算机科学与探索》期刊编辑部

查看计算机科学与探索杂志2019年第6期