百科解释
目录·版本 Tree and Tabular Combined Notation -- TTCN 协议的一致性测试的最主要的工作之一就是测试例的生成。有许多自动生成测试例的方法，但是这些方法都依赖于协议的形式化描述，所有的因特网协议都是用自然语言描述的，是在RFC中以文本的形式给出。要对这类协议进行测试，由于不能用基于状态机模型的产生工具自动生成测试集，必须是由专业人员熟悉该协议和相关协议，写出自然语言描述的测试集。这种自然语言描述的测试集的最大缺点是二义性和难以用机器处理。形式化的工具则可以避免这两个问题。国际标准化组织ISO推荐了一种专门描述测试集的半形式化的描述语言--树表结合表示法（TTCN）。用以描述独立于任何实现的通用测试集。TTCN具有两种格式：便于人类理解的GR格式和便于机器存储和处理的MP格式。MP格式是需要机器识别的格式，因此它必须有形式化的语法定义，ISO9646-3中给出了700多条BNF（Backus-Naur Form）语法定义，完整地定义了TTCN.MP的语法。用TTCN描述的标准的抽象测试集由四部分组成：测试集概述部分（Suite Overview），说明部分（Declaration Part），约束部分（Constraints Part），动态描述部分（Dynamic Part）。TTCN经常和ASN.1一起使用。 版本TTCN-1: 第一版，未广泛使用。 TTCN-2: 第二版，对TTCN-1做小修改，广泛应用。 TTCN-3: 最新版本的TTCN，易用性等有改进。
