学习SDL的一些资料（整理）

在通信协议设计时，需要先画SDL，然后进行一些可达性、一致性之类的验证。

软件：Telelogic公司的SDL_TTCN_Suite4.4

资料：《通信软件设计基础》（第2版） 主编  宋茂强

          《网络协议工程》  吴礼发

           百度文库中的  《SDL软件设计技术》《第5章-协议验证技术》，用SDL、通信软件设计可以搜索到一些资料。但是这些只能是用来熟悉SDL。这真要用SDL_TTCN_Suite4.4画协议的SDL图，还是要看帮助文档sdl.chm。

用SDL实现协议的流程：

①画出SDL

      文件夹...\Telelogic\SDL_TTCN_Suite4.4\examples\bitprotocol下有一个例子可以作为参照。

      数据类型这类的问题，可以查阅帮助文档中第三章(SDL Suite Methodology)第二节(Data Types)

②检错、验证

         analysis可以分析静态语法错误。

       

        simulator可以用来验证状态可达性的，并且可以生成MSC文档。

                    第七章第四节

        validator可以用来验证一些动态错误。

                     可以查阅帮助文档第五章（User's Guide）52（The SDL Validator）、53(Validating a System)

         TTCN套件可以用来做一致性验证。

                     第七章（User's Guide）34（The TTCN-SDL Co-Simulator）