期刊文献+

协议分布式测试系统的性能模型 被引量:2

Performance Models of Protocol Distributed Test System
下载PDF
导出
摘要 协议测试领域专家们已经达成共识 :新一代的协议测试系统应该是分布式架构的。本文用广义随机Petri网 (GSPN )对目前提出的几种协议分布式测试框架构造了性能模型 ,进行了性能比较和分析。为了解决状态空间爆炸的问题 ,提出了一种同步变迁实施速率等价法 (STER) ,这种方法能够对具有同步变迁的随机Petri网模型分解求解。 It is believed in the area of protocol testing that next generation protocol test systems should be distributed. Performance models of various frameworks of protocol distributed testing are established in the Generalized Stochastic Petri Nets (GSPN) and solved with a decomposition approach called Synchronized Transition Equivalent Rate (STER), which is proposed in this paper and can be applied to GSPN models with synchronous transitions, especially such models with isomorphic sub-models. Some simulation results and performance comparisons are also presented.
作者 刘鸿 吴建平
出处 《高技术通讯》 EI CAS CSCD 2003年第8期1-7,共7页 Chinese High Technology Letters
基金 863计划(2001AA121015 2001AA112061) 国家自然科学基金(90104002 60102009)资助项目
关键词 协议测试 分布式系统 PETRI网 性能模型 状态空间爆炸 同步变迁实施速率等价法 Protocol testing, Distributed testing, Generalized stochastic Petri nets (GSPN), Synchronizing transition equivalent rate (STER)
  • 相关文献

参考文献6

  • 1Marsan M A, Balbo G, Conte G. ACM Trans Computer Systems, 1984,2(2) :93.
  • 2ISO/IEC 9646-3. Information technology- open systems interconnection- conformance testing methodology and framework- Part 3: The Tree and Tabular Combined Notation (TTCN). 2nd ed. 1998.
  • 3Walter T. Test architectures for distributed systems state of the art and beyond. In: Proceeding of 11th IFIP International Workshop on Testing of Communicating Systems(IWTCS'98), Tomsk, Russia: Sept. 1998.
  • 4Choi Y J, Youn H Y, Seol S, et al. Distributed test using logical dock. In: 21st IFIP Imernational Conference on Formal Techniques for Networked and Distributed Systems(FORTE 2001), Cheju Island, Korea: Aug. 2001.
  • 5Giardo G, Trivedi K S. Performance Evaluation, 1993,18:37.
  • 6Giardo G, Fricks R, Muppala J K, et al. SPNP-users manual, version 4.0, Mar. 1994.

同被引文献9

  • 1宋亚辉,胡红革,李在铭.一种混和Petri网结构分析方法[J].电子测量与仪器学报,2005,19(3):55-58. 被引量:2
  • 2Burden J, Curry P A, Roby D. Introduction to next generation automatic test system [C l//Autotestcon. USA: IEEE, 2005:16-19.
  • 3Rivoir J. Lowering cost of test: parallel test or low-cost ATE? [C]// 12th Asian Test Symposium, 2003. USA: IEEE, 2003: 360-363.
  • 4Nordstrom L, Cegretl T. Extended UML modeling for risk management of utility information system integration [C]// Power Engineering Society General Meeting, 2005. USA: IEEE, 12-16(1): 913-919.
  • 5High-level Petri Nets-Concepts, Definitions and Graphical Notation [S]. International Standard ISO/IEC 15909, 2002.
  • 6Balbo G, Chiola G: An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: Lamport's fast mutual exclusion algorithm [C]//IEEE Transactions on Parallel and Distributed Systems. USA: IEEE, 1992: 221-240.
  • 7Nate D'Anna. Next generation multitier net enabled test systems [C]// Autotestcon. USA: IEEE, 2005, (9): 26-29.
  • 8钱彦岭,邱静,温熙森.确定系统级测试性参数的广义随机Petri网模型[J].系统工程与电子技术,2002,24(5):4-7. 被引量:18
  • 9史晓娟,王小椿.智能化数控系统的建模分析[J].仪器仪表学报,2003,24(6):640-642. 被引量:5

引证文献2

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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