期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种基于RSL的协议形式化描述技术的研究 被引量：5

Research on Formal Description Techniques of Protocols Based on RSL
下载PDF
导出
摘要 This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given. This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formal description,validation,implementation and testing of protocols. It mainly discusses the formal description of protocols based on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal description based on RSL is given.
作者 赵静 屈玉贵 赵保华
机构地区 中国科学技术大学计算机系
出处 《计算机科学》 CSCD 北大核心 2003年第1期97-98,共2页 Computer Science
基金 国家自然科学基金(90104010) 国家863计划项目(2001AA112062)
关键词 RSL 形式化描述技术 通信协议 协议工程学 计算机网络 Protocol engineering, RSL, Formal description technique
分类号 TN915.04 [电子电信—通信与信息系统] TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

同被引文献39

  • 1徐军委,赵保华,屈玉贵.一种新的UIO测试序列生成算法[J].中国科学技术大学学报,2004,34(6):710-715. 被引量：11
  • 2何强,张祖平.基于MSTP协议的一致性测试设计[J].计算机应用,2007,27(1):27-29. 被引量：6
  • 3魏仰苏,孟兆航,舒挺.通信协议一致性测试序列自动生成算法研究[J].计算机工程与设计,2007,28(10):2312-2315. 被引量：9
  • 4Gong Z H. The Protocol Engineering of Computer Network [ M ]. Changsha: National University of Defence Technology Press, 1993 : 140-164.
  • 5Derderian K,Hierons R M,Harman M,et al. Automated unique input output sequence generation for conformance testing of FSMs [ J ]. Computer Journal, 2006,49 ( 3 ):331-344.
  • 6Richard Laj. A survey of communication protocol testing [ J ]. Journal of Systems and Software, 2(192,62(1 ):21-46.
  • 7Sun Hai Ping, Gao Ming Lun, LIANG Alei. Study on UIO sequence generation for sequential machine's functional test [ C ]//Proceedings 4th International Conference, Beijing: IEEE Press and People's Posts and Telecommunications Publishing Office, 2001:628-632.
  • 8RFC1661. The Point-to-Point Protocol(PPP) [ S].
  • 9ISO9646-3. OSI conformance testing methodology and framework part 3: the tree and tabular combined notation (TTCN) [S].
  • 10Recommendation X. 292. OSI conformance testing methodology and framework for protocol recommendations for ITU-T applications the tree and tabular combined notation (TTCN)[S].

引证文献5

二级引证文献20

计算机科学
2003年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部