| 摘要: |
| 分析了协议性能测试需要解决的主要问题，并以随机Petri网为形式化工具，描述了网络协议的服务质量.提出从随机Petri网模型到TTCN(tree and tabular combined notation)测试集的转换规则，并根据随机Petri网模型生成了协议性能测试例. |
| 关键词: 协议性能测试，随机Petri网(SPN)，服务质量(QoS)，树表结合表示法(TTCN). |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金资助. |
|
| Network Protocol Performance Testing Based on Stochastic Petri Nets |
|
XU Ming-wei,LIN Chuang,WU Jian-ping
|
| 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. |
| Key words: Protocol performance testing, stochastic Petri nets (SPN), quality of service (QoS), tree and tabular combined notation (TTCN). |
