第三章树表描述语言.ppt

第三章 树表描述语言OSI/ITU组织颁布的协议一致性测试基 本框架和方法标准ISO/IEC 9646 ITU X.290 series由五大部分构成,树表描述 语言Tree Tabular Combine Notation or Testing and Test Control Notation是其中 的第三部分,即ISO/IEC 9646-3。 3.1 协议一致性测试框架 TCP UT PDUs LT IUT PCO PCO ASPs UnderLying Service 图 3.1一致性测试体系结构CTMF? IUT: ? 在一致性测试中一个被测试部分(Implement Under Test简称IUT)是一个OSI协议实体。SUT: ? IUT所在的系统称为被测试系统(System Under Test简称SUT)。UT和LT: ? IUT有一个上层测试(Upper Test)接口和下层测 试Low Test接口。 PCO: ? 控制观察点(Points of Control and Observation简称 PCOs),UT和LT通过控制观察点对系统进行测试。 通常LT是远程可访问接口,因此IUT定义一个远端 的PCO,即底层接口被设置在远端 。输入输出队列: ? 通信被认为是异步通信,所以在每一个PCO都对应 两个队列(FIFO),一个是输入,另一个是输出。ASPs: ? IUT和UT之间通过抽象服务元语(Abstract Service Primitives简称ASPs)进行通信。PDUs: ? 从概 念 角 度 , IUT 和 LT 通 过 协 议 数 据 单 元 (Protocol Data Units简称PDUs)交换数据;两者的联系: ? 从实际角度,PDUs 采用ASPs 对基本服务动作进 行编码,即PDUs不是直接进行交互,而是CTMF 允许根据PDUs的编码进行交互,即在一个抽象的 测试中使用PDUs进行交换,所以ASPs与PDUs不 再加以区分。? TCP: ? 测试协调过程(Test Coordination Procedures 简称 TCP)来协调LT和UT的动作,这在LT和UT是两个 独立的过程时十分必要 。测试方法分类: ? 在CTMF中测试方法可分为局部的、分布的、协调 的和远程的测试几种 。它们的主要不同是对LT和 UT的协调以及对它们的控制与观察程度不同。 执行过程状态机 Stable state postamble preamble Verification Test state End state End State Test Body Verification 图3-2 测试例方案 Test Body执行过程描述图3.2是一个基于CTMF的测试过程。一个IUT 首先由测试例的触发条件激活,并从稳定状 态进入被测试状态;经过测试用例在测试体 中运行,进入结束状态;如果执行的结果不 唯一,则需要经检查步分析结果中存在的问 题,从而进入End State(Verification)状态; 根据检查结果提出反馈,进入下一次的测试 阶段。在上面的测试过程中,如果测试例的 结束状态相同,则直接进入到下一次测试过 程。3.1.2 X-协议一致性测试 ?结合CTMF的X-协议执行脚本如下: ? MTC(Master Tester Component)首先通过产生 PTCsParallel Tester Components对测试系统进行 初始化。对于X-协议产生一个低端PTCLT和一个 高端PTCUT。 ? 通过IUT,低端PTC建立一个与高端PTC的一个X- 连接。出于简单考虑,我们假定一个N网络连接已 经建立,即不会出现一个X_CONNECTrequest被拒 绝(该假定是为了解释TTCN特性);? 低端PTC发送一个数据包,该数据包将通 过IUT在高端PTC返回,这个数据包将在一 个指定的时间间隔内返回,该过程重复多 次; ? 在完成数据传递后,低端PTC断开,并发 送它的最初结果给MTC后,计算最终结论 并终止测试。?配置和相关描述: ?LT将用N-SERVICE 元语和N-PDUs加以说明,分别 用N_DATArequest和CR_PDU等进行说明;// ?UT 将 用 X-SERVICE 元 语 加 以 说 明 , 使 用 X_CONNECTrequest等进行说明;//?TTCN提供了一个最小的功能集合 ? 提供能够通过测试系统发送和/或接收ASPs 的能力; ? 提供嵌在ASPs中PDUs的描述能力; ? 说明ASPs在PCOs被发送和/或被接收的次 序;?TTCN采用以下方法提供上述功能: ? 声明ASP和PDU的类型; ? 声明PCOs ? 说明实际的