美利体育登录入口官网:ETSI ES 201 873-1-2013
测试和规范方法 (MTS) 测试和测试控制符号版本 3 第1部分：TTCN-3 核心语言
Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language
2014-06
- 标准号
- ETSI ES 201 873-1-2013
- 发布
- 2013年
- 总页数
- 295页
- 发布单位
- 欧洲电信标准协会
- 替代标准
- ETSI ES 201 873-1-2014
- 当前最新
- ETSI ES 201 873-1-2024
- 引用标准
- RES/MTS-201873-1 T3ed451 cor
- 本体
- 测试组件 通信端口
- 适用范围
- 本文件定义了 TTCN-3 的核心语言。TTCN-3 可用于各种通信端口上各类反应式系统测试的规范。典型应用领域包括协议测试（包括移动和互联网协议）、服务测试（包括补充服务）、模块测试、基于 CORBA 平台的测试、API 测试等。TTCN-3 不仅限于符合性测试，还可用于许多其他类型的测试，包括互操作性、鲁棒性、回归、系统和集成测试。物理层协议的测试套件规范不在本文件范围内。TTCN-3 旨在用于规范独立于测试方法、层和协议的测试套件。TTCN-3 定义了各种呈现格式，例如表格呈现格式（ES 201 873-2 [i.1]）和图形呈现格式（ES 201 873-3 [i.2]）。这些格式的规范不在本文件范围内。虽然 TTCN-3 的设计考虑了 TTCN-3 翻译器和编译器的最终实施，但从抽象测试套件 (ATS) 生成可执行测试套件 (ETS) 的方法不在本文件范围内。
| 术语 | 描述 |
|---|---|
| 实际参数 actual parameter | 要作为参数传递给被调用实体（函数、测试用例、altstep 等）的值、表达式、模板或名称引用（标识符），定义在调用位置。 |
| 赋值表示法 assignment notation | 可用于记录 (record)、集合 (set)、记录集 (record of) 和集合集 (set of) 值的表示法，其中字段或通过大括号 "{" 和 "}" 显式标识的元素位置被显式标识。 |
| 基本类型 basic types | 本文件中条款 6.1.0 和 6.1.1 描述的预定义 TTCN-3 类型的集合。 |
| 通信端口 communication port | 促进测试组件之间通信的抽象机制。通信端口在接收方向上被建模为 FIFO 队列。端口可以是基于消息的或基于过程的。 |
| 兼容类型 compatible type | TTCN-3 不是强类型的，但语言要求类型兼容性。如果满足条款 6.3 中的条件，则变量、常量、模板等具有兼容类型。 |
| 完全初始化 completely initialized | 简单类型的值和模板如果部分初始化则视为完全初始化。结构和数组的字段和元素如果完全初始化，则它们也是完全初始化的。 |
| 数据类型 data types | 简单基本类型、基本字符串类型、结构类型、特殊数据类型 anytype 以及基于它们的所有用户定义类型的通用名称。 |
| 已定义类型 defined types (defined TTCN-3 types) | 所有预定义的 TTCN-3 类型（基本类型、所有结构类型、类型 anytype、地址、端口和组件类型以及默认类型）以及在任何模块中声明或从其他 TTCN-3 模块导入的用户定义类型的集合。 |
| 动态参数化 dynamic parameterization | 一种参数化形式，其中实际参数依赖于运行时事件；例如实际参数的值是在运行时接收的值或取决于接收到的值的逻辑关系。 |
| 异常 exception | 在基于过程的通信中，如果回答实体无法以正常预期的响应回答远程过程调用，则由其引发的异常（如果已定义）。 |
| 形式参数 formal parameter | 在实体（函数、测试用例、altstep 等）定义时未解析但在调用时解析的类型名称或类型模板引用（标识符）。 |
| 全局可见性 global visibility | 实体（模块参数、常量、模板等）的属性，其标识符可以在定义它的模块内的任何地方引用，包括该模块内定义的所有函数、测试用例和 altstep 以及该模块的控制部分。 |
| 形式化参数化 in parameterization | 一种参数化形式，其中实际参数（参数）的值在调用参数化对象时绑定到形式参数，但该形式参数的值在调用对象完成后不会传递回实际参数。 |
| 索引表示法 index notation | 可用于赋值语句右侧和左侧的表示法，用于记录集 (record of) 和集合集 (set of) 值，其中要赋值的元素由其位置显式标识（在索引表示法中没有大括号）。 |
| 输入输出参数化 inout parameterization | 一种参数化形式，其中实际参数在调用参数化对象时绑定到形式参数。调用对象直接使用实际参数，因此对形式参数所做的所有更改立即对实际参数生效。 |
| 已知类型 known types | 所有 TTCN-3 预定义类型、在 TTCN-3 模块中定义的类型以及从其他 TTCN-3 模块或非 TTCN-3 模块导入到该模块的类型的集合。 |
| 赋值左侧 left hand side (of assignment) | 赋值符号 ":=" 左侧的值或模板变量标识符，或结构类型值或模板变量的字段名（包括任何数组索引）。 |
| 局部可见性 local visibility | 实体（常量、变量等）的属性，其标识符只能在定义它的函数、测试用例或 altstep 内引用。 |
| 输出参数化 out parameterization | 一种参数化形式，其中实际参数（参数）的值在调用参数化对象时未绑定到形式参数，但该形式参数的值在调用对象完成后传递回实际参数。 |
| 部分初始化 partially initialized | 如果已为其分配了具体值，或至少为其分配了一个字段或元素的值，则值被视为部分初始化。 |
| 端口参数化 port parameterization | 通过端口参数将端口作为实际参数传递给参数化对象的能力。 |
| 限定名称 qualified name | TTCN-3 元素可以通过限定名称唯一标识。对于模块，限定名称为 <模块名称>。对于全局定义，限定名称为 <模块名称>.<定义名称>。 |
| 赋值右侧 right hand side (of assignment) | 赋值符号 ":=" 右侧的表达式、模板引用或签名参数标识符。 |
| 根类型 root type | 源自 TTCN-3 基本类型的类型的根类型是相应的基本类型。 |
| 静态参数化 static parameterization | 一种参数化形式，其中实际参数独立于运行时事件；即在编译时已知，或在模块参数的情况下，在测试套件执行开始时已知。 |
| 强类型 strong typing | 通过类型名称等价严格强制执行类型兼容性，无任何例外。 |
| 模板 template | TTCN-3 模板是用于测试的特定数据结构；用于传输一组不同的值或检查接收到的值集是否匹配模板规范。 |
| 模板参数化 template parameterization | 通过模板参数将模板作为实际参数传递给参数化对象的能力。 |
| 测试行为 test behaviour | 在测试组件上启动的测试用例或函数（通过执行 execute 或 start component 语句开始）以及递归调用的所有函数和 altstep。 |
| 测试套件 test suite | 包含完全定义的一组测试用例的 TTCN-3 模块集合，可选地补充一个或多个 TTCN-3 控制部分。 |
| 测试系统 test system | See Recommendation ITU-T X.290 [5]（参考文档中定义）。 |
| 测试系统接口 test system interface | 提供（抽象）TTCN-3 测试系统中可用端口到 SUT（被测系统）提供的端口的映射的测试组件。 |
| 定时器参数化 timer parameterization | 通过定时器参数将定时器作为实际参数传递给参数化对象的能力。 |
| 类型兼容性 type compatibility | 允许将给定类型的值、表达式或模板用作另一种类型的实际值（例如在赋值中，作为调用函数时的实际参数，引用模板等，或作为函数的返回值）的语言特性。 |
| 类型上下文 type context | “在类型上下文中”意味着在给定 TTCN-3 操作（赋值、操作、参数传递等）中，至少有一个对象无歧义地标识了具体类型。 |
| 非限定名称 unqualified name | TTCN-3 元素的名称不带任何限定。 |
| 用户定义类型 user-defined type | 通过基本类型的子类型化或声明结构类型而定义的类型。 |
| 值列表表示法 value list notation | 可用于记录、集合、记录集和集合集值的表示法，其中后续字段或元素的值列出在大括号 "{" 和 "}" 内，无需显式标识字段名或元素位置。 |
| 值表示法 value notation | 通过此表示法，标识符与特定类型给定的值或范围相关联。 |
| 值参数化 value parameterization | 通过值参数将值作为实际参数传递给参数化对象的能力。 |
美利体育登录入口官网: ETSI ES 201 873-1-2013 中提到的仪器美利体育官网首页网址
| 测试系统接口 (TSI) N/A | 提供 TTCN-3 抽象测试系统中的端口与 SUT 端口之间映射的组件。 |
美利体育登录入口官网: ETSI ES 201 873-1-2013相似标准
ETSI ES 201873-1 V 4.13.1-2021 测试和规范方法（MTS） 测试和测试控制符号版本 3 第1部分：TTCN-3 核心语言
ETSI ES 201 873-1 V4.4.1 (2012-04)-2012 测试和规范方法（MTS） 测试和测试控制符号版本 3 第 1 部分：TTCN-3 核心语言
ETSI ES 201 873-1 V3.4.1 (2008-09)-2008 测试和规范方法（MTS） 测试和测试控制符号版本 3 第 1 部分：TTCN-3 核心语言
ETSI ES 201 873-1 V3.3.2 (2008-04)-2008 测试和规范方法（MTS） 测试和测试控制符号版本 3 第 1 部分：TTCN-3 核心语言
ETSI ES 201 873-1 V4.12.1 (2020-05)-2020 测试和规范方法（MTS） 测试和测试控制符号版本 3 第 1 部分：TTCN-3 核心语言