针对CPN的WCDMA协议一致性测试的分析研究.pdf

原创性声明本人声明:所呈交的学位论文是本人在导师的指导下进行的研究工作及取得的研究成果。除本文已经注明引用的内容外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得内蒙古太堂及其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名: 醐:二璧日期: 指导教师签名:主:{签丛日在学期间研究成果使用承诺书本学位论文作者完全了解学校有关保留、使用学位论文的规定,即:内蒙古大学有权将学位论文的全部内容或部分保留并向国家有关机构、部门送交学位论文的复印件和磁盘,允许编入有关数据库进行检索, 也可以采用影印、缩印或其他复制手段保存、汇编学位论文。为保护学院和导师的知识产权,作者在学期间取得的研究成果属于内蒙古大学。作者今后使用涉及在学期问主要研究内容或研究成果,须征得内蒙古大学就读期间导师的同意;若用于发表论文,版权单位必须署名为内蒙古大学方可投稿或公开发表。学位论文作者签名: 坠二旦指导教师签名:剖生垄目日期内蒙古大学硕士学位论文基于CPN的WCDMA协议一致性测试研究摘要随着通信业的快速发展,3G技术给人们带来了前所未有的高速通信体验, WCDMA是最为成熟的移动通信3G标准。在我国,随着WCDMA标准的演进和产业化的发展,其协议特性越来越丰富,协议规模日益复杂化,各接口的协议共同决定着一个通信系统是否能够正常运作。移动网络协议的一致性测试是协议测试的重要方面,然而通过手工测试需要付出巨大的代价,而且有些复杂的问题也不容易被发现,所以需要将自动化的概念引入到协议~致性测试中。目前对WCDMA使用形式化方法进行一致性测试的研究极少,CPN作为形式化方法已经用于诸多协议的测试过程,因此本文使用CPN对WCDMA协议建模,并基于模型生成测试序列。本文主要工作如下: 第一,根据协议一致性测试相关理论和CPN建模的特点,对WCDMA协议栈中的部分协议的信令流程进行形式化分析,根据形式化分析结果使用CPN对 3GPP规范说明的WCDMA各协议模块进行形式化建模。第二,将模型中变迁、库所和弧与生成的状态空间进行解析并关联起来, 设计并实现了从CPN模型及其状态空间中提取测试序列的工具。该工具的主要功能是提取抽象测试序列,并实现从抽象测试序列到可执行测试序列的自动生成,为以后进一步完善协议一致性测试提供理论依据和工具支持。第三,结合自然语言对测试序列进行描述,选取部分模型的测试例与3GPP 提供的测试集对比分析,通过分析结果,验证了基于CPN自动化生成测试序列方法的可行性。关键词:WCDMA协议;CPN建模;测试序列生成;协议一致性测试基于CPN的WCDMA协议一致性测试研究 CONFORMLⅢCE TEST矾G STUDY OFWCDMA PROTOCOL BASED ON CPN ABSTRACT With the rapid development munication industry,3G technology brings US unprecedented hi曲-speed modes cooperate with each other which bring USmany optional our country,WCDMA ismore and more industrial,with thecharacter ofprotocol isricherand thescaleof theprotocol isimportant to doconformancetesting work testingneedgrowingcost,and many problems are noteasy tofind,thus in舡oducing automatictheory toprotocol conformancetesting. There is alittleresearch onWCDMA protocolconformance testing which useformal method at is aformal method which hasbeen used formany ,it isfeasible todescribeWCDMA protocol using CPN andgenerate testsequence based onthe CPN model. Inthisdissertation,the main work is asfollows: Fi