美利体育登录入口官网:ETSI EG 202 106 V2.1.1 (2003-11)-2003
测试和规范方法（MTS） 使用正式 SDL 作为描述工具的指南
Methods for Testing and Specification (MTS); Guidelines for the use of formal SDL as a descriptive tool
- 标准号
- ETSI EG 202 106 V2.1.1 (2003-11)-2003
- 发布
- 2003年
- 总页数
- 104页
- 发布单位
- 欧洲电信标准协会
- 引用标准
- REG/MTS-00072
- 本体
- 消息序列图
- 适用范围
- 本文件建立了一套关于形式化使用规格和描述语言（SDL）进行描述性（而非详细设计）目的的指南。它还提供了在使用 SDL 时结合使用消息序列图（MSC）、抽象语法表示法 1（ASN.1）和统一建模语言（UML）的一些指导。本指南的目标是协助协议标准的报告员，使其在 ETSI 交付物中出现的 SDL 能够形式化表达、易于阅读和理解，并且详细程度与其他标准一致。本文件适用于所有使用 SDL 来指定协议、服务或任何其他类型行为的标准。 本文件的用户应具备 SDL 以及必要时 MSC、ASN.1 和 UML 的工作知识。它不应被视为这些符号的任何教程，应结合 EG 201 383 [1]、EG 201 015 [2] 和 EG 201 872 [3] 阅读。
| 术语 | 描述 |
|---|---|
| 数据类型 data type | 具有共同特征的一组数据值。 |
| 实现选项 implementation option | 标准中的一项陈述，表示在实现中可能支持也可能不支持。 |
| 规范性接口 normative interface | 产品上受到标准要求的物理或软件接口。 |
| 多态 polymorphic | 操作（SDL 方法或运算符）能够由其派生对象类型指定其行为的能力。 |
| 验证 validation | 通过相关方法、过程和工具进行评估的过程，以确认标准可完全实现、符合标准规则、满足需求记录中表达的目的，且符合该标准的实现具有需求记录中表达的功能。 |
| 验证模型 validation model | 规范的详细版本，可能包含其环境的一部分，用于执行形式化验证。 |