TTCN2到TTCN3转换系统及TTCN3测试例的优化

来源 :内蒙古大学 | 被引量 : 0次 | 上传用户:wys8800
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
TTCN(Tree and Tabular Combined Notation)作为OSI一致性测试方法和框架,广泛用于标准组织(如ITU-T,ISO/IEC,ATM Forum,和ETSI和工业中)的描述协议一致性测试套的描述.TTCN-2到TTCN-3的转换系统可以将TTCN-2测试套转换成TTCN-3核心语言形式的测试模块.我们已经对MPLS LDP协议做了形式化描述并生成了大量系统的测试例,这些测试例都是用TTCN-2描述的.而TTCN-2存在很多局限性,不能满足新型网络的测试需求.TTCN-3的出现,使我们强烈感到它的优越性,同时MPLS LDP协议是一种新型网络的测试需求.TTCN-3的出现,使我们强烈感到它的优越性,同时MPLS LDP协议是一种新型网络技术,也迫切需要使用TTCN-3强大功能进行测试.TTCN-2到TTCN-3的转换系统,完成了TTCN-2 MPLS LDP协议测试套到成TTCN-3核心语言形式的测试模块转换.利用TTCN-3的新功能作者还对对转换后的测试模块进行了优化.
其他文献
该文先介绍了MPLS及LDP协议.MPLS是下一代网络的关键技术.MPLS的标记及其绑定关系分配是由标记分发协议LDP完成的,高效、可靠的标记分发协议LDP是实现标记交换的基础.所以针
桌面视频会议系统是一种基于多媒体技术与网络通信技术的利用计算机召集会议的系统。近年来,随着数字视频压缩技术水平的提高,视频会议在实用化方面取得了快速发展,并在经济、科
基于内容的图象数据库检索技术是当今的一个研究热点,国内外许多研究机构都在从事这一课题的研究,并取得了一定的研究成果。针对这一研究课题,本文一方面详细介绍了基于颜色特征
本文是“工作流引擎及在线图形化流程设计器系统”项目的一部分,该项目主要是提供给政府部门使用,系统采用B/S架构,提供在线图形化流程建模、流程监控、流程汇聚、流程分支等
分布式双层细粒度动态安全系统是针对上述弊端研制的一种新型安全系统,包含两个相互平行的子系统:分布式微入侵检测系统(DM-IDS)和分布式微防火墙系统(DM-Firewall),形成一种
随着社会的进步,物质文明和精神文明的不断提高,人们对于安全的重视程度越来越高,因此视频监控系统已经广泛应用于金融、交通、工业等各个领域。由于科技的蓬勃发展和多媒体
该文提出通过设计一个详细剖析H.323呼叫时序各步骤的仿真终端,来调试异种设备互联时出现的故障.另外由于TCP/IP整个协议栈中没有实现QoS,加上IP尽力传送机制的先天不足,都导
该文在迭代空间变换的基础上,提出了一种利用循环变换增加循环并行粒度,改善循环数据访问局部性的方法.首先针对循环并行粒度的问题,该文利用了给定二重循环的相关向量集的某
该文提出了在当前阶段数组重构技术研究中两个最重要方向上我们的研究成果,包括对于恢复线性化数组多维形式的研究,以及虚实数组参数引用状态结合映射的研究.与国内外已有的
建立一个好的软构件库模型,指导软构件库的生成、维护和使用,将对软件复用起到极大的推动作用.但是,如何管理海量的软构件以及如何处理大量的并发用户请求是当前大规模软构件