SDL语言相关论文
协议测试理论是从软件测试的基础上发展起来的,协议测试包括:协议一致性测试、互操作性测试和性能测试.协议一致性测试是协议测试......
WCDMA是第三代移动通信系统的主流技术之一，能够提供统一的全球范围内覆盖和使用的系统，支持从语音到分组数据到多媒体业务，能够根据......
SDL是ITU-T推荐的用来描述系统行为的一种语言.这里首先简单介绍了SDL的相关内容,然后举例说明了SDL在通信系统中的应用.......
提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架.由于SDL的复杂......
论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进......
本文就Telelogic公司的Telelogic Tau 3.4工具集以及其中的SDT工具集主要特征进行介绍和总结,反映工具所包含的软件系统的开发思想......
文中对通信软件的可重用部件库进行研究．结合通信软件部件的特征，提出通信软件部件开发应考虑的附加因素，围绕部件开发的代价和效益目......
ＳＤＬ是一种主要用于对电信系统性能控制确切的功能规格和描述的国际标准语言，本文描述了以ＣＣＩＴＴＳＤＬ＇８８为标准，基于图形核心系统设计实现的ＳＤＬ支撑系统，包......
SDL语言是软件工程中的系统功能结构的描述语言方法。该文讨论了SDL的基本概念，特别是SDL对通信协议工作机制和过程的形式化分析及......
叙述了基于ＣＣＩＴＴ－ＳＤＬ语言的软件维护工具ＳＭＳ的实现及应用，并简单介绍了波动效应分析理论。最后指出了ＳＭＳ的发展前景。......
在分析ＳＤＬ语言文法的基础上，构造了ＳＤＬ／ＦＯＰ的文法形式，并在ＳＤＬ／ＦＯＰ的定义中保持了ＳＤＬ语言各种语法成分的相互关系，从而证明了ＳＤＬ语言与离散形式的ＳＤＬ／ＦＯＰ是等价的，最后......
ＳＤＬ语言是ＩＴＵ－Ｔ推荐的一种语言，用来表达数字程控交换机内部逻辑功能的说明和描述，它是设计与说明程控交换机的有力工具。介绍了该语言的基本......
讨论了SDL-2000的建议Z.100的附件F中用分布式实时抽象状态机(ASM: Abstract State Machine)形式地定义SDL(Specisification and D......
在分析当前SDL(Specification and Description Language)静态语义定义方法的基础 上,从另一角度给出了用抽象状态机(AS M:Abstrac......
<正>计算机辅助教学(CAI)系统设计的一个重要工作,就是课件的计算机化.在现行的CAI系统的设计中,课件大多是和操纵课件进行教学的......
介绍TD—SCDMA系统的UE结构以及根据实际工作经验提出利用SDL开发TD—SCDMA高层信令系统的方法。......
SDL是CCITT推荐的用于描述实时系统软件的功能和行为规范的标准语言。它可以用于软件生命周期模型中的许多阶段。本文提出一个以数......
ＳＤＬ语言自身的形式地于该语言的不断发展，完善将发挥重要的核心作用，ＳＤＬ－９２的形式语义已无法充分满足应用需要，本文对ＳＤＬ现有的静态语义定义方法进......
介绍ＳＤＬ语言最新版本中的面向对象语言机制，探讨与此相关的概念及其使用方法，在分析类型与实例在系统规范化中的区别和联合的基础上，举例......
本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查......
本文报告一种能将ＦＳＭ自动转换为ＳＤＬ描述的ＳＤＬ描述生成器－ＳＤＬ－ＴＲＡＮ。除了自动变换部分之外，ＳＤＬ－ＴＲＡＮ还包含一个具有友好用户接口的图形编辑器。......
规范与描述语言(SDL:Specification and Description Language)是一种用来说明和描述系统的国际通用的标准化语言.它将简明的图形......
SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 ......
CCITT SDL语言的SAVE功能可以简化过程来表示,但是使软件测试更为困难.本文分析了SAVE功能的性质,并且提出了测试SAVE功能的方法.......
介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程.重点研究了如何利用SDL语言抽象出PPP协议......
SDL语言是 CCITT推荐的规范与描述性语言 ,由 ITU - T发展和标准化 ,被定义在兰皮书 Z.10 0建议中 ,采用 FSM的概念来描述对象。作......
本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证......
介绍了ＡＳＮ．１语言的基本概念、混合使用ＡＳＮ．１和ＳＤＬ语言的一般方法，简要介绍了Ｚ．１０５的内容。论证了在工程实践中采用两者混合编程的可行性。......
主要介绍了交换系统软件的一般特征及ＳＤＬ语言的基本概念ＳＤＬ语言的新进展，阐述了ＳＤＬ语言在交换系统软件中的重要作用，介绍了ＳＤＬ开发工具的基本情况......
