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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2024-10-14

- 用于协议一致性测试序列生成的状态规范化算法
- Issue 2, (1997)
- 作者机构：
  
  1. 中科院计算所
  2. 北京邮电大学
  3. 中科院计算所北京邮电大学
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP301.6
- Published：1997
- 稿件说明：
移动端阅览
[1]倪群,苏彤,程时端.用于协议一致性测试序列生成的状态规范化算法[J].通信学报,1997(02):76-83.

[J]. 1997, (2).
[1]倪群,苏彤,程时端.用于协议一致性测试序列生成的状态规范化算法[J].通信学报,1997(02):76-83. DOI：

[J]. 1997, (2). DOI：

摘要

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．９２１协议讲述了其实现

Abstract

关键词

Keywords

references

Views

639

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

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

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

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

Effects of Excitation Wavelength and the Eu²⁺-doped Content on Phosphorescence of Sr₄Al₁₄O₂₅ ∶ Eu²⁺ , Dy³⁺

Related Author

郝瑞兵

吴建平

史美林

郭传雄

陈涓

郑少仁

孙宇霖

屈玉贵

Related Institution

清华大学

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

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

清华大学计算机科学与技术系

清华大学计算机科学与技术系北京100084

AI问答

⁰