期刊文献+

TCS:TCP协议一致性测试系统的设计和实现 被引量:5

TCS:The Design and Implementation of a TCP Conformance Testing System
下载PDF
导出
摘要 本文阐述了一个对TCP协议进行一致性测试的测试系统的设计和实现.着重介绍了该系统的测试方法和系统结构,并分析了基于EFSM模型的一致性测试集的生成技术. The design and implementation of a conformance testing system in which the IUT is a TCP protocol implementation are presented. Especially, we discuss the testing method and the system structure, and analyze the techniques to generate the conformance test suite.
出处 《电子学报》 EI CAS CSCD 北大核心 1998年第5期106-108,121,共4页 Acta Electronica Sinica
基金 国家"八五"重点科技攻关资助
关键词 一致性测试 TCP/IP协议 计算机网络 Conformance testing, EFSM (Expanded finite state machine), IUT (Implementation under testing), TCP/IP
  • 相关文献

参考文献2

  • 1张有--,硕士学位论文,1996年
  • 2张嘉,COSLX:网络传输传输控制协议CKX软件详细设计说明书,1994年

同被引文献14

  • 1俞苹,顾冠群.基于UIO流方法的协议一致性测试及应用[J].数据通信,1996(1):8-15. 被引量:4
  • 2陈永生 徐金祥 等.上海市轻轨明珠线过渡信号系统设计[M].上海:上海铁道大学,2000..
  • 3J Hartmann, D J Robson. Approaches to Regression Testing [ C ].Proc. of Int'l Conf. Software Maintenance, Phoenix, AZ, US:IEEE Computer Society Press, 1988. 368- 372.
  • 4D S Roseblum. A Practical Approach to Programming with Assertions[J]. IEEE Trans. Software Eng. , 1995, 21(1) :19-31.
  • 5J H Andrews, Y Zhang. General Test Result Checking with Log File Analysis [ J ]. IEEE Trans. Software Eng. , 2003, 29 (7) :634- 648.
  • 6D Thomas, A Hunt. State Machines[J]. IEEE Software, 2002, 19(6) :10-12.
  • 7C Pixley. A Computational Theory and Implementation of Sequential Hardware Equivalence[ J]. Computer Aided Verification, 1990:293-320.
  • 8B Sarikaya, G Bochmann. Synchronization and Specification Issues in Protocol Testing[J]. IEEE Trans. Comm. ,1984,32(14) :389-395.
  • 9E Gamma, R Helm, et al. Design Patterns[ M]. Boston, MA, USA:Addison-Wesley Professional, 1995. 305- 315.
  • 10祁明,张凌,肖国镇.有向签名方案[J].电子学报,1998,26(4):124-125. 被引量:12

引证文献5

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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