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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2024-10-14

- 利用逆向判定性缩短EFSM的测试序列的长度
- Issue 11, Pages: 48-55(2000)
- 作者机构：
  
  中国科技大学计算机系!安徽合肥230027
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN911
- Published：2000
- 稿件说明：
移动端阅览
[1]周晓煜,屈玉贵,赵保华.利用逆向判定性缩短EFSM的测试序列的长度[J].通信学报,2000(11):48-55.

[J]. 2000, (11): 48-55.
[1]周晓煜,屈玉贵,赵保华.利用逆向判定性缩短EFSM的测试序列的长度[J].通信学报,2000(11):48-55. DOI：

[J]. 2000, (11): 48-55. DOI：

摘要

在一个以扩展的有限状态机（EFSM）为模型描述的协议测试系统中

测试序列的可执行性是一个重要的问题。同时

还要考虑到测试序列的优化问题。文中以EFSM为协议的描述模型

引入了逆向判定性的概念

并利用这一概念对转换可执行性分析（TEA）方法进行了改进

缩短了生成的测试序列的长度

并且减小了所需的TEA树扩展空间。

Abstract

关键词

Keywords

references

Views

593

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

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

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

利用半可控接口进行通信协议一致性测试

通信顺序进程的扩充及其在协议形式化技术中的应用

Related Author

孙宇霖

屈玉贵

赵保华

赵邑新

吴建平

韩博

赵会群

孙晶

Related Institution

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

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

北方工业大学计算机系

东北大学计算机科学与工程系

东北大学计算机科学与工程系北京100041

AI问答

⁰