一种通信协议测试序列生成的新方法

您当前的位置：

首页 >

文章列表页 >

一种通信协议测试序列生成的新方法

更新时间：2024-10-14

- 一种通信协议测试序列生成的新方法
- Issue 6, Pages: 122-127(2001)
- 作者机构：
  
  中国科学技术大学计算机系!安徽合肥230027
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN915.04
- Published：2001
- 稿件说明：
移动端阅览
[1]孙宇霖,屈玉贵,赵保华.一种通信协议测试序列生成的新方法[J].通信学报,2001(06):122-127.

[J]. 2001, (6): 122-127.
[1]孙宇霖,屈玉贵,赵保华.一种通信协议测试序列生成的新方法[J].通信学报,2001(06):122-127. DOI：

[J]. 2001, (6): 122-127. DOI：

摘要

本文讨论了一种协议测试的新方法

它使用构造类别代数描述通信协议规范

然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较

得出两种方法在一些方面是等效的

但在处理状态较多的协议时

这种方法有一定的优点。

Abstract

关键词

Keywords

references

Views

681

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

对基于虚拟机机制的智能网SCF程序结构的研究

利用逆向判定性缩短EFSM的测试序列的长度

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

一种改进的BGP路由策略冲突检测方案

Related Author

程时端

苏彤

倪群

郑少仁

陈涓

郭传雄

赵保华

屈玉贵

Related Institution

中科院计算所

北京邮电大学

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

通信工程学院交换技术与ATM研究中心!南京210016

中国科技大学计算机系!安徽合肥230027

AI问答

⁰

一种通信协议测试序列生成的新方法

DOI：

摘要

Abstract

关键词

Keywords

references