美利体育登录入口官网:ETSI ES 201 873-1-2021
测试和规范方法（MTS）；测试和测试控制符号版本 3；第1部分：TTCN-3 核心语言（V4.13.1）
Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language (V4.13.1)
2022-05
- 标准号
- ETSI ES 201 873-1-2021
- 发布
- 2021年
- 总页数
- 379页
- 发布单位
- 欧洲电信标准协会
- 替代标准
- ETSI ES 201 873-1-2022
- 当前最新
- ETSI ES 201 873-1-2024
- 引用标准
- ETSI ES 201 873-10 ETSI ES 201 873-3 ETSI ES 201 873-4 ETSI ES 201 873-5 ETSI ES 201 873-6 ETSI ES 201 873-7 ETSI ES 201 873-8 ETSI ES 201 873-9 ETSI ES 202 781 ETSI ES 202 782 ETSI ES 202 784 ETSI ES 202 785 ETSI ES 202 786 ETSI ES 203 022 ETSI ES 203 790 IEEE 754 ISO/IEC 10646 ITU-T T.50 ITU-T X.290 ITU-T X.292
- 本体
- 核心语言
- 适用范围
- 本文档定义了TTCN-3的核心语言。TTCN-3可用于各种通信端口上所有类型反应系统测试的规范。典型应用领域包括协议测试（包括移动和互联网协议）、服务测试（包括补充服务）、模块测试、基于CORBA?的平台测试、API等。TTCN-3不仅限于符合性测试，还可用于多种其他类型的测试，包括互操作性、鲁棒性、回归、系统和集成测试。物理层协议测试套件的规范不在本文档范围内。 TTCN-3旨在用于规范独立于测试方法、层和协议的测试套件。除了本文档中定义的文本格式外，GFT（ETSI ES 201 873-3 [i.2]）定义了TTCN-3的图形呈现格式。这些格式的规范不在本文档范围内。 虽然TTCN-3的设计已考虑到TTCN-3翻译器和编译器的最终实现，但从抽象测试套件（ATS）生成可执行测试套件（ETS）的实现手段不在本文档范围内。
| 术语 | 描述 |
|---|---|
| actual parameter actual parameter | 作为参数传递给被调用实体（函数、测试用例、altstep等）的值、表达式、模板或名称引用（标识符）。 |
| assignment notation assignment notation | 用于记录、集合、记录集合和集合集合值的符号，其中字段或元素通过花括号（'{'和'}'）中的字段名或元素位置显式标识。 |
| basic types basic types | TTCN-3中定义的预定义类型集，见本文档条款6.1.0和6.1.1。 |
| behavior definition behavior definition | 动态测试行为，即测试用例、函数或altstep定义。 |
| communication port communication port | 促进测试组件之间通信的抽象机制。通信端口在接收方向上建模为FIFO队列。端口可以是基于消息的或基于过程的。 |
| compatible type compatible type | TTCN-3不是强类型的，但语言要求类型兼容。变量、常量、模板等如果满足条款6.2.15中的条件，则具有兼容类型。 |
| completely initialized completely initialized | 值或模板是完全初始化的，如果它不是未初始化的，并且如果其类型是结构化类型，则其所有必需部分都是完全初始化的。 |
| component constant component constant | 在组件类型中定义的常量。 |
| component data types component data types | 所有数据类型、组件类型和结构化类型的集合，其子元素均为组件数据类型。 |
| component port component port | 在组件类型中定义的端口。 |
| component template component template | 在组件类型中定义的模板。 |
| component timer component timer | 在组件类型中定义的定时器。 |
| component variable component variable | 在组件类型中定义的变量。 |
| control behavior control behavior | 控制模块控制函数的集合，名称为control，以及由control直接调用或通过其他控制函数或altstep调用的函数和altstep，用于测试用例的动态执行。 |
| data types data types | 所有值或子元素不能包含对象引用的类型。包括简单的预定义类型、基本字符串类型和特殊数据类型anytype。还包括所有其子元素均为数据类型的结构化类型。 |
| defined types defined types | 所有预定义TTCN-3类型（基本类型、所有结构化类型、anytype类型、地址、端口和组件类型及默认类型）以及所有在模块中声明或从其他TTCN-3模块导入的用户定义类型的集合。 |
| deterministic function deterministic function | 对于相同的输入（在in和inout参数中），始终产生相同的输出（包括返回值以及inout和out参数）的函数。 |
| dynamic parameterization dynamic parameterization | 形式化的参数化，其中实际参数依赖于运行时事件。 |
| exception exception | 在基于过程的通信中，如果响应实体无法以正常预期的响应回答远程过程调用，则由该实体引发（如果已定义）的异常。 |
| formal parameter formal parameter | 在实体（函数、测试用例、altstep等）定义时未解析但在调用时解析的类型化名称或类型化模板引用（标识符）。 |
| fuzzy value or template fuzzy value or template | 声明为：闹祷蚰０迨道，因此初始化或部分初始化它的表达式（包括传递给in形式参数的实际参数）受惰性求值影响。 |
| global visibility global visibility | 实体（模块参数、常量、模板等）的属性，其标识符可以在定义该实体的模块内的任何地方引用，包括该模块内定义的所有函数、测试用例和altstep。 |
| implementation conformance statement implementation conformance statement (ICS) | 见ITU-T建议X.290。 |
| implementation eXtra information for testing implementation eXtra information for testing (IXIT) | 见ITU-T建议X.290。 |
| implementation under test implementation under test (IUT) | 见ITU-T建议X.290。 |
| in parameterization in parameterization | 参数化的一种形式，其中实际参数（参数）的值在调用参数化对象时被分配给形式参数，但当调用的对象完成时，形式参数的值不会传回给实际参数。 |
| index notation index notation | 访问记录集合、集合集合、数组和字符串值或模板中单个元素的符号，其中通过方括号（'['和']'）内明确标识的索引值来识别要访问的元素，该索引值指定该元素在被引用值或模板中的位置，索引值可以是整数值、整数组或整数记录集合。 |
| initialization initialization | 当首次为值、模板或值/模板字段分配内容时，该值或模板字段即被初始化。 |
| inout parameterization inout parameterization | 一种参数化形式，使用引用传递，即当参数化对象被调用时，形式参数与实际参数链接，并直接访问当前由实际参数表示的相同数据内容。 |
| invalid expressions/operations invalid expressions/operations | 如果不遵循本标准的条件和限制，则表达式或操作无效，在求值时可能导致动态错误，或者在静态分析时可能导致静态错误，或者可能在静态分析期间发出警告。 |
| known types known types | 所有TTCN-3预定义类型、在TTCN-3模块中定义的类型以及从其他TTCN-3模块或非TTCN-3模块导入该模块的类型的集合。 |
| lazy evaluation lazy evaluation | 在运行时，表达式的求值被延迟，直到值或模板实例（该求值结果应分配给该实例或作为实际参数传递给它）首次在左侧赋值符号或传递给：蚨栊孕问讲问氖导什问獾牡胤奖灰。 |
| lazy value or template lazy value or template | 值或模板实例，其中初始化或部分初始化它的表达式（包括传递给in形式参数的实际参数）受惰性求值影响。 |
| left hand side (of assignment) left hand side (of assignment) | 值或模板变量标识符，或结构化类型值或模板变量的字段名（包括数组索引，如果有的话），位于赋值符号（:=）的左侧。 |
| local visibility local visibility | 实体（常量、变量等）的属性，其标识符只能在定义该实体的函数、测试用例或altstep内引用。 |
| main control component main control component (MCC) | 通过运行控制功能来执行测试套件时启动的组件。控制功能是MCC执行的行为。 |
| main test component main test component (MTC) | 见ITU-T建议X.292。 |
| object object | 对象类型（组件、默认、端口和定时器）的实例。 |
| object reference object reference | 用于组件、默认、端口和定时器类型实例的special kind值，代表TE中现有实体的引用。 |
| out parameterization out parameterization | 参数化的一种形式，其中实际参数的内容（参数）在调用参数化对象时不传递给形式参数，但当调用的对象完成时，如果形式参数在调用期间被初始化，并且实际参数是在调用时评估的引用，则形式参数的内容将传回给实际参数。 |
| parallel control component parallel control component (PCC) | 在控制行为中创建但不在测试用例行为中创建的组件。PCC可以由主控制组件或其他PCC创建。 |
| parallel test component parallel test component (PTC) | 见ITU-T建议X.292。 |
| partially initialized partially initialized | 如果值或模板已对其进行初始化，或者对其至少一个字段或元素已初始化，则该值或模板为部分初始化。 |
| passing by reference passing by reference | 将实际参数与函数、altstep或测试用例的形式参数链接，并使用形式参数引用控制其实际值的能力，即不复制数据内容，实际参数和形式参数共享相同的数据内容。 |
| passing by value passing by value | 在将实际或形式参数传递给形式或实际参数之前，复制其数据内容的能力，即实际参数和形式参数不共享相同的数据内容。 |
| qualified name qualified name | TTCN-3元素可以通过限定名无歧义地识别。 |
| right hand side (of assignment) right hand side (of assignment) | 位于赋值符号（:=）右侧的表达式、模板引用或签名参数标识符。 |
| root type root type | 源自TTCN-3基本类型的类型的根类型是各自的基本类型。 |
| static parameterization static parameterization | 参数化的一种形式，其中实际参数独立于运行时事件；即在编译时已知，或者对于模块参数，在测试套件执行开始时已知。 |
| strong typing strong typing | 通过类型名称等价严格强制类型兼容性，无例外。 |
| system under test system under test (SUT) | 见ITU-T建议X.290。 |
| template template | TTCN-3数据对象按定义为值或模板。TTCN-3模板标识其类型的值的子集（该子集可能包含该类型的单个实例、多个实例或所有实例）或匹配机制omit。 |
| template parameterization template parameterization | 通过模板参数将模板作为实际参数传递给参数化对象的能力。 |
| test behavior test behavior | （或行为）在测试组件上执行执行或启动组件语句时启动的测试用例、函数或altstep，以及所有递归调用的函数和altstep。 |
| test case test case | 见ITU-T建议X.290。 |
| test case error test case error | 见ITU-T建议X.290。 |
| test suite test suite | 包含完全定义的测试用例集的TTCN-3模块集合，可选地补充一个或多个TTCN-3控制函数。 |
| test system test system | 见ITU-T建议X.290。 |
| test system interface test system interface | 提供抽象TTCN-3测试系统中可用的端口与SUT提供的端口之间映射的测试组件。 |
| type compatibility type compatibility | 允许将给定类型的值、表达式或模板用作另一种类型的实际值的语言特性。 |
| type context type context | 在类型上下文中，意味着在TTCN-3动作（如赋值、操作、参数传递等）中至少有一个对象明确标识了具体类型。 |
| uninitialized uninitialized | 只要未对其进行初始化或对至少其一部分进行初始化，值或模板即处于未初始化状态。 |
| unqualified name unqualified name | TTCN-3元素的不限定名是其不带任何限定的名称。 |
| user-defined type user-defined type | 通过对基本类型进行子类型化或声明结构化类型而定义的类型。 |
| valid expressions/operations valid expressions/operations | 遵循本标准的条件和限制，可以安全编译和执行的表达式或操作。 |
| value value | TTCN-3数据对象按定义为值或模板。TTCN-3值是其类型的实例。 |
| value list notation value list notation | 用于记录、集合、记录集合和集合集合值的符号，其中后续字段或元素的价值列在一对花括号（'{'和'}'）中，没有字段名或元素位置的显式识别。 |
| value notation value notation | 将标识符与特定类型或范围的特定值关联的符号。 |
| value parameterization value parameterization | 通过将值作为实际参数传递给参数化对象的能力。 |
美利体育登录入口官网: ETSI ES 201 873-1-2021相似标准
ETSI ES 201 873-1-2020 测试和规范方法 (MTS) 测试和测试控制符号版本 3 第1部分：TTCN-3 核心语言
ETSI ES 201 873-1-2016 测试和规范方法 (MTS) 测试和测试控制符号版本 3 第1部分：TTCN-3 核心语言
ETSI ES 201873-1 V 4.13.1-2021 测试和规范方法（MTS） 测试和测试控制符号版本 3 第1部分：TTCN-3 核心语言
ETSI ES 201 873-1-2023 测试和规范方法 (MTS) 测试和测试控制符号版本 3 第1部分：TTCN-3 核心语言
ETSI ES 201 873-1 V4.4.1 (2012-04)-2012 测试和规范方法（MTS） 测试和测试控制符号版本 3 第 1 部分：TTCN-3 核心语言