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

倪群; 苏彤; 程时端

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2024-10-14

- 用于协议一致性测试序列生成的状态规范化算法
- 暂无标题
- 通信学报 1997年第2期
- 作者机构：
  
  1. 中科院计算所
  2. 北京邮电大学
  3. 中科院计算所北京邮电大学
- 作者简介：
- 基金信息：
  
  国家自然科学基金
- DOI：
  中图分类号： TP301.6
- 纸质出版日期：1997
- 稿件说明：
移动端阅览
[1]倪群,苏彤,程时端.用于协议一致性测试序列生成的状态规范化算法[J].通信学报,1997(02):76-83.
[1]倪群,苏彤,程时端.用于协议一致性测试序列生成的状态规范化算法[J].通信学报,1997(02):76-83. DOI：

DOI：

摘要

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

Abstract

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

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

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

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

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

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

暂无标题

DOI：

摘要

Abstract

关键词

Keywords

references