期刊文献+

形式化的协议性能测试框架 被引量:3

A FORMAL FRAMEWORK TO PERFORMANCE TESTING
下载PDF
导出
摘要 随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要.本文基于形式化方法,提出了一种协议性能测试的理论框架.首先给出了性能和性能测试空间的定义,然后提出了性能测试的结构框架,并详细描述了各个模块,最后形式化地描述了性能测试的各个阶段. Protocal performance testing becomes more and more important with the development of computer network. This paper proposes a formal approach to performance testing using axiomatic methods and set theory. The concepts of performance and performance test space are put forward. Moreover the architecture and the process of performance testing are described with mathematical methods respectively.
出处 《小型微型计算机系统》 CSCD 北大核心 2000年第1期43-46,共4页 Journal of Chinese Computer Systems
关键词 协议性能测试 形式化方法 计算机网络 Protocol performance testing Formal methods
  • 相关文献

参考文献2

  • 1Xu Mingwei,Proceedings of IEEE INFOCOM’98,1998年,447页
  • 2Lin Chuang,IEEE Computer Society, Las Vegas,1997年,538页

同被引文献8

引证文献3

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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