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

您当前的位置：

首页 >

文章列表页 >

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

更新时间：2024-10-14

- EFSM的等价转换和通信协议一致性测试
- 暂无标题
- 通信学报 1997年第4期
- 作者机构：
  
  北京邮电大学
- 作者简介：
- 基金信息：
  
  国家自然科学基金,北京邮电大学95校测试项目
- DOI：
  中图分类号： TN913.24
- 纸质出版日期：1997
- 稿件说明：
移动端阅览
[1]庞其祥,程时端,金跃辉.EFSM的等价转换和通信协议一致性测试[J].通信学报,1997(04):38-43.
[1]庞其祥,程时端,金跃辉.EFSM的等价转换和通信协议一致性测试[J].通信学报,1997(04):38-43. DOI：

DOI：

摘要

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

Abstract

关键词

Keywords

references

0

浏览量

89

下载量

13

CSCD

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

提交

工具集

关联资源

相关文章

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

一个SDL集成环境IES

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

SDL语言SAVE功能的等价变换

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

相关作者

陈俊亮

杨放春

罗刚

杨正球

袁迅

周晨

杨放春

刘玉璋

相关机构

教授

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

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

北京邮电学院北京 100088

北京邮电学院

⁰