覆盖并行待测行为的软件测试序列生成方法

摘要

并行软件在人们生活生产中扮演着越来越重要的角色。例如常见的网络软件、云计算软件等软件系统都具有并行行为特点。而作为保证软件质量的关键环节，软件测试起着关键作用。然而，并行软件由于其并行特点容易导致状态空间爆炸，而传统软件测试方法无法针对并行软件系统进行高效的测试，通常存在着低覆盖率、高冗余率、低测试效率等问题，因此并行软件测试问题成为研究热点。针对此类问题，本文选择形式化语言CPN(Colored Petri Net，着色Petri网)为待测并行软件系统建立模型，针对并行软件测试问题，做了以下几个方面的工作:
　　(1)针对CPN模型提出面向待测行为的着色Petri网(Tested BehaviorOriented CPN，TBOCPN)的概念，将变迁集合细化为待测行为变迁集合、待测数据流相关行为变迁集合、无关行为变迁集合，进而引出待测相关行为模型单元概念，以描述此次测试目的。
　　(2)提出覆盖并行待测行为的软件测试序列生成方法。首先，基于TBOCPN模型及其状态空间获取单个待测行为得到相关状态子图;其次，根据待测行为相关子图的交集关系划分并发行为集;最后，针对并发行为集，提出了完整的测试序列生成、连接和优化方法达到高覆盖性、低冗余率的并行软件测试效果。
　　(3)针对待测及相关行为执行顺序全覆盖性和算法的低冗余性进行了分析，通过并行软件测试实例进行了本算法与传统测试方法的测试结果分析，从而验证了本算法的高覆盖性、低冗余性。

目录

声明

摘要

图目录

表目录

第一章 绪论

1．1 论文研究背景与意义

1．2 论文研究目标与创新点

1．3 论文结构安排

第二章 相关研究介绍

2．1 并行软件测试技术研究现状

2．2．1 着色Petri网介绍

2．2．2 状态空间介绍

2．2．3 XML存储文件介绍

2．3 基于Petri网的软件测试算法研究现状

2．4 论文研究问题

2．5 本章小结

第三章 相关定义与操作

3．1 问题提出

3．2 测试序列生成算法相关定义和操作

3．2．1 CPN扩展

3．2．2 测试序列生成相关定义和操作描述

3．3 数据流部分相关的测试序列优化算法相关定义和操作

3．3．1 问题提出

3．3．2 优化算法相关定义和操作

3．4 本章小结

第四章 针对待测行为覆盖的并行软件测试算法

4．1 测试序列生成算法

4．2 算法的分析

4．2．1 算法的覆盖性分析

4．2．2 算法的效果分析

4．3 本章小结

第五章 测试序列生成算法实例与分析

5．1 测试序列生成算法实例应用

5．2 测试序列生成算法效果分析

5．3 本章小结

第六章 总结与未来展望

6．1 总结

6．2 未来展望

参考文献

致谢

硕士期间发表论文