收藏本站
《高技术通讯》 2003年08期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

协议分布式测试系统的性能模型

刘鸿  吴建平  
【摘要】:协议测试领域专家们已经达成共识 :新一代的协议测试系统应该是分布式架构的。本文用广义随机Petri网 (GSPN )对目前提出的几种协议分布式测试框架构造了性能模型 ,进行了性能比较和分析。为了解决状态空间爆炸的问题 ,提出了一种同步变迁实施速率等价法 (STER) ,这种方法能够对具有同步变迁的随机Petri网模型分解求解。

【引证文献】
中国博士学位论文全文数据库 前1条
1 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
中国硕士学位论文全文数据库 前4条
1 宋亮;双端口测试器关键技术研究及其在Linux环境中的实现[D];西南交通大学;2007年
2 丁雪莲;边界网关协议BGP4+的一致性测试研究及分布式测试系统实现[D];内蒙古大学;2006年
3 余公平;软件自动化测试系统的研究与实现[D];上海交通大学;2007年
4 蓝乾艺;基于约束程序的Petri网可达问题的研究[D];广西大学;2007年
【同被引文献】
中国期刊全文数据库 前10条
1 李冬霞,苏广川;分组多播通信的低层实现[J];北京理工大学学报;2001年05期
2 张攀勇;王达伟;曾宇;历军;;专用捕包网络适配器的设计与实现[J];通信学报;2006年02期
3 李中杰,吴建平;一种基于并发TTCN的FTP协议一致性测试研究[J];高技术通讯;2002年01期
4 赵邑新,尹霞,吴建平;在协议集成测试系统上开展路由协议测试[J];高技术通讯;2002年02期
5 赵邑新,韩博,尹霞,吴建平;路由协议测试的窗口黑盒模型和多通道的测试方法[J];计算机研究与发展;2001年12期
6 赵邑新,吴建平,韩博;基于协议集成测试系统的BGP-4协议测试[J];计算机工程;2001年08期
7 王永杰,刘京菊,孙乐昌;Linux可装载模块的开发与应用[J];计算机应用研究;2002年07期
8 李方军,金炜东;嵌入式Linux网络驱动程序的研究与实现[J];现代电子技术;2005年16期
9 胡宇,李中杰,夏宜,吴建平;并发TTCN测试执行器的实现研究[J];小型微型计算机系统;2002年07期
10 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期
中国博士学位论文全文数据库 前3条
1 田军;IPv6协议一致性测试研究及测试系统实现[D];中国科学院研究生院(计算技术研究所);2001年
2 宋波;多端口路由器并发测试技术研究[D];西南交通大学;2005年
3 张永刚;约束程序语义与系统实现研究[D];吉林大学;2005年
中国硕士学位论文全文数据库 前6条
1 许姝韫;嵌入式软件自动测试技术研究[D];南京理工大学;2004年
2 应杭;软件自动化测试技术及应用研究[D];浙江大学;2006年
3 朱菊;软件自动化测试框架TAF及其应用[D];河海大学;2006年
4 武秦欣;自动化测试技术在软件项目中的应用[D];西安建筑科技大学;2006年
5 邱经华;Petri网的改良可达树及可达性判定[D];山东科技大学;2004年
6 陈尚伟;基于Java的约束求解器的设计与实现[D];吉林大学;2005年
【二级引证文献】
中国硕士学位论文全文数据库 前2条
1 白瑞峰;移动IPv6协议一致性测试研究[D];内蒙古大学;2007年
2 张旭;基于E-LOTOS的协议抽象测试套自动生成系统[D];内蒙古大学;2007年
【相似文献】
中国期刊全文数据库 前2条
1 刘鸿,吴建平;协议分布式测试系统的性能模型[J];高技术通讯;2003年08期
2 马增治;王龙山;高洪;;基于GSPN方法的柔性制造系统过程模型和性能分析(英文)[J];系统仿真学报;2008年19期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026