EFSM的等价转换和通信协议一致性测试

您当前的位置：

首页 >

文章列表页 >

EFSM的等价转换和通信协议一致性测试

更新时间：2024-10-14

- EFSM的等价转换和通信协议一致性测试
- Issue 4, (1997)
- 作者机构：
  
  北京邮电大学
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN913.24
- Published：1997
- 稿件说明：
移动端阅览
[1]庞其祥,程时端,金跃辉.EFSM的等价转换和通信协议一致性测试[J].通信学报,1997(04):38-43.

[J]. 1997, (4).
[1]庞其祥,程时端,金跃辉.EFSM的等价转换和通信协议一致性测试[J].通信学报,1997(04):38-43. DOI：

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

摘要

绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化，并且生成的测试实例具备一定的诊断数据流错误的能力

Abstract

关键词

Keywords

references

Views

620

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

进程创建顺序的行为波动效应分析

一个SDL集成环境IES

通信软件可维护性的一种计算方法

SDL语言SAVE功能的等价变换

基于SDL的通信软件维护模型SMM

Related Author

陈俊亮

杨放春

罗刚

杨正球

袁迅

周晨

杨放春

刘玉璋

Related Institution

教授

北京邮电学院计算机工程系讲师 1990年1月获该院通信与电子系统专业工学博士学位

北京邮电学院计算机工程系

北京邮电学院北京 100088

北京邮电学院

AI问答

⁰

EFSM的等价转换和通信协议一致性测试

DOI：

摘要

Abstract

关键词

Keywords

references