SDL-RT模型化工具在通信系统开发中的应用

会简要介绍。

·体系结构

一个系统由块组成，这些块可以分解为子块。

图3、系统结构图

体系统结构的页就是一个进程，主要是一个带有关联的隐含消息队列的有限状态机。

·通信

不同块间交换的信息流在体系结构中有描述，用来定义块的接口。

图4、系统内及系统与外部环境的通信

·行为

详细的行为被完全生动地描述。根据规格想要的精确度，它可能忽略了实施细节。

图5、系统流程图

上面的例子展示了一个基本的有限状态机：初始化时ConReq消息发送出去，ConReqTimer开始启动。状态机转到Connecting状态并等待连接确认消息ConConf，或者计时器关闭。之后，连接请求10次。如果仍然不成功，进程停止。

·数据

为了使规格完整无岐义，SDL嵌入抽象数据类型和语法来操纵这些数据。如前所述，最好导入ASN.1数据类型。

协议一致性

现在的问题是确保实现的相同协议符合ETSI公布的标准。对于近代的标准如SIP协议，IP V6，3GPP IMS等，ETSI的已公布基于TTCN-3语言的一致性测试套件。为了确保它符合需求，ETSI还保持了由ITU-T标准化的TTCN-3语言。

TTCN代表测试和测试控制符号，它是国际标准化组织发起的一致性测试方法和框架文件（9646-3）的一部分。 TTCN-2专用于通信系统，TTCN-3适用于测试任何一种系统。

TTCN-3可视为一个经典文本的编程语言，但几个方面使用它成为了一种十分强大的测试语言。

·抽象层

SDL, TTCN-3包含报文和计时器的概念，它们是一个远程通信系统的基本服务。这样就很容易发送或接收一条报文，启动或取消一个计时器。

·模板

当测试一个远程通信系统时，大部分的工作是核实交换的报文是否包含正确的信息。TTCN-3定义了模板的概念，轻松地验证一组复杂参数的正确性。TTCN-3还可选择参数（参数可能不存在），可以忽略一些参数（参数是存在的，但与它的值无关）。

·可选方案

测试描述可选方案并根据不同的可选方案设置结论。TTCN-3 嵌入可选方案的概念，无论它们是基于异步信息如报文的交换还是同步信息如修改的变量值。

cEnv.send(ConReq);
ConReqTimer.start;
alt {
[]cEnv.receive(ConConf){
setverdict(pass);
}
[]ConReqTimer.timeout{
setverdict(fail);
}
}

上面的例子显示了TTCN-3的一个基本可选方案：一个连接请求ConReq 通过cEnv 端口发送，计时器 ConReqTimer 开发启动。在这个可选方案中，或是接收到 ConConf 响应或是计时器ConReqTimer 关闭。

模型测试

由于SDL和TTCN-3有同样的抽象层，两种语言都可在实施前测试一个规范模型。由于两种语言都是正式的，意味着完整且没有岐义的，可以从SDL规范中生成协议实施的代码，从TTCN-3测试例中生成测试代码。一个早期的验证将最终节省大量的时间和精力。

图6、模型测试框图

最后一点，ETSI发布了TTCN-3的一致性测试套件，这样远程通信制造商可以确保其实施符合标准。

结论

由于远程通信系统本质要求符合一个共同的标准，该标准包括静态和动态接口，远程标准化机构以及远程通信设备制造商采用多年的先进技术如 MSC, ASN.1, SDL和 TTCN 。事实上，这些技术涵盖整个开发周期，从需求，规划到设计，测试。这就是为什么在开发通信系统时必须考虑清楚的原因。