文档介绍：南京邮电大学
硕士学位论文
网络通信软件协议一致性测试方法研究
姓名:郭任怡
申请学位级别:硕士
专业:通信与信息系统
指导教师:孟旭东
20100401
摘要随着网络技术的蓬勃发展,服务于网络的各个层面的通信协议也被制定出来。尽管协议标准的语法是规范的,然而,在业务应用中,协议的语义和语用很多地方是用自然语言描述的,还无法实现从规范到代码的全自动的转换,不同厂商的实现可能会因为错误的理解而造成协议实现错误,进而系统运行失败,即使是有严格规范的接口,在具体实现时出现错误也是经常发生的。为确保协议实现的正确性和有效性,协议测试就显得尤为重要。协议一致性测试是测试被测协议实现与协议规范要求的一致性,是协议测试的基础。一个协议实现能否通过一致性测试是它能否与其他实现成功进行交互的重要保障。而协议测试集自动生成理论则极大的简化了协议测试的工作,缩短了协议的开发时间。论文首先阐述了目前的通信软件的测试理论和相关技术,着重对通信协议一致性测试方法展开研究,介绍了一致性测试的基本概念,测试结构和过程等,接着对多种协议的形式化描述方法和测试套自动生成方法展开调研,并且进行了分析和比较;在此基础上,对流行的仿真软件环境进行了深入的分析,研究该软件环境是否能够符合协议一致性测试的要求,是否满足测试规范,论文给出了肯定的结伦;最后,论文描述了在此环境下进行的工作,使用訧中基于幕峄按理过程进行系统建模,并利用上述建立的模型,生成了基于的抽象测试套,最后使用该测试套对被测系统进行了一致性测试。关键词:协议测试;一致性测试;;南京邮电大学硕士研究生学位论文摘要
,....甌甌,瑆琣,.甒瑃,.甒瓵南京邮电大学硕士研究生学位论文瓵琲.,.,.,瑃:籔籘籘
第一章绪论课题的目的与意义论文内容及本人所做的工作随着互联网的蓬勃发展和社会经济的信息化,数据及多媒体业务将迅速超越传统语音业务,成为未来巨大的通信需求。在此背景下,人们期待一种新的网络能解决面临的诸多问题,于是下一代网络υ硕D壳埃芯縉的国内外标准化组织和论坛包括甌、、、国际软交换协会、和等。甌认为砹送缛诤系姆⒄骨魇啤S氪送保扑慊缬胪ㄐ诺淖饔萌找婷飨裕成为社会正常运转和发展的必要保障,随着软件应用的不断深入、规模不断扩大,其复杂度也嫣岣摺R虼耍酝缤ㄑ缎椤⑼ㄑ兜缧派璞敢约叭砑陌踩ā⑽榷ā⒖煽俊⒏性能的要求日益突出。这样相关领域的测试技术也日益受到各方面的重视,测试理论和技计算机网络是现代通讯技术与计算机技术相结合的产物。为了使系统中的计算机进行立的规则、标准或约定。只有遵守协议,各个计算机系统才能互相理解,实现自由可靠的通信。协议测试并不是网络测试的全部内容,随着网络技术的进步,新型业务的出现,对测试也提出了新的要求。现行测试包括许多方面,如:功能测试、性能测试、兼容性测试、一致性测试等。但在众多测试中,协议一致性测试是其它测试的基础,也是计算机网络测试的主要内容之一。协议一致性测试是为了验证计算机网络通信协议的实现与相应的协议标准之间的一致性,是确保各种计算机系统正确互连和互操作的关键。随着网络技术的发展,以实现网络协议为内容的软件大量出现。然而,在实际应用中由于通信软件的缺陷而造成通信系统故障并导致严重后果的事例屡见不鲜。因此对协议软件进行合理有效的测试成为解决通信软件质量问题的重要方法。笔者结合研究生阶段参与交换系统设计及测试的经验,决定分为以下四个步骤来展开研究。第一阶段,笔者对通信软件测试理论为背景展开研究,深入的理解了软件测试以及协议一致性测试的要求和原则,并对测试的理论方法进行研究。为最终设计测试方案奠定了第二阶段,笔者对协议一致性测试中协议形式化描述方法和测试套自动生成方法展开调研,并对各种方法进行了比较分析,最终确定使用镅岳疵枋鲂椋苫贛术也在快速发展和提高。有效地通信,就必须为通信行为制定一组规则。协议就是为计算机系统之间交换信息而建基础。南京邮电大学硕士研究生学位论文.
第三阶段,笔者尝试将第二阶段的研究成果应用到下一代网络的通信协议上,以基于幕峄按砉涛Q芯慷韵蟆2隽艘恢只赟的系统建模方法,实现了对基于榈幕峄按淼慕9獭第四阶段,笔者对上述建立的械幕峄按硐低辰辛朔抡婧脱橹ぃ⑶一蚆自动生成测试套,使用该测试套进行基于的协议一致性测试。本文具体章节安排如下:第一章:论文的绪论部分,介绍了论文的研究背景、研究的主要内容及论文的安排。第二章:对通信系统的测试理论与技术的阐述,给出了软件测试的基本方法,测试原则,进而主要研究协议一致性测试的测试结构、过程等,同时介绍了用于协议一致性测试套的描述语言。第三章:对协议形式化描述方法和测试套自动生成方法展开调研,并对各种方法进行了比较分析,最终确定本文将使用镅岳疵枋鲂椋苫贛的测试集。的协议分析中,利用槊枋龇椒ǎ訧中基于幕峄