论文部分内容阅读
随着通信业的快速发展，3G技术给人们带来了前所未有的高速通信体验，WCDMA是最为成熟的移动通信3G标准。在我国，随着WCDMA标准的演进和产业化的发展，其协议特性越来越丰富，协议规模日益复杂化，各接口的协议共同决定着一个通信系统是否能够正常运作。移动网络协议的一致性测试是协议测试的重要方面，然而通过手工测试需要付出巨大的代价，而且有些复杂的问题也不容易被发现，所以需要将自动化的概念引入到协议一致性测试中。 目前对WCDMA使用形式化方法进行一致性测试的研究极少，CPN作为形式化方法已经用于诸多协议的测试过程，因此本文使用CPN对WCDMA协议建模，并基于模型生成测试序列。 本文主要工作如下: 第一，根据协议一致性测试相关理论和CPN建模的特点，对WCDMA协议栈中的部分协议的信令流程进行形式化分析，根据形式化分析结果使用CPN对3GPP规范说明的WCDMA各协议模块进行形式化建模。 第二，将模型中变迁、库所和弧与生成的状态空间进行解析并关联起来，设计并实现了从CPN模型及其状态空间中提取测试序列的工具。该工具的主要功能是提取抽象测试序列，并实现从抽象测试序列到可执行测试序列的自动生成，为以后进一步完善协议一致性测试提供理论依据和工具支持。 第三，结合自然语言对测试序列进行描述，选取部分模型的测试例与3GPP提供的测试集对比分析，通过分析结果，验证了基于CPN自动化生成测试序列方法的可行性。