基于遗传算法的协议一致性测试序列生成研究

摘要

在软件测试基础上发展起来的协议测试是协议开发过程中的重要环节。协议测试中的协议一致性测试是最重要的协议测试。通过对协议实现(待测实体)的协议一致性测试，我们可以找出协议实现与协议描述的差异。协议一致性测试中，如何从协议描述出发生成高质量的一致性测试序列直接关系到测试的成功与否。本文在研究了遗传算法在工程领域的应用实现和当前生成一致性测试测试序列主要方法的基础上，提出了应用遗传算法来搜索协议一致性测试序列的设计与实现。 本文首先介绍协议测试和一致性测试的相关理论基础以及ISO/IEC9646标准给出的协议一致性测试的指导框架，对现存的几种协议一致性测试序列的生成方法作了分析。然后针对自然语言描述协议不精确的特征，介绍了协议描述的几种形式化技术，重点是以Petri网模型描述协议。最后总结了遗传算法的构成、相关理论、数学分析和在工程应用中需要注意的一些问题。 在前面分析了描述协议的Petri网模型特征和性质及遗传算法基本应用原理的基础上，借鉴遗传算法解决其他工程领域优化问题的成功应用经验，提出了以采用测试目标转移序列映射的遗传算法生成协议一致性测试序列的设计思想，对算法的各个组成要素作了详细地设计介绍，并给出了实现生成协议一致性测试序列程序的框架流程。然后结合算法性能简要地分析了在生成测试序列的遗传搜索中控制参数对算法性能的影响。最后针对本文生成协议一致性测试序列方法提出了一些可行的优化思想。