软件测试：树表描述语言.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 协议一致性测试框架 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的协调以及对它们的控制与观察程度不同。 执行过程状态机 执行过程描述 图3.2是一个基于CTMF的测试过程。一个IUT首先由测试例的触发条件激活，并从稳定状态进入被测试状态；经过测试用例在测试体中运行，进入结束状态；如果执行的结果不唯一，则需要经检查步分析结果中存在的问题，从而进入End State（Verification）状态；根据检查结果提出反馈，进入下一次的测试阶段。在上面的测试过程中，如果测试例的结束状态相同，则直接进入到下一次测试过程。 3.1.2 X-协议一致性测试 结合CTMF的X-协议执行脚本如下： MTC（Master Tester Component）首先通过产生PTCs(Parallel Tester Components)对测试系统进行初始化。对于X-协议产生一个低端PTC(LT)和一个高端PTC(UT)。 通过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 说明实际的ASPs和PDUs 说明行为实例 本测试例的使用有两种意义 ： IUT在限定的时间内通过X-协议，接收并返回指定数量的数据包。 3.2 测试系统行为描述 测试例与测试套： 为了测试IUT，我们需要建立一个仿真测试事件集合或交互行动序列。这个用于描述测试任务的事件或行动的序列称为测试例（test case），一个特定协议的测试例集合称为测试套。 TTCN说明： TTCN就是一种用于说明测试例的符号集，它可以建立一个实际被测系统的抽象模型，并说明测试例的执行过程。抽象的测试例包括所有的IUT所支持的被测目标。 TTCN表现形式： 在ISO/IEC