论文部分内容阅读
该文的主要内容如下:1)根据ISO/IEC9646的定义,讨论了一致性测试概念、一致性测试级别、测试过程、测试模型、测试方法和测试套的结构.2)指出了对协议进行形式化描述的必要性,分析、比较了几种常用的协议形式化模型和形式化描述语言,并给出H.245协议的形式化过程及其结果.3)介绍了四种基于FSM模型的测试序列生成方法,并比较了它们的优缺点和适用情况,讨论了这几种方法直接应用于H.245协议测试时遇到的问题.4)针对以上的问题,,结合H.245协议特点,提出了利用半可控接口进行协议一致性测试的方法,这种方法可以很好地保证了错误覆盖率和测试效率.5)使用TTCN语言给出了H.245协议测试套的一个实例,并概述了它的调试环境和执行过程.