美利体育登录入口官网:ITU-T Z.500-1997
一致性测试中正式方法框架 系列Z(第10研究组)49页
Framework on Formal Methods in Conformance Testing Series Z: Programming Languages Methods for Validation and Testing Study Group 10; 49 pp
- 标准号
- ITU-T Z.500-1997
- 发布
- 1997年
- 总页数
- 49页
- 发布单位
- 国际电信联盟
- 当前最新
- ITU-T Z.500-1997
- 引用标准
- CCITT Recommendation X.292-1992 ITU-T Recommendation X.290-1995 ITU-T Recommendation X.291-1995 ITU-T Recommendation X.294-1995 ITU-T Recommendation X.295-1995 ITU-T Recommendation X.296-1995 ITU-T Recommendation Z. 1 00-19
- 本体
- 实现
- 适用范围
- 本建议书适用于存在通信协议或服务的正式规范的情况，并应根据该规范开发一致性测试套件。它可以指导手工过程以及计算机辅助测试工具的开发
| 术语 | 描述 |
|---|---|
| 抽象测试方法 abstract test method | 定义如何以适当抽象级别测试IUT，使描述独立于任何特定的测试手段实现，但具有足够细节以指定该测试方法的测试 |
| 一致性测试套件 conformance test suite | 一组完整的测试用例，可能组合成嵌套测试组，选择用于执行一个或多个协议的动态一致性测试 |
| 一致性测试 conformance testing | 测试IUT作为一致性实现的程度 |
| 一致性实现 conforming implementation | 满足静态和动态一致性要求的IUT，与ICS中声明的功能一致 |
| 实现一致性声明 implementation conformance statement (ICS) | 由实现或系统供应商作出的声明，说明已实现哪些功能 |
| 被测实现 implementation under test (IUT) | 一个或多个协议的实现，在相邻提供者关系中，是真实开放系统中要通过测试研究的部分 |
| 测试目的 test purpose | 测试明确目标的散文描述，聚焦于单个一致性要求或一组相关一致性要求 |
| 测试判定 test verdict | 关于IUT与测试用例一致性程度的声明，如“通过”、“失败”或“不确定” |