基于形式化技术的帧中继拥塞控制协议一致性测试

您当前的位置：

首页 >

文章列表页 >

基于形式化技术的帧中继拥塞控制协议一致性测试

更新时间：2024-10-14

- 基于形式化技术的帧中继拥塞控制协议一致性测试
- Issue 11, Pages: 86-91(2002)
- 作者机构：
  
  1. 清华大学计算机科学与技术系
  2. 清华大学计算机科学与技术系北京100084
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.03
- Published：2002
- 稿件说明：
移动端阅览
[1]韩博,姬雷生,尹霞.基于形式化技术的帧中继拥塞控制协议一致性测试[J].通信学报,2002(11):86-91.

[J]. 2002, (11): 86-91.
[1]韩博,姬雷生,尹霞.基于形式化技术的帧中继拥塞控制协议一致性测试[J].通信学报,2002(11):86-91. DOI：

[J]. 2002, (11): 86-91. DOI：

摘要

帧中继作为重要的广域网协议得到了日益广泛的应用

但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致性测试研究和实际测试。针对帧中继拥塞控制协议的特点

采用穿越测试法设计生成了基于形式化技术的一致性测试集

并且将利用协议集成测试系统取得的一致性测试的研究成果应用到路由器的开发和研制过程中。

Abstract

关键词

Keywords

references

Views

610

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

路由协议测试研究——边界网关路由协议BGP-4测试

用于协议一致性测试序列生成的状态规范化算法

基于TTCN的测试执行方法及其应用

Preparation and Luminescent Properties of Green CaBa₂(BO₃)₂ ∶ Tb³⁺ Phosphor

Hydrothermal Synthesis and Photoluminescent Properties of SnO₂ ∶ Eu³⁺ Nanocrystals

Related Author

赵邑新

吴建平

韩博

倪群

苏彤

程时端

郝瑞兵

吴建平

Related Institution

清华大学计算机系!北京100084

中科院计算所

北京邮电大学

中科院计算所北京邮电大学

清华大学

AI问答

⁰