基于状态图测试的迁移路径生成方法

摘要：

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

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

所属期刊栏目：13

分类号：TP311(计算技术、计算机技术)

资助基金：The Major Basic Research Projects for National Security under Grant No. 613315 国家安全重大基础研究计划

在线出版日期：2020-01-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：961-972