【摘 要】
：
该文的主要内容如下:1)根据ISO/IEC9646的定义,讨论了一致性测试概念、一致性测试级别、测试过程、测试模型、测试方法和测试套的结构.2)指出了对协议进行形式化描述的必要性
论文部分内容阅读
该文的主要内容如下:1)根据ISO/IEC9646的定义,讨论了一致性测试概念、一致性测试级别、测试过程、测试模型、测试方法和测试套的结构.2)指出了对协议进行形式化描述的必要性,分析、比较了几种常用的协议形式化模型和形式化描述语言,并给出H.245协议的形式化过程及其结果.3)介绍了四种基于FSM模型的测试序列生成方法,并比较了它们的优缺点和适用情况,讨论了这几种方法直接应用于H.245协议测试时遇到的问题.4)针对以上的问题,,结合H.245协议特点,提出了利用半可控接口进行协议一致性测试的方法,这种方法可以很好地保证了错误覆盖率和测试效率.5)使用TTCN语言给出了H.245协议测试套的一个实例,并概述了它的调试环境和执行过程.
其他文献
目的：研究分析人参多糖辅助治疗2型糖尿病合并肺结核的近期临床疗效。方法：选取2012年至2016年5月间前来我中心就诊的90例2型糖尿病合并肺结核患者，将其随机分为治疗组与对照组
服务质量(QoS)保证是因特网和移动互联网上连续媒体应用必须考虑的关键问题之一.该文在国家科技部技术创新基金项目则(No.00C26224210641)—"远程教学协同群件产品"和国家教
目的:探讨使用不同抗生素治疗下呼吸道感染的临床效果及产生的药物经济学效果.方法:随机抽取120例于2015年3月至2016年6月在本院治疗的下呼吸道感染患者分为甲乙丙丁组(n=30)
目的:对慢性鼻窦炎患者采用鼻内镜手术进行治疗,并对临床效果进行探究.方法:随机选取2015年5月至2016年5月本院收治的40例慢性鼻窦炎患者作为研究对象.根据随机分配原则,将40
目的 观察不同病因心衰患者射血分数的不同,探讨心脏射血分数在不同病因心功能不全发生、发展过程中所起的作用.方法 通过选取2016年1月至2016年11月在唐县人民心内科住院的
目的：自新型农村合作医疗制度实施以来，大多数学者都对其存在的问题进行过研究述说。如：新型农村合作医疗制度保险金的社会满意度，新型农村合作医疗制度的保障程度，新型农村合作医
WCDMA系统是第三代移动通信系统中最具有竞争力的标准之一。其同步的技术是这个通信系统中的关键技术之一,为此WCDMA系统精心设计了快速的小区搜索算法,本文就是研究小区搜索
数字时代的信息爆炸造成了大众的"认知超载",为了帮助人们有效地获取知识,设计师必须把信息有逻辑地组织起来,建立合理的结构,引导读者的阅读.网络上的信息包罗万象,文本间的
该文结合大项课题《分布式多媒体编辑与素材共享系统》的具体开发工作,就多媒体在宽带网络上的传输和浏览进行了相关的研究和开发.就同步采集的问题提出了一种简单易行的方法