-
题名基于状态图测试的迁移路径生成方法
被引量：4
- 1
-
-
作者
张毅伟
贲可荣
-
机构
海军工程大学电子工程学院
-
出处
《计算机科学与探索》
CSCD
北大核心
2019年第6期961-972,共12页
-
基金
国家安全重大基础研究计划No.613315~~
-
文摘
计算机软件在军用装备中所占比重越来越大,软件质量的好坏决定着装备质量的高低,而软件测试则是提高软件质量的重要手段。UML状态图是一种广泛用于基于模型测试的建模方法,迁移覆盖是其中重要的测试覆盖准则。状态图中迁移之间的依赖关系会使得迁移路径不能按照输入序列来执行,从而导致覆盖率的下降,影响测试效果。为此,提出了一种改进的分组遗传算法来实现可执行迁移路径的自动生成,该算法通过合理设计编码方式和适应度函数来解决问题。算法在遗传操作中引入自适应的交叉和变异算子以及模拟退火机制来提高求解速度,加入修补算子对个体长度进行限制。实验结果表明,该方法能够在缩小遗传种群规模和减少遗传代数的基础上提高迁移覆盖率。
-
关键词
软件测试
分组遗传算法
启发式信息
迁移路径生成
-
Keywords
software testing
grouping genetic algorithm
heuristic information
transition path generation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
