-
题名EFSM的等价转换和通信协议一致性测试
被引量：3
- 1
-
-
作者
庞其祥
程时端
金跃辉
-
机构
北京邮电大学
-
出处
《通信学报》
EI
CSCD
北大核心
1997年第4期37-42,共6页
-
基金
国家自然科学基金
北京邮电大学95校测试项目
-
文摘
绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化。
-
关键词
efsm
一致性测试
等价转换
通信协议
-
Keywords
efsm, sdl, conformance testing, equivalent transformation, test generation
-
分类号
TN911
[电子电信—通信与信息系统]
-
-
题名SDL语言SAVE功能的等价变换
被引量：1
- 2
-
-
作者
刘玉璋
杨放春
-
机构
北京邮电大学
-
出处
《通信学报》
EI
CSCD
北大核心
1994年第4期39-47,共9页
-
基金
国家自然科学基金
-
文摘
本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。
-
关键词
sdl语言
等价变换
SAVE
-
Keywords
sdl language, efsm, equivalent transformation.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名SDL语言的等价变换及工具实现
- 3
-
-
作者
刘玉璋
杨放春
-
机构
北京邮电大学程控交换技术与通信网国家实验室
-
出处
《高技术通讯》
CAS
CSCD
1995年第3期4-8,共5页
-
基金
国家自然科学基金
-
文摘
在分析ＳＤＬ语言文法的基础上，构造了ＳＤＬ／ＦＯＰ的文法形式，并在ＳＤＬ／ＦＯＰ的定义中保持了ＳＤＬ语言各种语法成分的相互关系，从而证明了ＳＤＬ语言与离散形式的ＳＤＬ／ＦＯＰ是等价的，最后给出了ＳＤＬ／ＰＲ到ＳＤＬ／ＦＯＰ转换系统的实现算法。
-
关键词
sdl语言
语言变换
软件工具
程序语言
-
Keywords
sdl language,language equivalent transformation
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
TP312
[自动化与计算机技术—计算机软件与理论]
-
