基于UIO流方法的协议一致性测试及应用
被引量:4
摘要
协议一致性测试是验证协议软件的一个重要手段。本文详细介绍了采用UIO流进行一致性测试的方法。FTAM是OSI环境中的一种基本服务,FTAM协议栈软件是按照ISO8571的标准文本实现的。本文还采用UIO流产生了对FTAM协议栈软件进行协议一致性测试的测试流。
同被引文献13
-
1庞其祥,刘云龙.通信协议的一致性测试[J].通信技术与发展,1995(6):3-8. 被引量:4
-
2[美]迈克康奈尔(Ma C S)著[M].快速软件开发-有效控制与完成进度计划.席相霖,等译.北京:电子工业出版社,2002.
-
3IS29646.ISO. Conformance testing methodology and framework[S]. 1991.
-
4CONNELL M C S. Software project survival Guide [M]. Microsoft Press, 1998:290-330.
-
5RFC2131.Dynamic host configuration protocol[S]. 1997.
-
6CROFT B, GILMORE J. Bootstrap protocol (BOOTP). RFC951 Stanford and SUN Microsy- stems[S], September 1985.
-
7SCHILLER J, ROSENSTEIN M. A protocol for the dynamic assignment of IP addresses for use on an ethernet (Available from the Athena Project, MIT)[Z], 1989. RFC951. Bootstrap Protocol[S]. 1985.
-
8RFC951. Bootstrap Protocol[S]. 1985.
-
9DROMS D. Interoperation between DHCP and BOOTP. RFC 1534[S], Bucknell University, October 1993.
-
10DUALE A Y, FECKO M A, UYAR M U. Generating executable tests for timed and untimed EFSM models. Proc. IIS/IEEE World Multiconference on Systemics, Cybernetics and Informatics[J], Orlando, FL, 2001,(2) 109-113.
引证文献4
-
1韩冰青,张亚图,明朝辉.基于扩展有限状态机的一致性测试例生成研究[J].福建电脑,2004,20(7):38-39. 被引量:1
-
2方毅,赵保华.基于TCL的DHCP协议冒烟测试[J].电子技术应用,2008,34(6):125-128.
-
3明朝辉,孙辉鹏.基于EFSM的一致性测试例生成及应用[J].江苏教育学院学报(自然科学版),2009,25(1):23-25.
-
4魏洪,杨庚,沈金龙.基于TTCN的通信协议一致性测试[J].南京邮电学院学报,1999,19(2):28-31. 被引量:2
-
1曹阳.FTAM网络软件的设计与实现[J].计算机工程与应用,1997,33(11):19-22.
-
2李俊,方宁生.ISO/OSI应用层FTAM的软件设计[J].数据通信,1991(3):77-82.
-
3吉逸,冯径,钱炜.异构环境下的文件传输服务系统(FTS)[J].小型微型计算机系统,1996,17(8):47-50.
-
4方宁生.Application of FTAM in Global Roam Account System[J].Journal of Southeast University(English Edition),1997,13(2):102-107.
-
5丁伟,顾冠群,俞苹.TOP/FTAM的扩展实现[J].东南大学学报(自然科学版),1994,24(4):86-89.
-
6龚俭.一种基于FTAM的异步远程文件传送服务[J].小型微型计算机系统,1994,15(5):26-30.
-
7Cao Yang,Wu Kui,Wu Xuhui.Research and Implementation of FTAM File Transfer System[J].Wuhan University Journal of Natural Sciences,1997,2(2):29-35.
-
8康奇林,高传善.局域网上FTAM的实现[J].计算机工程,1989,4(4):63-66.
-
9沈海涛,蒋兴浩.海量数据实时采集机制研究[J].网络与信息,2007,21(7):24-25.
-
10杨疆湖,曲海.MAPFTAM-AI的实现及其在UFO中的应用[J].计算机工程,1995,21(2):49-52.