| 基于随机Petri网模型的网络协议性能测试 |
| |
| 引用本文： | 徐明伟,林闯,吴建平.基于随机Petri网模型的网络协议性能测试[J].软件学报,1999,10(3):248-252. |
| |
| 作者姓名： | 徐明伟 林闯 吴建平 |
| |
| 作者单位： | 清华大学计算机科学与技术系,北京,100084;国家信息中心经济与技术研究所,北京,100045;清华大学计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 本文研究得到国家自然科学基金资助. |
| |
| 摘 要： | 分析了协议性能测试需要解决的主要问题，并以随机Petri网为形式化工具，描述了网络协议的服务质量.提出从随机Petri网模型到TTCN(tree and tabular combined notation)测试集的转换规则，并根据随机Petri网模型生成了协议性能测试例.
|
| 关 键 词： | 协议性能测试，随机Petri网(SPN)，服务质量(QoS)，树表结合表示法(TTCN). |
| 收稿时间： | 1997/12/2 0:00:00 |
| 修稿时间： | 5/4/1998 12:00:00 AM |
Network Protocol Performance Testing Based on Stochastic Petri Nets |
| |
| XU Ming-wei,LIN Chuang and WU Jian-ping.Network Protocol Performance Testing Based on Stochastic Petri Nets[J].Journal of Software,1999,10(3):248-252. |
| |
| Authors: | XU Ming-wei LIN Chuang and WU Jian-ping |
| |
| Affiliation: | XU Mingwei1\ LIN Chuang2\ WU Jianping1 1(Department of Computer Science and Technology\ Tsinghua University\ Beijing\ 100084)\= 2(Information Science Institute\ State Information Center\ Beijing\ 100045)\=\= |
| |
| Abstract: | The main points of protocol performance testing is analyzed in this paper. The QoS(quality of service) of network protocol is described with a formal tool, stochastic Petri nets. Furthermore, the rules from the SPN(stochastic Petri nets) models to test suite of TTCN(tree and tabular combined notation) are proposed, and a performance test case is generated from the SPN models. |
| |
| Keywords: | Protocol performance testing stochastic Petri nets (SPN) quality of service (QoS) tree and tabular combined notation (TTCN) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
