第7章-一致性测试技术(1-概述)课件.ppt

第 7 章 一致性测试技术（1-概述） 内容提要 一致性测试：概述 测试是检查一个网络部件某一方面的特性是否满足某种特定需求时常用的一种方法。验证一项新的协议实现，通常需要进行多项测试。一般要考虑以下四个方面： 一致性测试(conformance testing) 互操作测试(interoperateability testing) 性能测试(performance testing) 鲁棒性测试(robustness testing) 一致性测试原理 当第一个公用数据网投入使用后，该网络的管理者要做的一件重要事情是：确定购买的商用网络设备是否符合相关的网络标准，但又不必关心设备的内部细节，这就是协议的一致性测试问题。 一致性测试 vs. 验证 “一致性测试”的目的是测试一个协议的给定实现外部行为是否符合协议的规范。 如果一个协议的形式化规范中存在一个设计错误，则当且仅当完全基于该规范的协议实现(faithful implementation)中也包含同样的错误时，该实现才能通过协议的一致性测试。 如果协议的实现与协议的规范不符，则一致性测试将失败。 不要将“一致性”理解为“同一协议的不同实现之间的一致性”。“一致性”指的是被测系统(也就是协议的各种实现)与协议标准的一致性。 而“验证”则是检查形式化规范的内部一致性。 一致性测试：发展概况 20世纪80年代初，欧洲的许多研究机构开始在建立标准化的协议一致性测试活动方面进行合作，其目的是制定一个在OSI框架内进行协议一致性测试的指导标准。 最初的参与者包括法国巴黎的ADI、德国Darmastadt的国家通信研究所(GMD)和英国的国家物理实验室(NPL)。这些研究机构在这之前曾分别关注于一致性测试的不同方面的研究。例如， ADI设计并实现了一台X.25协议测试仪； GMD开发了一种钟对OSI体系结构中的会话层协议进行被动监控和错误检测的分析工具； 而NPL则实现了一个用来对网络服务进行测试的测试系统。 美国的国家标准和技术局(NIST)由于成功地研制了OSI体系结构中的第4类运输协议的测试系统，所以后来也被邀请参加了这一合作项目。 一致性测试：发展概况 (Cont.) 到1984年，更多来自欧洲和北美的研究人员加入到这一研究之中，取得的成果： 各种测试结构、测试语言、各种测试方法的可行性、测试序列的自动生成等等。 这些成果及其术语有许多在后来由ISO制定的一致性测试标准ISO 9646中被采用。 到了90年代，随着一系列国际标准的制定，这一领域正迅速走向成熟。 一致性测试：发展概况 (Cont.) 国际标准化组织ISO专门制定了一套国际标准ISO 9646，主要包括： ISO 9646-1 (CCITT X.290) 一般概念 ISO 9646-2 抽象测试集(suite)规范 ISO 9646-3 树表组合记法TTCN(Tree and Tabular Combined Notation) ISO 9646-4 测试实现 ISO 9646-5 一致性认证处理对测试实验室及其客户的要求 ISO 9646-6 测试实验室的操作 此外，ISO还制订出了一些针对某一层协议的一致性测试的国际标准。例如， ISO10025为运输协议的一致性测试标准， ISO 10168为会话协议的一致性测试标准 一致性测试：发展概况 (Cont.) ISO 9646的制定是协议一致性测试领域的一个里程碑 ISO定义的一序列一致性测试标准为协议的一致性测试提供了基本方法和框架，为测试集制定了设计步骤和描述方法，并为测试系统的实现提供了指导。 此后，协议一致性测试技术得到了快速发展，一些形式化工具和测试系统得到建立，部分OSI协议的测试集标准被制定出来。 由于协议测试的技术复杂性和庞大开销，一般是协议实现者和协议用户所力不能及的事情。 一致性测试：发展概况 (Cont.) 因此，进行独立于生产者和用户的第三方测试是常采用的方法。例如， 美国的国家标准和技术局、 新罕布什尔大学的互操作测试实验室IOL， 德国国家通信研究所的高速网络测试环境， 韩国电子和通信研究所的宽带ISDN测试系统BITS等，在协议的一致性测试以及测试结构与测试环境等方面的研究都达到了一定水平，并开始提供部分测试服务和测试系统。 国内的清华大学吴建平教授的实验室在一致性测试方面处于国内领先地位。 一致性测试：发展概况 (Cont.) 有一点特别要提到的是，90年代以来，人们逐渐考虑在测试研究中大量采用形式化方法，力图使测试研究以严格的数学语言为基础来清晰无二义性地讨论一致性的概念和方法 特别是体现在ISO和ITU-T共同开始的“一致性测试中的形式化方法”计划。 该计划的主要目的是以协议形式化技术为基础