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

发布时间：2021-02-07 08:46

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

【文章来源】：计算机科学与探索. 2019,13(06)北大核心

【文章页数】：12 页

【文章目录】：
1 引言
2 研究背景
    2.1 相关概念
    2.2 相关工作
3 改进的分组遗传算法
    3.1 个体编码
    3.2 初始化算法
    3.3 适应度算法
    3.4 遗传操作算子
        3.4.1 选择算子
        3.4.2 交叉算子
        3.4.3 变异算子
        3.4.4 修补算子
4 迁移路径生成
5 实验与分析
    5.1 算法覆盖率实验分析
    5.2 算法性能实验分析
6 结束语


【参考文献】：
期刊论文
[1]带Metropolis准则的混合离散布谷鸟算法求解旅行商问题[J]. 林敏,刘必雄,林晓宇.  南京大学学报(自然科学). 2017(05)
[2]基于改进遗传算法的测试数据自动生成的研究[J]. 高雪笛,周丽娟,张树东,柳昊明.  计算机科学. 2017(03)
[3]基于输出域的测试用例自动生成方法研究[J]. 尤枫,赵瑞莲,吕珊珊.  计算机研究与发展. 2016(03)
[4]基于分支覆盖的回归测试路径选择[J]. 吴川,巩敦卫,姚香娟.  软件学报. 2016(04)

博士论文
[1]统一的软件测试控制流覆盖准则体系及其符号执行制导技术研究[D]. 李游.南京大学 2016
[2]基于EFSM的测试用例自动化生成关键技术研究[D]. 杨瑞.南京大学 2015



本文编号：3021982